Package choco.palm.dbt.integer.explain

A package devoted to integer explanations, that is explanations for the different kinds of variables.

See:
Description

Interface Summary

IBoundExplanation
IRemovalExplanation

Class Summary

AbstractBoundExplanation
DecSupExplanation
IncInfExplanation
RemovalExplanation

Package choco.palm.dbt.integer.explain Description

A package devoted to integer explanations, that is explanations for the different kinds of variables. It supports enumerated variables (thanks to an array of removal explanations) and bound variables (thanks to stacks of bound explanations).