public class NFC0 extends AbstractNFC implements ForwardChecking
AbstractNFC.AcceptableCandidats, AbstractNFC.VarData
bj, data
Constructor and Description |
---|
NFC0() |
Modifier and Type | Method and Description |
---|---|
boolean |
checkForward(Var v,
AtomSet g,
Substitution initialSubstitution,
Map<Variable,Integer> map,
Var[] varData,
RulesCompilation rc) |
protected boolean |
mustBeChecked(Atom atom,
Map<Variable,Integer> map,
Var[] varData)
Check delayed property
|
append, check, clear, clear, computePostVariablesPosition, getCandidatsIterator, init, isInit, select, setBackJumping, toString
getProfiler, setProfiler
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
append, clear, getCandidatsIterator, init, isInit, setBackJumping
getProfiler, setProfiler
public boolean checkForward(Var v, AtomSet g, Substitution initialSubstitution, Map<Variable,Integer> map, Var[] varData, RulesCompilation rc) throws BacktrackException
checkForward
in interface ForwardChecking
BacktrackException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.