Class HasRulesToApply<RW extends MaterializedData & Writable>

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.halting_condition.HasRulesToApply<RW>

Type Parameters:

RW - the writable materialized data type used by the chase

All Implemented Interfaces:

HaltingCondition<RW>

public class HasRulesToApply<RW extends MaterializedData & Writable>
extends Object
implements HaltingCondition<RW>

This halting condition stops the chase if no rules need to be applied according to the scheduler.

Constructor Summary

Constructors

Constructor	Description
HasRulesToApply()	Creates a halting condition that stops when the scheduler has no rule left to apply.

Method Summary

Modifier and Type	Method	Description
boolean	check()	Checks whether the halting condition is currently satisfied.
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

Methods inherited from interface HaltingCondition

describe

Constructor Details

HasRulesToApply

public HasRulesToApply()

Creates a halting condition that stops when the scheduler has no rule left to apply.

Method Details

check

public boolean check()

Description copied from interface: HaltingCondition

Checks whether the halting condition is currently satisfied.

Specified by:

check in interface HaltingCondition<RW extends MaterializedData & Writable>

Returns:

true iff the condition is respected

init

public void init(Chase<RW> c)

Description copied from interface: HaltingCondition

Initialize the halting condition for the given chase

Specified by:

init in interface HaltingCondition<RW extends MaterializedData & Writable>

Parameters:

c - the Chase object