Package org.jacop.jasat.modules.interfaces

Interface Summary

Interface	Description
AssertionListener	A class that can register to the Solver, to be notified when some events occur.
BackjumpListener	interface for components that listen for backjumps, or restarts
ClauseListener	module that listens to add/removal of clauses
ConflictListener	module that listens to conflicts that are discovered.
ExplanationListener	module used when an explanation is found
ForgetListener	called when the solver forget() method is called.
PropagateListener	module called when a propagate event is called
SolutionListener	module called when solution is found.
StartStopListener	called when the solver starts or stops.