choco.palm
Interface ExplainedDomain

All Known Subinterfaces:

ExplainedIntDomain, PalmIntDomain

All Known Implementing Classes:

JumpBitSetIntDomain, JumpIntervalIntDomain, PalmBitSetIntDomain, PalmIntervalIntDomain

public interface ExplainedDomain

Method Summary

int	getOriginalInf() Returns the original lower bound.
int	getOriginalSup() Returns the original upper bound.
void	self_explain(int select, Explanation e)

Method Detail

self_explain

void self_explain(int select,
                  Explanation e)

getOriginalInf

int getOriginalInf()

Returns the original lower bound.

getOriginalSup

int getOriginalSup()

Returns the original upper bound.