fixedbv.cpp File Reference

#include <util/arith/arith_tools.h>
#include <util/arith/fixedbv.h>
#include <util/irep/std_types.h>

Include dependency graph for fixedbv.cpp:

Functions
bool	operator> (const fixedbvt &a, int i)
bool	operator< (const fixedbvt &a, int i)
bool	operator>= (const fixedbvt &a, int i)
bool	operator<= (const fixedbvt &a, int i)

Function Documentation

operator<()

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

operator<=()

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

operator>()

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

operator>=()

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