AERN-Real-0.10.0.1: arbitrary precision interval arithmetic for approximating exact real numbers
Data.Number.ER.BasicTypes.DomainBox.IntMap
Description
A simple implementation of the VariableID and DomainBox classes.
VariableID
DomainBox
type VarID = IntSource
type Box ira = IntMap iraSource