AERN-Real-0.10.0.2: arbitrary precision interval arithmetic for approximating exact real numbers

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.BasicTypes.DomainBox.IntMap

Description

A simple implementation of the VariableID and DomainBox classes.

Documentation

type VarID = IntSource

type Box ira = IntMap iraSource