public interface ForwardChecking extends Profilable
Modifier and Type | Method and Description |
---|---|
StringBuilder |
append(StringBuilder sb,
int level) |
boolean |
checkForward(Var v,
AtomSet g,
Substitution initialSubstitution,
Map<Variable,Integer> map,
Var[] varData,
RulesCompilation rc) |
void |
clear() |
CloseableIterator<Term> |
getCandidatsIterator(AtomSet g,
Var var,
Substitution initialSubstitution,
Map<Variable,Integer> map,
Var[] varData,
RulesCompilation rc) |
void |
init(VarSharedData[] vars,
Map<Variable,Integer> map) |
boolean |
isInit(int level) |
void |
setBackJumping(BackJumping bj) |
getProfiler, setProfiler
void init(VarSharedData[] vars, Map<Variable,Integer> map)
boolean isInit(int level)
void setBackJumping(BackJumping bj)
boolean checkForward(Var v, AtomSet g, Substitution initialSubstitution, Map<Variable,Integer> map, Var[] varData, RulesCompilation rc) throws BacktrackException
v
- g
- map
- rc
- BacktrackException
CloseableIterator<Term> getCandidatsIterator(AtomSet g, Var var, Substitution initialSubstitution, Map<Variable,Integer> map, Var[] varData, RulesCompilation rc) throws BacktrackException
var
- BacktrackException
StringBuilder append(StringBuilder sb, int level)
sb
- level
- void clear()
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.