org.eclipse.incquery.runtime.matchers.psystem.basicdeferred

Class PatternMatchCounter

java.lang.Object

org.eclipse.incquery.runtime.matchers.psystem.BasePConstraint

org.eclipse.incquery.runtime.matchers.psystem.DeferredPConstraint

org.eclipse.incquery.runtime.matchers.psystem.VariableDeferredPConstraint

org.eclipse.incquery.runtime.matchers.psystem.basicdeferred.PatternCallBasedDeferred

org.eclipse.incquery.runtime.matchers.psystem.basicdeferred.PatternMatchCounter

All Implemented Interfaces:

IQueryReference, PConstraint

public class PatternMatchCounter
extends PatternCallBasedDeferred

Author:

Gabor Bergmann

Nested Class Summary

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

PConstraint.CompareByMonotonousID

Constructor Summary

Constructors

Constructor and Description
PatternMatchCounter(PBody pBody, Tuple actualParametersTuple, PQuery query, PVariable resultVariable)

Method Summary

Modifier and Type	Method and Description
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.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	getFunctionalDependencies(IQueryMetaContext context) A (preferably minimal) cover of known functional dependencies between variables.
PVariable	getResultVariable()

Methods inherited from class org.eclipse.incquery.runtime.matchers.psystem.basicdeferred.PatternCallBasedDeferred

checkSanity, getActualParametersTuple, getDeferringVariables, getReferredQuery

Methods inherited from class org.eclipse.incquery.runtime.matchers.psystem.VariableDeferredPConstraint

isReadyAt

Methods inherited from class org.eclipse.incquery.runtime.matchers.psystem.BasePConstraint

delete, getAffectedVariables, getMonotonousID, getPSystem, replaceVariable, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PatternMatchCounter

public PatternMatchCounter(PBody pBody,
                           Tuple actualParametersTuple,
                           PQuery query,
                           PVariable resultVariable)

Method Detail

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).

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.

getResultVariable

public PVariable getResultVariable()