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

#include "ap_var.h"
#include "apxx_var_inline.hh"

Go to the source code of this file.

Classes
class	apron::var
	Variable name (ap_var_t wrapper). More...

Namespaces
	apron

Functions
int	apron::compare (const var &x, const var &y)
bool	apron::operator== (const var &x, const var &y)
bool	apron::operator!= (const var &x, const var &y)
bool	apron::operator>= (const var &x, const var &y)
bool	apron::operator<= (const var &x, const var &y)
bool	apron::operator> (const var &x, const var &y)
bool	apron::operator< (const var &x, const var &y)
std::ostream &	apron::operator<< (std::ostream &os, const var &s)