| Package | Description |
|---|---|
| org.jacop.jasat.core | |
| org.jacop.jasat.modules | |
| org.jacop.satwrapper |
| Class and 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.
|
| Class and 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.
|
| Class and 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.
|
Copyright © 2022. All rights reserved.