org.jacop.jasat.modules.interfaces

Interface PropagateListener

All Superinterfaces:

SolverComponent

All Known Implementing Classes:

DebugModule, SatChangesListener, StatModule, WrapperDebugModule

public interface PropagateListener
extends SolverComponent

module called when a propagate event is called

Version:

4.9

Author:

Simon Cruanes and Radoslaw Szymanek

Method Summary

Modifier and Type	Method and Description
void	onPropagate(int literal, int clauseId) called when a propagation occurs

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

initialize

Method Detail

onPropagate

void onPropagate(int literal,
                 int clauseId)

called when a propagation occurs

Parameters:

clauseId - the unique ID of the unit clause

literal - the literal propagated