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

## Class DeferredPConstraint

- java.lang.Object
- - org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint
  - - org.eclipse.viatra.query.runtime.matchers.psystem.DeferredPConstraint

- All Implemented Interfaces:
    `PConstraint`, `PTraceable`
  Direct Known Subclasses:
    `Equality`, `VariableDeferredPConstraint`

      public abstract class DeferredPConstraint
      extends BasePConstraint

  Any constraint that can only be checked on certain SubPlans (e.g. those plans that already contain some variables).

- - ### Field Summary

    - ### Fields inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint

      `pBody`

    - ### Fields inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint

      `COMPARE_BY_MONOTONOUS_ID`

  - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `DeferredPConstraint​(PBody pBody, java.util.Set<PVariable> affectedVariables)` |

  - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `abstract boolean` | `isReadyAt​(SubPlan plan, IQueryMetaContext context)` |

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

      `checkSanity, delete, doReplaceVariable, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString, toStringRest`

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

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

    - ### Methods inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint

      `getDeducedVariables`

- - ### Constructor Detail

    - #### DeferredPConstraint

          public DeferredPConstraint​(PBody pBody,
                                     java.util.Set<PVariable> affectedVariables)

  - ### Method Detail

    - #### isReadyAt

          public abstract boolean isReadyAt​(SubPlan plan,
                                            IQueryMetaContext context)