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

#include <string>
#include "ap_abstract0.h"
#include "apxx_linexpr0.hh"
#include "apxx_lincons0.hh"
#include "apxx_generator0.hh"
#include "apxx_manager.hh"
#include "apxx_abstract0_inline.hh"

Go to the source code of this file.

Classes
class	apron::abstract0
	Level 0 abstract value (ap_abstract0_t* wrapper). More...

Namespaces
	apron

Functions
void	apron::printdiff (manager &m, const abstract0 &x, const abstract0 &y, char **name_of_dim=NULL, FILE *stream=stdout)
std::ostream &	apron::operator<< (std::ostream &os, const abstract0 &s)
abstract0 &	apron::deserialize (manager &m, abstract0 &dst, const std::string &s, size_t *eaten=NULL)
bool	apron::operator== (const abstract0 &x, const abstract0 &y)
bool	apron::operator!= (const abstract0 &x, const abstract0 &y)
bool	apron::operator<= (const abstract0 &x, const abstract0 &y)
bool	apron::operator>= (const abstract0 &x, const abstract0 &y)
bool	apron::operator> (const abstract0 &x, const abstract0 &y)
bool	apron::operator< (const abstract0 &x, const abstract0 &y)
abstract0 &	apron::meet (manager &m, abstract0 &dst, const abstract0 &x, const abstract0 &y)
abstract0 &	apron::meet (manager &m, abstract0 &dst, const std::vector< const abstract0 * > &x)
abstract0 &	apron::meet (manager &m, abstract0 &dst, size_t sz, const abstract0 *const x[])
abstract0 &	apron::join (manager &m, abstract0 &dst, const abstract0 &x, const abstract0 &y)
abstract0 &	apron::join (manager &m, abstract0 &dst, size_t sz, const abstract0 *const x[])
abstract0 &	apron::join (manager &m, abstract0 &dst, const std::vector< const abstract0 * > &x)
abstract0 &	apron::meet (manager &m, abstract0 &dst, const abstract0 &x, const lincons0_array &y)
abstract0 &	apron::meet (manager &m, abstract0 &dst, const abstract0 &x, const tcons0_array &y)
abstract0 &	apron::add_rays (manager &m, abstract0 &dst, const abstract0 &x, const generator0_array &y)
abstract0 &	apron::assign (manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, const linexpr0 &l, const abstract0 &inter=abstract0::null)
abstract0 &	apron::assign (manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], const linexpr0 *const l[], const abstract0 &inter=abstract0::null)
abstract0 &	apron::assign (manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim, const std::vector< const linexpr0 * > &l, const abstract0 &inter=abstract0::null)
abstract0 &	apron::assign (manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, const texpr0 &l, const abstract0 &inter=abstract0::null)
abstract0 &	apron::assign (manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], const texpr0 *const l[], const abstract0 &inter=abstract0::null)
abstract0 &	apron::assign (manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim, const std::vector< const texpr0 * > &l, const abstract0 &inter=abstract0::null)
abstract0 &	apron::substitute (manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, const linexpr0 &l, const abstract0 &inter=abstract0::null)
abstract0 &	apron::substitute (manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], const linexpr0 *const l[], const abstract0 &inter=abstract0::null)
abstract0 &	apron::substitute (manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim, const std::vector< const linexpr0 * > &l, const abstract0 &inter=abstract0::null)
abstract0 &	apron::substitute (manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, const texpr0 &l, const abstract0 &inter=abstract0::null)
abstract0 &	apron::substitute (manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], const texpr0 *const l[], const abstract0 &inter=abstract0::null)
abstract0 &	apron::substitute (manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim, const std::vector< const texpr0 * > &l, const abstract0 &inter=abstract0::null)
abstract0 &	apron::forget (manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, bool project=false)
abstract0 &	apron::forget (manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], bool project=false)
abstract0 &	apron::forget (manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > dim, bool project=false)
abstract0 &	apron::add_dimensions (manager &m, abstract0 &dst, const abstract0 &src, const dimchange &d, bool project=false)
abstract0 &	apron::remove_dimensions (manager &m, abstract0 &dst, const abstract0 &src, const dimchange &d)
abstract0 &	apron::permute_dimensions (manager &m, abstract0 &dst, const abstract0 &src, const dimperm &d)
abstract0 &	apron::expand (manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, size_t n=1)
abstract0 &	apron::fold (manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[])
abstract0 &	apron::fold (manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim)
abstract0 &	apron::widening (manager &m, abstract0 &dst, const abstract0 &x, const abstract0 &y)
abstract0 &	apron::widening (manager &m, abstract0 &dst, const abstract0 &x, const abstract0 &y, const lincons0_array &l)
abstract0 &	apron::closure (manager &m, abstract0 &dst, const abstract0 &src)