/home/mine/apron/apronxx/apxx_linexpr0_inline.hh File Reference

Go to the source code of this file.

Functions
static void	apxx_linexpr0_init (ap_linexpr0_t *d, ap_linexpr_discr_t discr, size_t size)
static void	apxx_linexpr0_clear (ap_linexpr0_t *d)
static void	apxx_linexpr0_copy (ap_linexpr0_t *d, const ap_linexpr0_t *s)
static bool	print_coeff_sign (std::ostream &os, const coeff &c, bool &first, bool cst)
std::ostream &	operator<< (std::ostream &os, const linexpr0 &s)
int	compare (const linexpr0 &x, const linexpr0 &y)
bool	equal (const linexpr0 &x, const linexpr0 &y)

Function Documentation

apxx_linexpr0_clear()

static void apxx_linexpr0_clear ( ap_linexpr0_t * d )

inlinestatic

apxx_linexpr0_copy()

static void apxx_linexpr0_copy ( ap_linexpr0_t * d, const ap_linexpr0_t * s )

inlinestatic

apxx_linexpr0_init()

static void apxx_linexpr0_init ( ap_linexpr0_t * d, ap_linexpr_discr_t discr, size_t size )

inlinestatic

compare()

int compare ( const linexpr0 & x, const linexpr0 & y )

inline

equal()

bool equal ( const linexpr0 & x, const linexpr0 & y )

inline

operator<<()

std::ostream & operator<< ( std::ostream & os, const linexpr0 & s )

inline

print_coeff_sign()

static bool print_coeff_sign ( std::ostream & os, const coeff & c, bool & first, bool cst )

inlinestatic