org.sat4j.pb.tools

Class SearchOptimizerListener

java.lang.Object

org.sat4j.specs.SearchListenerAdapter<IPBSolverService>

org.sat4j.pb.tools.SearchOptimizerListener

All Implemented Interfaces:

Serializable, SearchListener<IPBSolverService>, UnitClauseConsumer

public final class SearchOptimizerListener
extends SearchListenerAdapter<IPBSolverService>

See Also:

Serialized Form

Field Summary

Fields inherited from interface org.sat4j.specs.UnitClauseConsumer

VOID

Constructor Summary

Constructors

Constructor and Description
SearchOptimizerListener(SolutionFoundListener sfl)

Method Summary

Modifier and Type	Method and Description
void	end(Lbool result)
void	init(IPBSolverService solverService)
void	solutionFound(int[] model, RandomAccessModel lazyModel)
String	toString()

Methods inherited from class org.sat4j.specs.SearchListenerAdapter

adding, assuming, backjump, backtracking, beginLoop, cleaning, conflictFound, conflictFound, delete, enqueueing, learn, learnUnit, 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)

Specified by:

init in interface SearchListener<IPBSolverService>

Overrides:

init in class SearchListenerAdapter<IPBSolverService>

solutionFound

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

Specified by:

solutionFound in interface SearchListener<IPBSolverService>

Overrides:

solutionFound in class SearchListenerAdapter<IPBSolverService>

end

public void end(Lbool result)

Specified by:

end in interface SearchListener<IPBSolverService>

Overrides:

end in class SearchListenerAdapter<IPBSolverService>

toString

public String toString()

Overrides:

toString in class Object