public class ExportedParameter extends VariableDeferredPConstraint
pBodyCOMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
ExportedParameter(PBody pBody,
PVariable parameterVariable,
PParameter patternParameter) |
| Modifier and Type | Method and Description |
|---|---|
void |
checkSanity() |
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).
|
java.util.Set<PVariable> |
getDeferringVariables() |
java.lang.String |
getParameterName()
The name of the parameter; usually, it is expected that
getParameterVariable() is more useful, except
maybe for debugging purposes. |
PVariable |
getParameterVariable() |
PParameter |
getPatternParameter() |
protected java.lang.String |
toStringRest() |
isReadyAtdelete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toStringpublic ExportedParameter(PBody pBody, PVariable parameterVariable, PParameter patternParameter)
public void doReplaceVariable(PVariable obsolete, PVariable replacement)
doReplaceVariable in class BasePConstraintprotected java.lang.String toStringRest()
toStringRest in class BasePConstraintpublic java.util.Set<PVariable> getDeducedVariables()
PConstraintpublic java.lang.String getParameterName()
getParameterVariable() is more useful, except
maybe for debugging purposes.public PVariable getParameterVariable()
public PParameter getPatternParameter()
public java.util.Set<PVariable> getDeferringVariables()
getDeferringVariables in class VariableDeferredPConstraintpublic void checkSanity()
checkSanity in interface PConstraintcheckSanity in class BasePConstraint