public class FixedOrderScheduler extends AbstractProfilable implements Scheduler
Constructor and Description |
---|
FixedOrderScheduler(List<Variable> order) |
Modifier and Type | Method and Description |
---|---|
void |
clear() |
VarSharedData[] |
execute(InMemoryAtomSet h,
List<Term> ans,
AtomSet data,
RulesCompilation rc)
Compute the order.
|
String |
getInfos(Var var)
Return an informative string about specified variable
|
boolean |
isAllowed(Var var,
Term image) |
getProfiler, setProfiler
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getProfiler, setProfiler
public VarSharedData[] execute(InMemoryAtomSet h, List<Term> ans, AtomSet data, RulesCompilation rc) throws HomomorphismException
Scheduler
execute
in interface Scheduler
HomomorphismException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.