Package tools.refinery.interpreter.matchers.psystem.basicenumerables

Class ConstantValue

java.lang.Object

tools.refinery.interpreter.matchers.psystem.BasePConstraint

tools.refinery.interpreter.matchers.psystem.EnumerablePConstraint

tools.refinery.interpreter.matchers.psystem.KeyedEnumerablePConstraint<Object>

tools.refinery.interpreter.matchers.psystem.basicenumerables.ConstantValue

All Implemented Interfaces:

PConstraint, PTraceable

public class ConstantValue
extends KeyedEnumerablePConstraint<Object>

Field Summary

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

supplierKey

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

variablesTuple

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
ConstantValue(PBody pBody, PVariable variable, Object value)

Method Summary

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

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

getSupplierKey, toStringRestRest

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

doReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRest

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

ConstantValue

public ConstantValue(PBody pBody,
 PVariable variable,
 Object value)

Method Details

keyToString

protected String keyToString()

Specified by:

keyToString in class KeyedEnumerablePConstraint<Object>

getVariable

public PVariable getVariable()

Since:

1.7

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.