public abstract class KeyedEnumerablePConstraint<KeyType> extends EnumerablePConstraint
| Modifier and Type | Field and Description |
|---|---|
protected KeyType |
supplierKey |
variablesTuplepBodyCOMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
KeyedEnumerablePConstraint(PBody pBody,
Tuple variablesTuple,
KeyType supplierKey) |
| Modifier and Type | Method and Description |
|---|---|
KeyType |
getSupplierKey() |
protected abstract java.lang.String |
keyToString() |
protected java.lang.String |
toStringRestRest() |
doReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRestcheckSanity, delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toStringprotected KeyType supplierKey
protected java.lang.String toStringRestRest()
toStringRestRest in class EnumerablePConstraintprotected abstract java.lang.String keyToString()
public KeyType getSupplierKey()