public class NoForwardChecking extends AbstractProfilable implements ForwardChecking
Modifier | Constructor and Description |
---|---|
protected |
NoForwardChecking() |
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() |
ForwardChecking |
clone() |
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) |
static NoForwardChecking |
instance() |
boolean |
isInit(int level) |
void |
setBackJumping(BackJumping bj) |
getProfiler, setProfiler
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getProfiler, setProfiler
public static NoForwardChecking instance()
public void init(VarSharedData[] vars, Map<Variable,Integer> map)
init
in interface ForwardChecking
public boolean isInit(int level)
isInit
in interface ForwardChecking
public void clear()
clear
in interface ForwardChecking
public boolean checkForward(Var v, AtomSet g, Substitution initialSubstitution, Map<Variable,Integer> map, Var[] varData, RulesCompilation rc)
checkForward
in interface ForwardChecking
public CloseableIterator<Term> getCandidatsIterator(AtomSet g, Var var, Substitution initialSubstitution, Map<Variable,Integer> map, Var[] varData, RulesCompilation rc) throws BacktrackException
getCandidatsIterator
in interface ForwardChecking
BacktrackException
public void setBackJumping(BackJumping bj)
setBackJumping
in interface ForwardChecking
public StringBuilder append(StringBuilder sb, int level)
append
in interface ForwardChecking
public ForwardChecking clone()
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.