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