public class ReachabilityConstraint extends BinaryConstraint
| Modifier and Type | Class and Description |
|---|---|
static class |
ReachabilityConstraint.Type |
| Modifier and Type | Field and Description |
|---|---|
protected ReachabilityConstraint.Type[] |
types |
annotation, autoRemovable, color, id, logger, masked, numIDs, scope| Constructor and Description |
|---|
ReachabilityConstraint(ReachabilityConstraint.Type... types) |
| 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.
|
java.lang.String |
toString()
Every
Constraint should implement a toString method (used by the
ConstraintNetwork rendering methods). |
getFrom, getTo, setFrom, setTogetAnnotation, getColor, getDescription, getID, getScope, isAutoRemovable, isMasked, isSkippableSolver, isUnary, mask, setAnnotation, setAutoRemovable, setColor, setScope, skipSolver, unmaskprotected ReachabilityConstraint.Type[] types
public ReachabilityConstraint(ReachabilityConstraint.Type... types)
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.public java.lang.String toString()
ConstraintConstraint should implement a toString method (used by the
ConstraintNetwork rendering methods).toString in class BinaryConstraintString representation of this Constraint.