choco.palm
Interface ExplainedConstraintPlugin

All Superinterfaces:

ConstraintPlugin

All Known Implementing Classes:

JumpConstraintPlugin, PalmConstraintPlugin

public interface ExplainedConstraintPlugin
extends ConstraintPlugin

Method Summary

void	self_explain(Explanation e) Computes the explain associated to this constraint.

Methods inherited from interface choco.prop.ConstraintPlugin

activateListener, addListener, deactivateListener

Method Detail

self_explain

void self_explain(Explanation e)

Computes the explain associated to this constraint.

Parameters:

e - The explanation on which this explain should be merged.