Interface HaltingCondition<RW extends MaterializedData & Writable>

Type Parameters:
RW - the writable materialized data type handled by the halting condition
All Known Implementing Classes:
CreatedFactsAtPreviousStep, ExternalInterruption, HasRulesToApply, LimitAtoms, LimitNumberOfStep, Timeout
public interface HaltingCondition<RW extends MaterializedData & Writable>
The Halting condition computes if there is a need for a next chase step or if it stops

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    check()
    Checks whether the halting condition is currently satisfied.
    default String
    describe()
    Returns a textual description of the halting condition.
    void
    init(Chase<RW> c)
    Initialize the halting condition for the given chase

  • Method Details

    • init

      void init(Chase<RW> c)
      Initialize the halting condition for the given chase
      Parameters:
      c - the Chase object

    • check

      boolean check()
      Checks whether the halting condition is currently satisfied.
      Returns:
      true iff the condition is respected

    • describe

      default String describe()
      Returns a textual description of the halting condition.
      Returns:
      a textual description of the halting condition