Class CreatedFactsAtPreviousStep<RW extends MaterializedData & Writable>

java.lang.Object

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

Type Parameters:

RW - the writable materialized data type used by the chase

All Implemented Interfaces:

HaltingCondition<RW>

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

This halting condition stops the chase if no facts were created at the last step

Constructor Summary

Constructors

Constructor	Description
CreatedFactsAtPreviousStep()	Creates a halting condition based on the facts produced at the previous step.

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

CreatedFactsAtPreviousStep

public CreatedFactsAtPreviousStep()

Creates a halting condition based on the facts produced at the previous step.

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