public class DefaultScheduler extends AbstractProfilable implements Scheduler
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
|
static DefaultScheduler |
instance() |
boolean |
isAllowed(Var var,
Term image) |
getProfiler, setProfiler
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getProfiler, setProfiler
public static DefaultScheduler instance()
public VarSharedData[] execute(InMemoryAtomSet h, List<Term> ans, AtomSet data, RulesCompilation rc)
Scheduler
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.