Package Hierarchies:
Class Hierarchy
- java.lang.Object
- fr.inria.rules.integraal.forward_chaining.chase.halting_condition.CreatedFactsAtPreviousStep<RW> (implements fr.inria.rules.integraal.forward_chaining.chase.halting_condition.HaltingCondition<RW>)
- fr.inria.rules.integraal.forward_chaining.chase.halting_condition.ExternalInterruption (implements fr.inria.rules.integraal.forward_chaining.chase.halting_condition.HaltingCondition<RW>)
- fr.inria.rules.integraal.forward_chaining.chase.halting_condition.HasRulesToApply<RW> (implements fr.inria.rules.integraal.forward_chaining.chase.halting_condition.HaltingCondition<RW>)
- fr.inria.rules.integraal.forward_chaining.chase.halting_condition.LimitAtoms<RW> (implements fr.inria.rules.integraal.forward_chaining.chase.halting_condition.HaltingCondition<RW>)
- fr.inria.rules.integraal.forward_chaining.chase.halting_condition.LimitNumberOfStep<RW> (implements fr.inria.rules.integraal.forward_chaining.chase.halting_condition.HaltingCondition<RW>)
- fr.inria.rules.integraal.forward_chaining.chase.halting_condition.Timeout<RW> (implements fr.inria.rules.integraal.forward_chaining.chase.halting_condition.HaltingCondition<RW>)
Interface Hierarchy
- fr.inria.rules.integraal.forward_chaining.chase.halting_condition.HaltingCondition<RW>