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 `ITypeConstraint`s.

- - ### Method Summary

    All Methods Static Methods Concrete Methods
    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`

- - ### Method Detail

    - #### getFunctionalDependencies

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