public class Instance extends Object
Constructor and Description |
---|
Instance(Model m,
Collection<SatConstraint> cs,
OptConstraint o)
Make a new instance.
|
Instance(Model m,
OptConstraint o)
Make a new instance.
|
Modifier and Type | Method and 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() |
public Instance(Model m, Collection<SatConstraint> cs, OptConstraint o)
m
- the model to usecs
- the list of satisfaction oriented constraints to considero
- the optimization constraintpublic Instance(Model m, OptConstraint o)
m
- the model to useo
- the optimization constraintpublic Model getModel()
public Collection<SatConstraint> getSatConstraints()
public OptConstraint getOptConstraint()
Copyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.