public class ExportedParameter extends VariableDeferredPConstraint
PConstraint.CompareByMonotonousID| Constructor and Description |
|---|
ExportedParameter(PBody pBody,
PVariable parameterVariable,
java.lang.String parameterName) |
| 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() |
PVariable |
getParameterVariable() |
isReadyAtdelete, getAffectedVariables, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toStringpublic java.util.Set<PVariable> getDeducedVariables()
PConstraintpublic java.lang.String getParameterName()
public PVariable getParameterVariable()
public java.util.Set<PVariable> getDeferringVariables()
getDeferringVariables in class VariableDeferredPConstraintpublic void checkSanity()
throws QueryProcessingException
checkSanity in interface PConstraintcheckSanity in class BasePConstraintQueryProcessingException