public class NFC2WithLimit extends NFC2 implements ForwardChecking
Modifier and Type | Class and Description |
---|---|
protected class |
NFC2WithLimit.VarDataWithLimit |
AbstractNFC.AcceptableCandidats, AbstractNFC.VarData
Modifier and Type | Field and Description |
---|---|
protected NFC2WithLimit.VarDataWithLimit[] |
dataWithLimit
A data extension for variable indexed by level
|
bj, data
Constructor and Description |
---|
NFC2WithLimit(int limit) |
NFC2WithLimit(int limit,
boolean enableCheckMode)
If enableCheckMode is true, NFC2 use AtomSet.contains(Atom) instead of
AtomSet.match(Atom) when there is an initialized set of candidates for
each variable.
|
Modifier and Type | Method and Description |
---|---|
protected void |
clear(VarSharedData v,
VarSharedData z) |
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) |
protected boolean |
select(Atom atom,
Var v,
AtomSet g,
Substitution initialSubstitution,
Map<Variable,Integer> map,
Var[] varData,
RulesCompilation rc) |
checkForward
append, check, clear, computePostVariablesPosition, isInit, setBackJumping, toString
getProfiler, setProfiler
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
append, checkForward, clear, isInit, setBackJumping
getProfiler, setProfiler
protected NFC2WithLimit.VarDataWithLimit[] dataWithLimit
public NFC2WithLimit(int limit)
public NFC2WithLimit(int limit, boolean enableCheckMode)
enableCheckMode
- public void init(VarSharedData[] vars, Map<Variable,Integer> map)
init
in interface ForwardChecking
init
in class AbstractNFC
public CloseableIterator<Term> getCandidatsIterator(AtomSet g, Var var, Substitution initialSubstitution, Map<Variable,Integer> map, Var[] varData, RulesCompilation rc) throws BacktrackException
getCandidatsIterator
in interface ForwardChecking
getCandidatsIterator
in class AbstractNFC
BacktrackException
protected boolean select(Atom atom, Var v, AtomSet g, Substitution initialSubstitution, Map<Variable,Integer> map, Var[] varData, RulesCompilation rc) throws AtomSetException, IteratorException
select
in class AbstractNFC
AtomSetException
IteratorException
protected void clear(VarSharedData v, VarSharedData z)
clear
in class AbstractNFC
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.