public class CardinalConstraint extends BinaryConstraint
| Modifier and Type | Class and Description |
|---|---|
static class |
CardinalConstraint.Type |
| Modifier and Type | Field and Description |
|---|---|
static java.lang.Float[] |
CardinalRelationToMetricOrientation |
protected CardinalConstraint.Type[] |
types |
annotation, autoRemovable, color, id, logger, masked, numIDs, scope| Constructor and Description |
|---|
CardinalConstraint() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object |
clone() |
java.lang.String |
getEdgeLabel()
Every
Constraint should implement this method - its value is
what is drawn by the ConstraintNetwork rendering methods. |
boolean |
isEquivalent(Constraint c)
Method for assessing the "equivalence" between two constraints.
|
getFrom, getTo, setFrom, setTo, toStringgetAnnotation, getColor, getDescription, getID, getScope, isAutoRemovable, isMasked, isSkippableSolver, isUnary, mask, setAnnotation, setAutoRemovable, setColor, setScope, skipSolver, unmaskprotected CardinalConstraint.Type[] types
public static java.lang.Float[] CardinalRelationToMetricOrientation
public java.lang.String getEdgeLabel()
ConstraintConstraint should implement this method - its value is
what is drawn by the ConstraintNetwork rendering methods.getEdgeLabel in class ConstraintString representation of the constraint to be used for
ConstraintNetwork rendering.public java.lang.Object clone()
clone in class Constraintpublic boolean isEquivalent(Constraint c)
ConstraintisEquivalent in class Constraintc - The Constraint to compare against.true iff the two constraints are considered to be equivalent.