Class Timeout<RW extends MaterializedData & Writable>

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

  • Constructor Summary

    Constructors
    Constructor
    Description
    Timeout(long ms)
    Creates a halting condition limited by elapsed time.

  • 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