Package fr.inria.rules.integraal.forward_chaining.chase.halting_condition

package fr.inria.rules.integraal.forward_chaining.chase.halting_condition

Related Packages

Package	Description
fr.inria.rules.integraal.forward_chaining.chase

Class	Description
CreatedFactsAtPreviousStep<RW extends MaterializedData & Writable>	This halting condition stops the chase if no facts were created at the last step
ExternalInterruption	This halting condition stops the chase if the boolean is set to true
HaltingCondition<RW extends MaterializedData & Writable>	The Halting condition computes if there is a need for a next chase step or if it stops
HasRulesToApply<RW extends MaterializedData & Writable>	This halting condition stops the chase if no rules need to be applied according to the scheduler.
LimitAtoms<RW extends MaterializedData & Writable>	This halting condition stops the chase if there is more than a given number of atoms on the writable data.
LimitNumberOfStep<RW extends MaterializedData & Writable>	This halting condition stops the chase if it reaches a given number of steps.
Timeout<RW extends MaterializedData & Writable>	This halting condition stops the chase if more than a given amount of time passed.