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

#include "ap_linexpr0.h"
#include "ap_linearize.h"
#include "apxx_coeff.hh"
#include "apxx_dimension.hh"
#include "apxx_linexpr0_inline.hh"

Go to the source code of this file.

Classes
class	apron::linexpr0
	Level 0 linear expression (ap_linexpr0_t wrapper). More...
class	apron::linexpr0::const_iterator
	Iterator to traverse a constant linexpr0. More...
class	apron::linexpr0::iterator
	Iterator to traverse and mutate a linear expression. More...

Namespaces
	apron

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