public abstract class EnumerablePConstraint extends BasePConstraint
| Modifier and Type | Field and Description |
|---|---|
protected Tuple |
variablesTuple |
pBodyCOMPARE_BY_MONOTONOUS_ID| Modifier | Constructor and Description |
|---|---|
protected |
EnumerablePConstraint(PBody pBody,
Tuple variablesTuple) |
| Modifier and Type | Method and Description |
|---|---|
void |
doReplaceVariable(PVariable obsolete,
PVariable replacement) |
java.util.Set<PVariable> |
getDeducedVariables()
The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
|
PVariable |
getVariableInTuple(int index) |
Tuple |
getVariablesTuple() |
protected java.lang.String |
toStringRest() |
protected java.lang.String |
toStringRestRest() |
checkSanity, delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toStringprotected Tuple variablesTuple
public void doReplaceVariable(PVariable obsolete, PVariable replacement)
doReplaceVariable in class BasePConstraintprotected java.lang.String toStringRest()
toStringRest in class BasePConstraintprotected java.lang.String toStringRestRest()
public Tuple getVariablesTuple()
public java.util.Set<PVariable> getDeducedVariables()
PConstraintpublic PVariable getVariableInTuple(int index)