Interval Domain. More...
#include <util/ieee_float.h>#include <util/mp_arith.h>#include "ai.h"#include "interval_template.h"
Include dependency graph for interval_domain.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | interval_domaint |
Typedefs | |
| typedef interval_templatet< mp_integer > | integer_intervalt |
| typedef interval_templatet< ieee_floatt > | ieee_float_intervalt |
Detailed Description
Interval Domain.
Definition in file interval_domain.h.
Typedef Documentation
◆ ieee_float_intervalt
Definition at line 22 of file interval_domain.h.
◆ integer_intervalt
Definition at line 21 of file interval_domain.h.
