Package tools.refinery.interpreter.matchers.psystem.basicdeferred

Class ExpressionEvaluation

java.lang.Object

tools.refinery.interpreter.matchers.psystem.BasePConstraint

tools.refinery.interpreter.matchers.psystem.DeferredPConstraint

tools.refinery.interpreter.matchers.psystem.VariableDeferredPConstraint

tools.refinery.interpreter.matchers.psystem.basicdeferred.BaseTypeSafeConstraint

tools.refinery.interpreter.matchers.psystem.basicdeferred.ExpressionEvaluation

All Implemented Interfaces:

PConstraint, PTraceable

public class ExpressionEvaluation
extends BaseTypeSafeConstraint

Field Summary

Fields inherited from class tools.refinery.interpreter.matchers.psystem.basicdeferred.BaseTypeSafeConstraint

inputVariables, outputVariable

Fields inherited from class tools.refinery.interpreter.matchers.psystem.BasePConstraint

pBody

Fields inherited from interface tools.refinery.interpreter.matchers.psystem.PConstraint

COMPARE_BY_MONOTONOUS_ID

Constructor Summary

Constructors

Constructor	Description
ExpressionEvaluation(PBody pBody, IExpressionEvaluator evaluator, PVariable outputVariable)
ExpressionEvaluation(PBody pBody, IExpressionEvaluator evaluator, PVariable outputVariable, boolean isUnwinding)

Method Summary

Modifier and Type	Method	Description
IExpressionEvaluator	getEvaluator()
Map<Set<PVariable>,Set<PVariable>>	getFunctionalDependencies(IQueryMetaContext context)	A (preferably minimal) cover of known functional dependencies between variables.
boolean	isUnwinding()
protected String	toStringRest()

Methods inherited from class tools.refinery.interpreter.matchers.psystem.basicdeferred.BaseTypeSafeConstraint

checkTypeSafety, doReplaceVariable, getDeducedVariables, getDeferringVariables, getOutputVariable, isReadyAt

Methods inherited from class tools.refinery.interpreter.matchers.psystem.BasePConstraint

checkSanity, delete, getAffectedVariables, getBody, getMonotonousID, getPSystem, replaceVariable, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

ExpressionEvaluation

public ExpressionEvaluation(PBody pBody,
 IExpressionEvaluator evaluator,
 PVariable outputVariable)

ExpressionEvaluation

public ExpressionEvaluation(PBody pBody,
 IExpressionEvaluator evaluator,
 PVariable outputVariable,
 boolean isUnwinding)

Since:

2.4

Method Details

isUnwinding

public boolean isUnwinding()

Since:

2.4

getEvaluator

public IExpressionEvaluator getEvaluator()

toStringRest

protected String toStringRest()

Specified by:

toStringRest in class BasePConstraint

getFunctionalDependencies

public Map<Set<PVariable>,Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context)

Description copied from interface: PConstraint

A (preferably minimal) cover of known functional dependencies between variables.

Specified by:

getFunctionalDependencies in interface PConstraint

Overrides:

getFunctionalDependencies in class BasePConstraint

Returns:

non-trivial functional dependencies in the form of {variables} --> {variables}, where dependencies with the same lhs are unified.