ieee_float.h File Reference

#include <util/arith/format_spec.h>
#include <irep2/irep2_type.h>
#include <util/arith/mp_arith.h>
#include <util/irep/std_expr.h>
#include <util/irep/std_types.h>

Include dependency graph for ieee_float.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	ieee_float_spect
class	ieee_floatt

Functions
bool	operator== (const ieee_float_spect &a, const ieee_float_spect &b)
bool	operator!= (const ieee_float_spect &a, const ieee_float_spect &b)
bool	operator< (const ieee_floatt &a, const ieee_floatt &b)
bool	operator<= (const ieee_floatt &a, const ieee_floatt &b)
bool	operator> (const ieee_floatt &a, const ieee_floatt &b)
bool	operator>= (const ieee_floatt &a, const ieee_floatt &b)
bool	operator== (const ieee_floatt &a, const ieee_floatt &b)
bool	operator!= (const ieee_floatt &a, const ieee_floatt &b)
std::ostream &	operator<< (std::ostream &out, const ieee_floatt &f)

Function Documentation

operator!=() [1/2]

bool operator!=	(	const ieee_float_spect &	a,
		const ieee_float_spect &	b )

operator!=() [2/2]

bool operator!=	(	const ieee_floatt &	a,
		const ieee_floatt &	b )

operator<()

bool operator<	(	const ieee_floatt &	a,
		const ieee_floatt &	b )

operator<<()

std::ostream & operator<<	(	std::ostream &	out,
		const ieee_floatt &	f )

operator<=()

bool operator<=	(	const ieee_floatt &	a,
		const ieee_floatt &	b )

operator==() [1/2]

bool operator==	(	const ieee_float_spect &	a,
		const ieee_float_spect &	b )

operator==() [2/2]

bool operator==	(	const ieee_floatt &	a,
		const ieee_floatt &	b )

operator>()

bool operator>	(	const ieee_floatt &	a,
		const ieee_floatt &	b )

operator>=()

bool operator>=	(	const ieee_floatt &	a,
		const ieee_floatt &	b )