public class AllDomainBootstrapper extends AbstractProfilable implements Bootstrapper
Modifier | Constructor and Description |
---|---|
protected |
AllDomainBootstrapper() |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Term> |
exec(VarSharedData v,
Collection<Atom> preAtoms,
Collection<Atom> postAtoms,
AtomSet data,
RulesCompilation compilation) |
static AllDomainBootstrapper |
instance() |
getProfiler, setProfiler
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getProfiler, setProfiler
public static AllDomainBootstrapper instance()
public CloseableIterator<Term> exec(VarSharedData v, Collection<Atom> preAtoms, Collection<Atom> postAtoms, AtomSet data, RulesCompilation compilation) throws BacktrackException
exec
in interface Bootstrapper
BacktrackException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.