public class ExportedParameter extends VariableDeferredPConstraint
pBody
COMPARE_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() |
isReadyAt
delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString
public ExportedParameter(PBody pBody, PVariable parameterVariable, PParameter patternParameter)
public void doReplaceVariable(PVariable obsolete, PVariable replacement)
doReplaceVariable
in class BasePConstraint
protected java.lang.String toStringRest()
toStringRest
in class BasePConstraint
public java.util.Set<PVariable> getDeducedVariables()
PConstraint
public 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 VariableDeferredPConstraint
public void checkSanity()
checkSanity
in interface PConstraint
checkSanity
in class BasePConstraint