Package 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.10

Method Summary

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

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

initialize

Method Details

onPropagate

void onPropagate(int literal,
 int clauseId)

called when a propagation occurs

Parameters:

literal - the literal propagated

clauseId - the unique ID of the unit clause