public class ExpressionEvaluation extends BaseTypeSafeConstraint
inputVariables, outputVariablepBodyCOMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
ExpressionEvaluation(PBody pBody,
IExpressionEvaluator evaluator,
PVariable outputVariable) |
ExpressionEvaluation(PBody pBody,
IExpressionEvaluator evaluator,
PVariable outputVariable,
boolean isUnwinding) |
| Modifier and Type | Method and Description |
|---|---|
IExpressionEvaluator |
getEvaluator() |
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
getFunctionalDependencies(IQueryMetaContext context)
A (preferably minimal) cover of known functional dependencies between variables.
|
boolean |
isUnwinding() |
protected java.lang.String |
toStringRest() |
checkTypeSafety, doReplaceVariable, getDeducedVariables, getDeferringVariables, getOutputVariable, isReadyAtcheckSanity, delete, getAffectedVariables, getBody, getMonotonousID, getPSystem, replaceVariable, toStringpublic ExpressionEvaluation(PBody pBody, IExpressionEvaluator evaluator, PVariable outputVariable)
public ExpressionEvaluation(PBody pBody, IExpressionEvaluator evaluator, PVariable outputVariable, boolean isUnwinding)
public boolean isUnwinding()
public IExpressionEvaluator getEvaluator()
protected java.lang.String toStringRest()
toStringRest in class BasePConstraintpublic java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context)
PConstraintgetFunctionalDependencies in interface PConstraintgetFunctionalDependencies in class BasePConstraint