org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred

Class TypeFilterConstraint

java.lang.Object

org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint

org.eclipse.viatra.query.runtime.matchers.psystem.DeferredPConstraint

org.eclipse.viatra.query.runtime.matchers.psystem.VariableDeferredPConstraint

org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.TypeFilterConstraint

All Implemented Interfaces:

ITypeConstraint, ITypeInfoProviderConstraint, PConstraint, PTraceable

public class TypeFilterConstraint
extends VariableDeferredPConstraint
implements ITypeConstraint

Represents a non-enumerable type constraint that asserts that values substituted for the given tuple of variables form a tuple that belongs to a (typically non-enumerable) extensional relation identified by an IInputKey.

The InputKey is typically not enumerable. If it is enumerable, use TypeConstraint instead, so that the PConstraint carries over the property of enumerability.

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.ITypeConstraint

ITypeConstraint.TypeConstraintUtil

Nested classes/interfaces inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint

PConstraint.CompareByMonotonousID

Field Summary

Fields inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint

pBody

Constructor Summary

Constructors

Constructor and Description
TypeFilterConstraint(PBody pBody, Tuple variablesTuple, IInputKey inputKey)

Method Summary

Modifier and Type	Method and Description
protected 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()
TypeJudgement	getEquivalentJudgement()
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	getFunctionalDependencies(IQueryMetaContext context) A (preferably minimal) cover of known functional dependencies between variables.
java.util.Set<TypeJudgement>	getImpliedJudgements(IQueryMetaContext context) Returns type information implied by this constraint.
IInputKey	getInputKey()
Tuple	getVariablesTuple()
protected java.lang.String	toStringRest()

Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.VariableDeferredPConstraint

isReadyAt

Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint

checkSanity, delete, getAffectedVariables, getMonotonousID, replaceVariable

Constructor Detail

TypeFilterConstraint

public TypeFilterConstraint(PBody pBody,
                            Tuple variablesTuple,
                            IInputKey inputKey)

Method Detail

getVariablesTuple

public Tuple getVariablesTuple()

getInputKey

public IInputKey getInputKey()

getEquivalentJudgement

public TypeJudgement getEquivalentJudgement()

Specified by:

getEquivalentJudgement in interface ITypeConstraint

doReplaceVariable

protected void doReplaceVariable(PVariable obsolete,
                                 PVariable replacement)

Specified by:

doReplaceVariable in class BasePConstraint

getImpliedJudgements

public java.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)

Description copied from interface: ITypeInfoProviderConstraint

Returns type information implied by this constraint.

Specified by:

getImpliedJudgements in interface ITypeInfoProviderConstraint

getDeducedVariables

public java.util.Set<PVariable> getDeducedVariables()

Description copied from interface: PConstraint

The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).

Specified by:

getDeducedVariables in interface PConstraint

getDeferringVariables

public java.util.Set<PVariable> getDeferringVariables()

Specified by:

getDeferringVariables in class VariableDeferredPConstraint

toStringRest

protected java.lang.String toStringRest()

Specified by:

toStringRest in class BasePConstraint

getFunctionalDependencies

public java.util.Map<java.util.Set<PVariable>,java.util.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.