org.eclipse.incquery.runtime.matchers.psystem.basicenumerables

## Class BinaryTransitiveClosure

- java.lang.Object
- - org.eclipse.incquery.runtime.matchers.psystem.BasePConstraint
  - - org.eclipse.incquery.runtime.matchers.psystem.EnumerablePConstraint
    - - org.eclipse.incquery.runtime.matchers.psystem.KeyedEnumerablePConstraint<PQuery>
      - - org.eclipse.incquery.runtime.matchers.psystem.basicenumerables.BinaryTransitiveClosure

- All Implemented Interfaces:
    IQueryReference, PConstraint

      public class BinaryTransitiveClosure
      extends KeyedEnumerablePConstraint<PQuery>
      implements IQueryReference

  For a binary base pattern, computes the irreflexive transitive closure (base)+
  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
    `BinaryTransitiveClosure(PBody pBody, Tuple variablesTuple, PQuery pattern)`

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `PQuery` | `getReferredQuery()`

    - ### Methods inherited from class org.eclipse.incquery.runtime.matchers.psystem.KeyedEnumerablePConstraint

      `getSupplierKey`

    - ### Methods inherited from class org.eclipse.incquery.runtime.matchers.psystem.EnumerablePConstraint

      `doReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple`

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

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

    - ### Methods inherited from class java.lang.Object

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

- - ### Constructor Detail

    - #### BinaryTransitiveClosure

          public BinaryTransitiveClosure(PBody pBody,
                                         Tuple variablesTuple,
                                         PQuery pattern)

  - ### Method Detail

    - #### getReferredQuery

          public PQuery getReferredQuery()

      Specified by:
        `getReferredQuery` in interface `IQueryReference`