Uses of Interface
fr.lirmm.graphik.graal.homomorphism.forward_checking.ForwardChecking

Packages that use ForwardChecking

Package	Description
fr.lirmm.graphik.graal.homomorphism
fr.lirmm.graphik.graal.homomorphism.forward_checking

Uses of ForwardChecking in fr.lirmm.graphik.graal.homomorphism

Constructors in fr.lirmm.graphik.graal.homomorphism with parameters of type ForwardChecking

Constructor and Description
BacktrackHomomorphism(BCC bcc, Bootstrapper bs, ForwardChecking fc, BackJumping bj) Constructs an instance with a specified BCC, Bootstrapper, ForwardChecking and BackJumping.
BacktrackHomomorphism(BCC bcc, ForwardChecking fc) Constructs an instance with StarBootstrapper, GraphBaseBackJumping and a specified BCC and ForwardChecking.
BacktrackHomomorphism(boolean enableBCC, Bootstrapper bs, ForwardChecking fc, BackJumping bj) Constructs an instance with a specified Bootstrapper, ForwardChecking and BackJumping.
BacktrackHomomorphism(boolean enableBCC, ForwardChecking fc) Constructs an instance with StarBootstrapper, GraphBaseBackJumping and a specified ForwardChecking.
BacktrackHomomorphism(Bootstrapper bs, ForwardChecking fc, BackJumping bj) Constructs an instance with a specified Bootstrapper, ForwardChecking and BackJumping.
BacktrackHomomorphism(ForwardChecking fc) Constructs an instance with StarBootstrapper, GraphBaseBackJumping and a specified ForwardChecking.
BacktrackHomomorphism(Scheduler s, Bootstrapper bs, ForwardChecking fc, BackJumping bj) Constructs an instance with a specified scheduler, bootstrapper, forward-checking and back-jumping.
BacktrackHomomorphism(Scheduler s, ForwardChecking fc) Constructs an instance with a specified scheduler and forward-checking.
BacktrackHomomorphismWithNegatedParts(BCC bcc, Bootstrapper bs, ForwardChecking fc, BackJumping bj) Constructs an instance with a specified BCC, Bootstrapper, ForwardChecking and BackJumping.
BacktrackHomomorphismWithNegatedParts(BCC bcc, ForwardChecking fc) Constructs an instance with StarBootstrapper, GraphBaseBackJumping and a specified BCC and ForwardChecking.
BacktrackHomomorphismWithNegatedParts(boolean enableBCC, Bootstrapper bs, ForwardChecking fc, BackJumping bj) Constructs an instance with a specified Bootstrapper, ForwardChecking and BackJumping.
BacktrackHomomorphismWithNegatedParts(boolean enableBCC, ForwardChecking fc) Constructs an instance with StarBootstrapper, GraphBaseBackJumping and a specified ForwardChecking.
BacktrackHomomorphismWithNegatedParts(Bootstrapper bs, ForwardChecking fc, BackJumping bj) Constructs an instance with a specified Bootstrapper, ForwardChecking and BackJumping.
BacktrackHomomorphismWithNegatedParts(ForwardChecking fc) Constructs an instance with StarBootstrapper, GraphBaseBackJumping and a specified ForwardChecking.
BacktrackHomomorphismWithNegatedParts(Scheduler s, Bootstrapper bs, ForwardChecking fc, BackJumping bj) Constructs an instance with a specified scheduler, bootstrapper, forward-checking and back-jumping.
BacktrackHomomorphismWithNegatedParts(Scheduler s, ForwardChecking fc) Constructs an instance with a specified scheduler and forward-checking.

Uses of ForwardChecking in fr.lirmm.graphik.graal.homomorphism.forward_checking

Classes in fr.lirmm.graphik.graal.homomorphism.forward_checking that implement ForwardChecking

Modifier and Type	Class and Description
class	AbstractNFC
class	NFC0 NFC0 is a ForwardChecking implementation for HyperGraph with delayed local propagation.
class	NFC2 NFC2 is a ForwardChecking implementation for HyperGraph with immediate local propagation in one step.
class	NFC2WithLimit NFC2 is a ForwardChecking implementation for HyperGraph with immediate local propagation in one step.
class	NoForwardChecking
class	SimpleFC SimpleFC is a simple ForwardChecking implementation for HyperGraph with immediate local checking in one step.

Methods in fr.lirmm.graphik.graal.homomorphism.forward_checking that return ForwardChecking

Modifier and Type	Method and Description
ForwardChecking	NoForwardChecking.clone()