Package tools.refinery.interpreter.matchers.psystem.rewriters

Interface IFlattenCallPredicate

All Known Implementing Classes:
DefaultFlattenCallPredicate, IFlattenCallPredicate.And, NeverFlattenCallPredicate
public interface IFlattenCallPredicate
Interface used by the PQueryFlattener to decide which positive pattern calls to flatten

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static class 
    IFlattenCallPredicate.And
    Flattens only if all operand predicates vote for flattening.

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    shouldFlatten(PositivePatternCall positivePatternCall)
    Decides whether the called query by the pattern call should be flattened into the caller or not.

  • Method Details

    • shouldFlatten

      boolean shouldFlatten(PositivePatternCall positivePatternCall)
      Decides whether the called query by the pattern call should be flattened into the caller or not.
      Parameters:
      positivePatternCall - the pattern call
      Returns:
      true if the call should be flattened