Package tools.refinery.interpreter.matchers.psystem

Class ITypeConstraint.TypeConstraintUtil

java.lang.Object

tools.refinery.interpreter.matchers.psystem.ITypeConstraint.TypeConstraintUtil

Enclosing interface:

ITypeConstraint

public static class ITypeConstraint.TypeConstraintUtil
extends Object

Static internal utility class for implementations of ITypeConstraints.

Method Summary

Modifier and Type	Method	Description
static Map<Set<PVariable>,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

Method Details

getFunctionalDependencies

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