org.jacop.jasat.modules.interfaces

Interface 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.9

Author:

Simon Cruanes and Radoslaw Szymanek

Method Summary

Modifier and Type	Method and 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