/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