Interface AssertionListener
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
DebugModule
,SatChangesListener
,StatModule
,WrapperDebugModule
A class that can register to the Solver, to be notified when some events
occur. Allows one to add modules to the Solver.
- Version:
- 4.8
-
Method Summary
Modifier and TypeMethodDescriptionvoid
onAssertion
(int literal, int level) Called when a variable is setMethods inherited from interface org.jacop.jasat.core.SolverComponent
initialize
-
Method Details
-
onAssertion
void onAssertion(int literal, int level) Called when a variable is set- Parameters:
literal
- the literal that is set propagation, false otherwiselevel
- the search level
-