public abstract class AbstractNFC extends AbstractProfilable implements ForwardChecking
Modifier and Type | Class and Description |
---|---|
protected class |
AbstractNFC.AcceptableCandidats |
protected class |
AbstractNFC.VarData |
Modifier and Type | Field and Description |
---|---|
protected BackJumping |
bj |
protected AbstractNFC.VarData[] |
data |
Constructor and Description |
---|
AbstractNFC() |
Modifier and Type | Method and Description |
---|---|
StringBuilder |
append(StringBuilder sb,
int level) |
protected boolean |
check(Atom atom,
VarSharedData currentVar,
VarSharedData varToCompute,
AtomSet g,
Substitution initialSubstitution,
Map<Variable,Integer> map,
Var[] varData,
RulesCompilation rc) |
void |
clear() |
protected void |
clear(VarSharedData v,
VarSharedData z) |
protected Var[] |
computePostVariablesPosition(Atom atom,
int level,
Map<Variable,Integer> map,
Var[] varData,
Set<Var> postVars)
Return an array containing the corresponding instance of Var class for
each position of a variable in the specified atom with a higher level
than the specified level.
|
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) |
protected boolean |
select(Atom atom,
Var v,
AtomSet g,
Substitution initialSubstitution,
Map<Variable,Integer> map,
Var[] varData,
RulesCompilation rc) |
void |
setBackJumping(BackJumping bj) |
String |
toString() |
getProfiler, setProfiler
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
checkForward
getProfiler, setProfiler
protected AbstractNFC.VarData[] data
protected BackJumping bj
public void setBackJumping(BackJumping bj)
setBackJumping
in interface ForwardChecking
public void init(VarSharedData[] vars, Map<Variable,Integer> map)
init
in interface ForwardChecking
public void clear()
clear
in interface ForwardChecking
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
protected boolean check(Atom atom, VarSharedData currentVar, VarSharedData varToCompute, AtomSet g, Substitution initialSubstitution, Map<Variable,Integer> map, Var[] varData, RulesCompilation rc) throws AtomSetException
AtomSetException
protected boolean select(Atom atom, Var v, AtomSet g, Substitution initialSubstitution, Map<Variable,Integer> map, Var[] varData, RulesCompilation rc) throws AtomSetException, IteratorException
AtomSetException
IteratorException
protected Var[] computePostVariablesPosition(Atom atom, int level, Map<Variable,Integer> map, Var[] varData, Set<Var> postVars)
atom
- level
- map
- Correspondence between Variable instance and Var instance.postVars
- output parameter that is a Set in which must be added higher
level variables from this atom.protected void clear(VarSharedData v, VarSharedData z)
public StringBuilder append(StringBuilder sb, int level)
append
in interface ForwardChecking
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.