Class LimitNumberOfStep<RW extends MaterializedData & Writable>

java.lang.Object

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

Type Parameters:

RW - the writable materialized data type used by the chase

All Implemented Interfaces:

HaltingCondition<RW>

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

This halting condition stops the chase if it reaches a given number of steps.

Constructor Summary

Constructors

Constructor	Description
LimitNumberOfStep(int max)	Creates a halting condition limited by the number of steps.

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

Constructor Details

LimitNumberOfStep

public LimitNumberOfStep(int max)

Creates a halting condition limited by the number of steps.

Parameters:

max - max number of steps

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

describe

public String describe()

Description copied from interface: HaltingCondition

Returns a textual description of the halting condition.

Specified by:

describe in interface HaltingCondition<RW extends MaterializedData & Writable>

Returns:

a textual description of the halting condition