Package org.btrplace.model

Class Instance

java.lang.Object

org.btrplace.model.Instance

Direct Known Subclasses:

LabelledInstance

public class Instance
extends Object

An instance aggregates a model and a list of constraints.

Author:

Fabien Hermenier

Constructor Summary

Constructors

Constructor	Description
Instance(Model m, Collection<? extends SatConstraint> cs, OptConstraint o)	Make a new instance.
Instance(Model m, OptConstraint o)	Make a new instance.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Model	getModel()	Get the model.
OptConstraint	getOptConstraint()	Get the declared optimization constraint.
Collection<SatConstraint>	getSatConstraints()	Get the declared constraints.
int	hashCode()
Instance	setOptConstraint(OptConstraint opt)	Set the optimisation constraint.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Instance

public Instance(Model m, Collection<? extends SatConstraint> cs, OptConstraint o)

Make a new instance.

Parameters:

m - the model to use

cs - the list of satisfaction oriented constraints to consider

o - the optimization constraint

Instance

public Instance(Model m, OptConstraint o)

Make a new instance.

Parameters:

m - the model to use

o - the optimization constraint

Method Details

getModel

public Model getModel()

Get the model.

Returns:

a model

getSatConstraints

public Collection<SatConstraint> getSatConstraints()

Get the declared constraints.

Returns:

a collection of satisfaction oriented constraints that may be empty

getOptConstraint

public OptConstraint getOptConstraint()

Get the declared optimization constraint.

Returns:

the optimization constraint to consider (not null)

setOptConstraint

public Instance setOptConstraint(OptConstraint opt)

Set the optimisation constraint.

Parameters:

opt - the constraint.

Returns:

this

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object