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

#include <string>
#include <vector>
#include "ap_environment.h"
#include "apxx_dimension.hh"
#include "apxx_var.hh"
#include "apxx_environment_inline.hh"

Go to the source code of this file.

Classes
class	apron::environment
	Level 1 environment (ap_environment_t wrapper). More...

Namespaces
	apron

Functions
static ap_var_t *	apron::apxx_environment_get_names (const std::vector< var > &n)
static void	apron::apxx_environment_get_names_pair (const std::vector< std::pair< var, var > > &n, ap_var_t **x, ap_var_t **y)
environment	apron::lce (const environment &x, const environment &y)
environment	apron::lce (const environment &x, const environment &y, dimchange &chgx, dimchange &chgy)
environment	apron::lce (const std::vector< environment > &x)
environment	apron::lce (const environment *env, size_t env_size)
environment	apron::lce (const std::vector< environment > &x, std::vector< dimchange > &chg)
environment	apron::lce (const environment *env, dimchange *chg, size_t env_size)
dimchange	apron::get_dimchange (const environment &x, const environment &y)
bool	apron::operator== (const environment &x, const environment &y)
bool	apron::operator!= (const environment &x, const environment &y)
bool	apron::operator<= (const environment &x, const environment &y)
bool	apron::operator>= (const environment &x, const environment &y)
int	apron::cmp (const environment &x, const environment &y)
std::ostream &	apron::operator<< (std::ostream &os, const environment &s)