Class NoScheduler

java.lang.Object

fr.inria.rules.integraal.query_evaluation.conjunction.backtrack.legacy.NoScheduler

All Implemented Interfaces:

Scheduler

public class NoScheduler
extends Object
implements Scheduler

This (static) scheduler gives the next part to evaluate by keeping the given order.

Constructor Summary

Constructors

Constructor	Description
NoScheduler(FOQuery<? extends FOFormulaConjunction> query)	Creates a new scheduler over the given query

Method Summary

Modifier and Type	Method	Description
boolean	hasNext(int level)	Indicates whether another formula remains to evaluate at the supplied level.
FOFormula	next(int level, Substitution currentSolution)	Returns the next formula to evaluate at the supplied level.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

NoScheduler

public NoScheduler(FOQuery<? extends FOFormulaConjunction> query)

Creates a new scheduler over the given query

Parameters:

query - the query to schedule

Method Details

next

public FOFormula next(int level,
 Substitution currentSolution)

Description copied from interface: Scheduler

Returns the next formula to evaluate at the supplied level.

Specified by:

next in interface Scheduler

Parameters:

level - the current level

currentSolution - the current solution

Returns:

the next element to evaluate at the given level

hasNext

public boolean hasNext(int level)

Description copied from interface: Scheduler

Indicates whether another formula remains to evaluate at the supplied level.

Specified by:

hasNext in interface Scheduler

Parameters:

level - the current level

Returns:

true iff there is a next element to evaluate at the given level