public interface Scheduler extends Profilable
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
VarSharedData[] execute(InMemoryAtomSet h, List<Term> ans, AtomSet data, RulesCompilation rc) throws HomomorphismException
h
- ans
- HomomorphismException
boolean isAllowed(Var var, Term image)
var
- image
- void clear()
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.