choco.palm.cbj.explain
Class JumpConstraintPlugin

java.lang.Object
  choco.palm.cbj.explain.JumpConstraintPlugin

All Implemented Interfaces:

ExplainedConstraintPlugin, ConstraintPlugin

public class JumpConstraintPlugin
extends java.lang.Object
implements ExplainedConstraintPlugin

Field Summary

protected int	constraintIdx
protected AbstractConstraint	touchedConstraint

Constructor Summary

JumpConstraintPlugin(AbstractConstraint ct)

Method Summary

void	activateListener()
void	addListener()
void	deactivateListener()
int	getConstraintIdx()
void	self_explain(Explanation e) Computes the explain associated to this constraint.
void	setConstraintIdx(int constraintIdx)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

constraintIdx

protected int constraintIdx

touchedConstraint

protected AbstractConstraint touchedConstraint

Constructor Detail

JumpConstraintPlugin

public JumpConstraintPlugin(AbstractConstraint ct)

Method Detail

getConstraintIdx

public int getConstraintIdx()

setConstraintIdx

public void setConstraintIdx(int constraintIdx)

self_explain

public void self_explain(Explanation e)

Description copied from interface: ExplainedConstraintPlugin

Computes the explain associated to this constraint.

Specified by:

self_explain in interface ExplainedConstraintPlugin

Parameters:

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

addListener

public void addListener()

Specified by:

addListener in interface ConstraintPlugin

activateListener

public void activateListener()

Specified by:

activateListener in interface ConstraintPlugin

deactivateListener

public void deactivateListener()

Specified by:

deactivateListener in interface ConstraintPlugin