public interface Clause
Modifier and Type | Method and Description |
---|---|
java.util.List |
getChildren()
Returns an ordered list of this clause's sub-clauses.
|
boolean |
isConstant()
A clause is considered "constant" iff it and its subclauses do not
refer to data values from the dataset being constrained.
|
boolean |
isDefined()
Returns whether or not the clause has a defined value.
|
void |
printConstraint(java.io.PrintWriter os)
Dump clause as in constraint form
|
java.util.List getChildren()
boolean isConstant()
boolean isDefined()
void printConstraint(java.io.PrintWriter os)