ieee_float.cpp File Reference

#include <cassert>
#include <limits>
#include <util/arith/arith_tools.h>
#include <util/arith/ieee_float.h>
#include <util/irep/std_types.h>
#include <goto-programs/abstract-interpretation/interval_template.h>

Include dependency graph for ieee_float.cpp:

Functions
ieee_floatt	operator+ (const ieee_floatt &lhs, const ieee_floatt &rhs)
ieee_floatt	operator- (const ieee_floatt &lhs, const ieee_floatt &rhs)
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, int i)
bool	operator> (const ieee_floatt &a, int i)
bool	operator< (const ieee_floatt &a, int i)
bool	operator>= (const ieee_floatt &a, int i)
bool	operator<= (const ieee_floatt &a, int i)
bool	operator!= (const ieee_floatt &a, const ieee_floatt &b)

Function Documentation

operator!=()

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

operator+()

ieee_floatt operator+	(	const ieee_floatt &	lhs,
		const ieee_floatt &	rhs )

operator-()

ieee_floatt operator-	(	const ieee_floatt &	lhs,
		const ieee_floatt &	rhs )

operator<() [1/2]

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

operator<() [2/2]

bool operator<	(	const ieee_floatt &	a,
		int	i )

operator<=() [1/2]

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

operator<=() [2/2]

bool operator<=	(	const ieee_floatt &	a,
		int	i )

operator==() [1/2]

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

operator==() [2/2]

bool operator==	(	const ieee_floatt &	a,
		int	i )

operator>() [1/2]

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

operator>() [2/2]

bool operator>	(	const ieee_floatt &	a,
		int	i )

operator>=() [1/2]

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

operator>=() [2/2]

bool operator>=	(	const ieee_floatt &	a,
		int	i )