org.sat4j.pb.tools

Class SearchOptimizerListener

java.lang.Object

org.sat4j.tools.SearchListenerAdapter<IPBSolverService>

org.sat4j.pb.tools.SearchOptimizerListener

All Implemented Interfaces:

Serializable, SearchListener<IPBSolverService>

public final class SearchOptimizerListener
extends SearchListenerAdapter<IPBSolverService>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SearchOptimizerListener(SolutionFoundListener sfl)

Method Summary

Methods

Modifier and Type	Method and Description
void	end(Lbool result) End the search.
void	init(IPBSolverService solverService) Provide access to the solver's controllable interface.
void	solutionFound(int[] model, RandomAccessModel lazyModel) a solution is found.
String	toString()

Methods inherited from class org.sat4j.tools.SearchListenerAdapter

adding, assuming, backjump, backtracking, beginLoop, cleaning, conflictFound, conflictFound, delete, learn, propagating, restarting, start

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SearchOptimizerListener

public SearchOptimizerListener(SolutionFoundListener sfl)

Method Detail

init

public void init(IPBSolverService solverService)

Description copied from interface: SearchListener

Provide access to the solver's controllable interface.

Specified by:

init in interface SearchListener<IPBSolverService>

Overrides:

init in class SearchListenerAdapter<IPBSolverService>

Parameters:

solverService - a way to safely control the solver.

solutionFound

public void solutionFound(int[] model,
                 RandomAccessModel lazyModel)

Description copied from interface: SearchListener

a solution is found.

Specified by:

solutionFound in interface SearchListener<IPBSolverService>

Overrides:

solutionFound in class SearchListenerAdapter<IPBSolverService>

Parameters:

model - the model found

lazyModel - TODO

end

public void end(Lbool result)

Description copied from interface: SearchListener

End the search.

Specified by:

end in interface SearchListener<IPBSolverService>

Overrides:

end in class SearchListenerAdapter<IPBSolverService>

Parameters:

result - the result of the search.

toString

public String toString()

Overrides:

toString in class Object