public class ExpressionEvaluation extends BaseTypeSafeConstraint
inputVariables, outputVariable
pBody
COMPARE_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, isReadyAt
checkSanity, delete, getAffectedVariables, getBody, getMonotonousID, getPSystem, replaceVariable, toString
public 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 BasePConstraint
public java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context)
PConstraint
getFunctionalDependencies
in interface PConstraint
getFunctionalDependencies
in class BasePConstraint