org.sat4j.tools

Interface SolutionFoundListener

All Known Subinterfaces:

ILauncherMode

All Known Implementing Classes:

AbstractLexicoHelper, CheckMUSSolutionListener, LexicoHelper, SteppedTimeoutLexicoHelper

public interface SolutionFoundListener

Allows the end user to react when a new solution is found. This is typically the case when doing some upper bound optimization, or iterating on the models, or computing all MUses.

Since:

2.3.3

Author:

leberre

Field Summary

Fields

Modifier and Type	Field and Description
static SolutionFoundListener	VOID

Method Summary

Methods

Modifier and Type	Method and Description
void	onSolutionFound(int[] solution) Callback method called when a new solution is found.
void	onSolutionFound(IVecInt solution) Callback method called when a new solution is found.
void	onUnsatTermination() Callback method called when the search is finished (either unsat problem or no more solutions found)

Field Detail

VOID

static final SolutionFoundListener VOID

Method Detail

onSolutionFound

void onSolutionFound(int[] solution)

Callback method called when a new solution is found. While a solution will often be a model, it might also be the case that the solution is something else (MUS, group MUS, etc).

Parameters:

solution - a set of Dimacs literals.

onSolutionFound

void onSolutionFound(IVecInt solution)

Callback method called when a new solution is found. While a solution will often be a model, it might also be the case that the solution is something else (MUS, group MUS, etc).

Parameters:

solution - a set of Dimacs literals.

onUnsatTermination

void onUnsatTermination()

Callback method called when the search is finished (either unsat problem or no more solutions found)