cprover
|
#include <iosfwd>
#include "mp_arith.h"
#include "format_spec.h"
#include "irep.h"
#include "cprover_prefix.h"
Go to the source code of this file.
Classes | |
class | ieee_float_spect |
class | ieee_floatt |
Functions | |
std::ostream & | operator<< (std::ostream &out, const ieee_floatt &f) |
Variables | |
const char | ID_cprover_rounding_mode_str [] = "__CPROVER_" "rounding_mode" |
|
inline |
Definition at line 318 of file ieee_float.h.
const char ID_cprover_rounding_mode_str[] = "__CPROVER_" "rounding_mode" |
Definition at line 23 of file ieee_float.h.