Class LimitAtoms<RW extends MaterializedData & Writable>

java.lang.Object
fr.inria.rules.integraal.forward_chaining.chase.halting_condition.LimitAtoms<RW>
Type Parameters:
RW - the writable materialized data type used by the chase
All Implemented Interfaces:
HaltingCondition<RW>
public class LimitAtoms<RW extends MaterializedData & Writable> extends Object implements HaltingCondition<RW>
This halting condition stops the chase if there is more than a given number of atoms on the writable data.

  • Constructor Summary

    Constructors
    Constructor
    Description
    LimitAtoms(long max)
    Creates a halting condition limited by the number of atoms.

  • Method Summary

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

    Methods inherited from class Object

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

  • Constructor Details

    • LimitAtoms

      public LimitAtoms(long max)
      Creates a halting condition limited by the number of atoms.
      Parameters:
      max - max number of atoms to create

  • Method Details