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

#include "ap_abstract1.h"
#include "apxx_abstract0.hh"
#include "apxx_linexpr1.hh"
#include "apxx_lincons1.hh"
#include "apxx_generator1.hh"
#include "apxx_abstract1_inline.hh"

Go to the source code of this file.

Classes
class	apron::abstract1
	Level 1 abstract value (ap_abstract1_t wrapper). More...

Namespaces
	apron

Functions
void	apron::printdiff (manager &m, const abstract1 &x, const abstract1 &y, FILE *stream=stdout)
std::ostream &	apron::operator<< (std::ostream &os, const abstract1 &s)
abstract1 &	apron::deserialize (manager &m, abstract1 &dst, const std::string &s, size_t *eaten=NULL)
bool	apron::operator== (const abstract1 &x, const abstract1 &y)
bool	apron::operator!= (const abstract1 &x, const abstract1 &y)
bool	apron::operator<= (const abstract1 &x, const abstract1 &y)
bool	apron::operator>= (const abstract1 &x, const abstract1 &y)
bool	apron::operator> (const abstract1 &x, const abstract1 &y)
bool	apron::operator< (const abstract1 &x, const abstract1 &y)
abstract1 &	apron::unify (manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)
abstract1 &	apron::meet (manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)
abstract1 &	apron::meet (manager &m, abstract1 &dst, const std::vector< const abstract1 * > &x)
abstract1 &	apron::meet (manager &m, abstract1 &dst, size_t sz, const abstract1 *const x[])
abstract1 &	apron::join (manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)
abstract1 &	apron::join (manager &m, abstract1 &dst, size_t sz, const abstract1 *const x[])
abstract1 &	apron::join (manager &m, abstract1 &dst, const std::vector< const abstract1 * > &x)
abstract1 &	apron::meet (manager &m, abstract1 &dst, const abstract1 &x, const lincons1_array &y)
abstract1 &	apron::meet (manager &m, abstract1 &dst, const abstract1 &x, const tcons1_array &y)
abstract1 &	apron::add_rays (manager &m, abstract1 &dst, const abstract1 &x, const generator1_array &y)
static ap_abstract1_t *	apron::ap_abstract1_t_or_null (const abstract1 &i)
abstract1 &	apron::assign (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const linexpr1 &l, const abstract1 &inter=abstract1::null)
abstract1 &	apron::assign (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter=abstract1::null)
abstract1 &	apron::assign (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter=abstract1::null)
abstract1 &	apron::assign (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const texpr1 &l, const abstract1 &inter=abstract1::null)
abstract1 &	apron::assign (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter=abstract1::null)
abstract1 &	apron::assign (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter=abstract1::null)
abstract1 &	apron::substitute (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const linexpr1 &l, const abstract1 &inter=abstract1::null)
abstract1 &	apron::substitute (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter=abstract1::null)
abstract1 &	apron::substitute (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter=abstract1::null)
abstract1 &	apron::substitute (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const texpr1 &l, const abstract1 &inter=abstract1::null)
abstract1 &	apron::substitute (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter=abstract1::null)
abstract1 &	apron::substitute (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter=abstract1::null)
abstract1 &	apron::forget (manager &m, abstract1 &dst, const abstract1 &src, const var &v, bool project=false)
abstract1 &	apron::forget (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], bool project=false)
abstract1 &	apron::forget (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, bool project=false)
abstract1 &	apron::change_environment (manager &m, abstract1 &dst, const abstract1 &src, const environment &e, bool project=false)
abstract1 &	apron::minimize_environment (manager &m, abstract1 &dst, const abstract1 &src)
abstract1 &	apron::rename (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var oldv[], const var newv[])
abstract1 &	apron::rename (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &oldv, const std::vector< var > &newv)
abstract1 &	apron::expand (manager &m, abstract1 &dst, const abstract1 &src, const var &v, size_t size, const var vv[])
abstract1 &	apron::expand (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const std::vector< var > &vv)
abstract1 &	apron::fold (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var vv[])
abstract1 &	apron::fold (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &vv)
abstract1 &	apron::widening (manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)
abstract1 &	apron::widening (manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y, const lincons1_array &l)
abstract1 &	apron::closure (manager &m, abstract1 &dst, const abstract1 &src)