|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.model.VariableArray
choco.kernel.model.ModelObject
choco.kernel.model.constraints.AbstractConstraint
public abstract class AbstractConstraint
Nested Class Summary |
---|
Nested classes/interfaces inherited from class choco.kernel.model.VariableArray |
---|
VariableArray.VConstraintsDataStructure |
Field Summary | |
---|---|
protected String |
manager
|
Fields inherited from class choco.kernel.model.VariableArray |
---|
NO_CONSTRAINTS |
Fields inherited from interface choco.kernel.model.constraints.Constraint |
---|
LOGGER |
Constructor Summary | |
---|---|
AbstractConstraint(ConstraintType type,
Variable[] variables)
|
|
AbstractConstraint(String consMan,
Variable[] variables)
|
Method Summary | |
---|---|
int |
compareTo(Object o)
Compares this object with the specified object for order. |
void |
findManager(Properties propertiesFile)
Set the class manager |
ConstraintManager |
getConstraintManager()
|
ConstraintType |
getConstraintType()
|
ExpressionManager |
getExpressionManager()
Return the constraint manager |
int[] |
getFavoriteDomains()
|
IntegerVariable[] |
getIntVariableScope()
get rid of the constants within the returned scopes ! |
String |
getManager()
|
String |
getName()
|
Object |
getParameters()
|
String |
pretty()
pretty printing of the object. |
Methods inherited from class choco.kernel.model.ModelObject |
---|
addOption, addOptions, addOptions, addOptions, addOptions, containsOption, getIndex, getOptions, hashCode, toString |
Methods inherited from class choco.kernel.model.VariableArray |
---|
cancelExtractVariables, doExtractVariables, extractVariables, forceExtractVariables, getNbVars, getVariable, getVariableIterator, getVariables, replaceBy, replaceByConstantAt, setVariables, setVariables |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface choco.kernel.common.IIndex |
---|
getIndex |
Methods inherited from interface choco.kernel.model.IVariableArray |
---|
extractVariables, getNbVars, getVariable, getVariableIterator, getVariables, replaceBy |
Methods inherited from interface choco.kernel.model.IOptions |
---|
addOption, addOptions, addOptions, addOptions, addOptions, containsOption, getOptions |
Field Detail |
---|
protected String manager
Constructor Detail |
---|
public AbstractConstraint(ConstraintType type, Variable[] variables)
public AbstractConstraint(String consMan, Variable[] variables)
Method Detail |
---|
public Object getParameters()
public String getName()
getName
in interface Constraint
public String pretty()
IPretty
pretty
in interface IPretty
pretty
in class VariableArray
public final ConstraintType getConstraintType()
getConstraintType
in interface Constraint
public IntegerVariable[] getIntVariableScope()
public int[] getFavoriteDomains()
getFavoriteDomains
in interface Constraint
public ConstraintManager getConstraintManager()
public ExpressionManager getExpressionManager()
Constraint
getExpressionManager
in interface Constraint
public final String getManager()
public void findManager(Properties propertiesFile)
IFindManager
findManager
in interface IFindManager
public int compareTo(Object o)
The implementor must ensure sgn(x.compareTo(y)) == -sgn(y.compareTo(x)) for all x and y. (This implies that x.compareTo(y) must throw an exception iff y.compareTo(x) throws an exception.)
The implementor must also ensure that the relation is transitive: (x.compareTo(y)>0 && y.compareTo(z)>0) implies x.compareTo(z)>0.
Finally, the implementor must ensure that x.compareTo(y)==0 implies that sgn(x.compareTo(z)) == sgn(y.compareTo(z)), for all z.
It is strongly recommended, but not strictly required that (x.compareTo(y)==0) == (x.equals(y)). Generally speaking, any class that implements the Comparable interface and violates this condition should clearly indicate this fact. The recommended language is "Note: this class has a natural ordering that is inconsistent with equals."
In the foregoing description, the notation sgn(expression) designates the mathematical signum function, which is defined to return one of -1, 0, or 1 according to whether the value of expression is negative, zero or positive.
compareTo
in interface Comparable
o
- the object to be compared.
ClassCastException
- if the specified object's type prevents it
from being compared to this object.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |