Interface ConflictListener
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
ActivityModule
,DebugModule
,HeuristicRestartModule
,SatWrapper
,StatModule
,WrapperDebugModule
module that listens to conflicts that are discovered.
- Version:
- 4.8
-
Method Summary
Modifier and TypeMethodDescriptionvoid
onConflict
(MapClause conflictclause, int level) called when a conflict occursMethods inherited from interface org.jacop.jasat.core.SolverComponent
initialize
-
Method Details
-
onConflict
called when a conflict occurs- Parameters:
conflictclause
- the conflict (unsatisfiable) clauselevel
- the level at which the conflict occurred
-