ConflictListener

All Superinterfaces:

SolverComponent

All Known Implementing Classes:

ActivityModule, DebugModule, HeuristicRestartModule, SatWrapper, StatModule, WrapperDebugModule
```
public interface ConflictListener
extends SolverComponent
```
module that listens to conflicts that are discovered.

Version:

4.8

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  void onConflict(MapClause conflictclause, int level)
  called when a conflict occurs
  - Methods inherited from interface org.jacop.jasat.core.SolverComponent
    initialize

- Method Detail
  - onConflict
```
void onConflict(MapClause conflictclause,
                int level)
```
    called when a conflict occurs
    
    Parameters:
    
    conflictclause - the conflict (unsatisfiable) clause
    
    level - the level at which the conflict occurred