fr.lirmm.graphik.graal.homomorphism.bootstrapper

Interface Bootstrapper

All Superinterfaces:

Profilable

All Known Implementing Classes:

AllDomainBootstrapper, DefaultBootstrapper, StarBootstrapper, StatBootstrapper

public interface Bootstrapper
extends Profilable

Bootstrapper is used to select a set of terms over which the backtrack homomorphism algorithm will iterate for a specific variable when the set of candidates for this variable is not already restricted by forward checking.

Author:

Clément Sipieter (INRIA) <clement@6pi.fr>

Method Summary

Modifier and Type	Method and Description
CloseableIterator<Term>	exec(VarSharedData v, Collection<Atom> preAtoms, Collection<Atom> postAtoms, AtomSet data, RulesCompilation compilation)

Methods inherited from interface fr.lirmm.graphik.util.profiler.Profilable

getProfiler, setProfiler

Method Detail

exec

CloseableIterator<Term> exec(VarSharedData v,
                             Collection<Atom> preAtoms,
                             Collection<Atom> postAtoms,
                             AtomSet data,
                             RulesCompilation compilation)
                      throws BacktrackException

Throws:

BacktrackException