org.jacop.jasat.modules.interfaces

Interface AssertionListener

All Superinterfaces:

SolverComponent

All Known Implementing Classes:

DebugModule, SatChangesListener, StatModule, WrapperDebugModule

public interface AssertionListener
extends SolverComponent

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

Author:

Simon Cruanes and Radoslaw Szymanek

Method Summary

Modifier and Type	Method and Description
void	onAssertion(int literal, int level) Called when a variable is set

Methods inherited from interface org.jacop.jasat.core.SolverComponent

initialize

Method Detail

onAssertion

void onAssertion(int literal,
                 int level)

Called when a variable is set

Parameters:

literal - the literal that is set propagation, false otherwise

level - the search level