irep.cpp File Reference

#include <cassert>
#include <cstdlib>
#include <util/base/i2string.h>
#include <util/irep/irep.h>
#include <util/message/message.h>

Include dependency graph for irep.cpp:

Functions
const irept &	get_nil_irep ()
bool	operator== (const irept &i1, const irept &i2)
bool	full_eq (const irept &i1, const irept &i2)
std::ostream &	operator<< (std::ostream &out, const irept &irep)
bool	ordering (const irept &X, const irept &Y)
bool	operator< (const irept &X, const irept &Y)
static void	indent_str (std::string &s, unsigned indent)

Variables
irept	nil_rep_storage

Function Documentation

full_eq()

bool full_eq	(	const irept &	i1,
		const irept &	i2 )

get_nil_irep()

const irept & get_nil_irep

(

)

indent_str()

void indent_str ( std::string & s, unsigned indent )

static

operator<()

bool operator<	(	const irept &	X,
		const irept &	Y )

operator<<()

std::ostream & operator<<	(	std::ostream &	out,
		const irept &	irep )

operator==()

bool operator==	(	const irept &	i1,
		const irept &	i2 )

ordering()

bool ordering	(	const irept &	X,
		const irept &	Y )

Variable Documentation

nil_rep_storage

irept nil_rep_storage