interval_domain.h File Reference

Interval Domain. More...

#include <goto-programs/abstract-interpretation/ai.h>
#include <goto-programs/abstract-interpretation/interval_template.h>
#include <goto-programs/abstract-interpretation/wrapped_interval.h>
#include <boost/serialization/nvp.hpp>
#include <util/arith/ieee_float.h>
#include <irep2/irep2_utils.h>
#include <util/arith/mp_arith.h>
#include <util/base/threeval.h>
#include <boost/multiprecision/cpp_bin_float.hpp>
#include <variant>

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
	Trivial, conjunctive interval domain for both float and integers. More...

Detailed Description

Interval Domain.