Uses of Interface
org.sat4j.tools.SolutionFoundListener

Packages that use SolutionFoundListener

Package	Description
org.sat4j	Contains a command line launcher for the SAT solvers.
org.sat4j.pb.tools	Implementation of different tools for pseudo boolean solvers
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of SolutionFoundListener in org.sat4j

Subinterfaces of SolutionFoundListener in org.sat4j

Modifier and Type	Interface and Description
interface	ILauncherMode Allow to change the behavior of the launcher (either decision or optimization mode)

Uses of SolutionFoundListener in org.sat4j.pb.tools

Constructors in org.sat4j.pb.tools with parameters of type SolutionFoundListener

Constructor and Description
SearchOptimizerListener(SolutionFoundListener sfl)

Uses of SolutionFoundListener in org.sat4j.tools

Classes in org.sat4j.tools that implement SolutionFoundListener

Modifier and Type	Class and Description
class	CheckMUSSolutionListener

Fields in org.sat4j.tools declared as SolutionFoundListener

Modifier and Type	Field and Description
protected SolutionFoundListener	AbstractMinimalModel.modelListener
static SolutionFoundListener	SolutionFoundListener.VOID

Methods in org.sat4j.tools with parameters of type SolutionFoundListener

Modifier and Type	Method and Description
List<IVecInt>	AllMUSes.computeAllMSS(SolutionFoundListener listener)
List<IVecInt>	AllMUSes.computeAllMSSOrdered(SolutionFoundListener listener)
List<IVecInt>	AllMUSes.computeAllMUSes(SolutionFoundListener listener) Computes all the MUSes associated to the set of constraints added to the solver
List<IVecInt>	AllMUSes.computeAllMUSesOrdered(SolutionFoundListener listener)

Constructors in org.sat4j.tools with parameters of type SolutionFoundListener

Constructor and Description
AbstractMinimalModel(ISolver solver, IVecInt p, SolutionFoundListener modelListener)
AbstractMinimalModel(ISolver solver, SolutionFoundListener modelListener)
Minimal4CardinalityModel(ISolver solver, IVecInt p, SolutionFoundListener modelListener)
Minimal4CardinalityModel(ISolver solver, SolutionFoundListener modelListener)
Minimal4InclusionModel(ISolver solver, IVecInt p, SolutionFoundListener modelListener)
ModelIteratorToSATAdapter(ISolver solver, long bound, SolutionFoundListener sfl)
ModelIteratorToSATAdapter(ISolver solver, SolutionFoundListener sfl)
SearchEnumeratorListener(SolutionFoundListener sfl)
SearchMinOneListener(SolutionFoundListener sfl)