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