BacktrackHomomorphism(Scheduler s)
Constructs an instance with a specified scheduler .
|
BacktrackHomomorphism(Scheduler s,
BackJumping bj)
|
BacktrackHomomorphism(Scheduler s,
Bootstrapper bs)
Constructs an instance with a specified scheduler and
bootstrapper .
|
BacktrackHomomorphism(Scheduler s,
Bootstrapper bs,
ForwardChecking fc,
BackJumping bj)
|
BacktrackHomomorphism(Scheduler s,
ForwardChecking fc)
|
BacktrackHomomorphismWithNegatedParts(Scheduler s)
Constructs an instance with a specified scheduler .
|
BacktrackHomomorphismWithNegatedParts(Scheduler s,
BackJumping bj)
|
BacktrackHomomorphismWithNegatedParts(Scheduler s,
Bootstrapper bs)
Constructs an instance with a specified scheduler and
bootstrapper .
|
BacktrackHomomorphismWithNegatedParts(Scheduler s,
Bootstrapper bs,
ForwardChecking fc,
BackJumping bj)
|
BacktrackHomomorphismWithNegatedParts(Scheduler s,
ForwardChecking fc)
|