choco.palm.benders.explain
Class BendersExplanation

java.lang.Object
  choco.palm.cbj.explain.JumpExplanation
      choco.palm.benders.explain.BendersExplanation

All Implemented Interfaces:

ConstraintCollection, Explanation

public class BendersExplanation
extends JumpExplanation

Field Summary

Fields inherited from class choco.palm.cbj.explain.JumpExplanation

decisionConstraints, originalConstraints, originalStaticConstraints, pb

Constructor Summary

BendersExplanation(AbstractProblem pb)

BendersExplanation(int level, AbstractProblem pb)

Method Summary

Propagator	getConstraint(int i) return the i-th constraint of the explanation
Constraint	getCurrentSubConstraint(int i)
Constraint	getMasterConstraint(int i)

Methods inherited from class choco.palm.cbj.explain.JumpExplanation

add, add, add, addAll, clear, contains, contains, containsAll, copy, delete, delete, empties, getDecisionBitSet, getLastLevel, getNogood, getOriginalConstraintBitSet, isEmpty, isValid, merge, nogoodSize, size, toSet, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

BendersExplanation

public BendersExplanation(AbstractProblem pb)

BendersExplanation

public BendersExplanation(int level,
                          AbstractProblem pb)

Method Detail

getConstraint

public Propagator getConstraint(int i)

Description copied from interface: Explanation

return the i-th constraint of the explanation

Specified by:

getConstraint in interface Explanation

Overrides:

getConstraint in class JumpExplanation

Parameters:

i - : the number of the constraint to return

getMasterConstraint

public Constraint getMasterConstraint(int i)

getCurrentSubConstraint

public Constraint getCurrentSubConstraint(int i)