Uses of Interface
org.sat4j.tools.SolutionFoundListener

Packages that use SolutionFoundListener

Package	Description
org.sat4j
org.sat4j.pb
org.sat4j.pb.tools
org.sat4j.tools

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

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

Modifier and Type	Method and Description
void	OptToPBSATAdapter.setSolutionFoundListener(SolutionFoundListener sfl)

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

Constructor and Description
OptToPBSATAdapter(IOptimizationProblem problem, SolutionFoundListener sfl)

Uses of SolutionFoundListener in org.sat4j.pb.tools

Classes in org.sat4j.pb.tools that implement SolutionFoundListener

Modifier and Type	Class and Description
class	AbstractLexicoHelper<T,C>
class	LexicoHelper<T,C>
class	SteppedTimeoutLexicoHelper<T,C>

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
java.util.List<IVecInt>	AllMUSes.computeAllMSS(SolutionFoundListener listener)
java.util.List<IVecInt>	AllMUSes.computeAllMSSOrdered(SolutionFoundListener listener)
java.util.List<IVecInt>	AllMUSes.computeAllMUSes(SolutionFoundListener listener) Computes all the MUSes associated to the set of constraints added to the solver
java.util.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)
OptToSatAdapter(IOptimizationProblem problem, SolutionFoundListener sfl)
SearchEnumeratorListener(SolutionFoundListener sfl)
SearchMinOneListener(SolutionFoundListener sfl)