Class NaiveDynamicScheduler

java.lang.Object

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

All Implemented Interfaces:

Scheduler

public class NaiveDynamicScheduler
extends Object
implements Scheduler

Scheduler that orders conjunction subformulas using simple heuristics.

Constructor Summary

Constructors

Constructor	Description
NaiveDynamicScheduler(FOQuery<? extends FOFormulaConjunction> query, QueryableData queryableData)	Creates a new scheduler over the given query and fact base

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

NaiveDynamicScheduler

public NaiveDynamicScheduler(FOQuery<? extends FOFormulaConjunction> query,
 QueryableData queryableData)

Creates a new scheduler over the given query and fact base

Parameters:

query - the query to schedule

queryableData - the fact base to consider

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