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

Class ITypeConstraint.TypeConstraintUtil

java.lang.Object

org.eclipse.viatra.query.runtime.matchers.psystem.ITypeConstraint.TypeConstraintUtil

Enclosing interface:

ITypeConstraint

public static class ITypeConstraint.TypeConstraintUtil
extends java.lang.Object

Static internal utility class for implementations of ITypeConstraints.

Constructor Summary

Constructors

Constructor and Description
TypeConstraintUtil()

Method Summary

Modifier and Type	Method and Description
static java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	getFunctionalDependencies(IQueryMetaContext context, IInputKey inputKey, Tuple variablesTuple)

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeConstraintUtil

public TypeConstraintUtil()

Method Detail

getFunctionalDependencies

public static java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context,
                                                                                                         IInputKey inputKey,
                                                                                                         Tuple variablesTuple)