Uses of Package
org.jacop.jasat.modules.interfaces
-
Packages that use org.jacop.jasat.modules.interfaces Package Description org.jacop.jasat.core org.jacop.jasat.modules org.jacop.satwrapper -
Classes in org.jacop.jasat.modules.interfaces used by org.jacop.jasat.core Class 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 restartsClauseListener module that listens to add/removal of clausesConflictListener module that listens to conflicts that are discovered.ExplanationListener module used when an explanation is foundForgetListener called when the solver forget() method is called.PropagateListener module called when a propagate event is calledSolutionListener module called when solution is found.StartStopListener called when the solver starts or stops. -
Classes in org.jacop.jasat.modules.interfaces used by org.jacop.jasat.modules Class 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 restartsClauseListener module that listens to add/removal of clausesConflictListener module that listens to conflicts that are discovered.ExplanationListener module used when an explanation is foundForgetListener called when the solver forget() method is called.PropagateListener module called when a propagate event is calledSolutionListener module called when solution is found.StartStopListener called when the solver starts or stops. -
Classes in org.jacop.jasat.modules.interfaces used by org.jacop.satwrapper Class 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 restartsClauseListener module that listens to add/removal of clausesConflictListener module that listens to conflicts that are discovered.ExplanationListener module used when an explanation is foundForgetListener called when the solver forget() method is called.PropagateListener module called when a propagate event is calledSolutionListener module called when solution is found.StartStopListener called when the solver starts or stops.