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

#include "ap_tcons0.h"
#include "apxx_texpr0.hh"
#include "apxx_lincons0.hh"
#include "apxx_tcons0_inline.hh"

Go to the source code of this file.

Classes
class	apron::tcons0
	Level 0 arbitrary constraint (ap_tcons0_t wrapper). More...
class	apron::tcons0_array
	Array of arbitrary constraints (ap_tcons0_array_t wrapper). More...

Namespaces
	apron

Functions
tcons0	apron::operator>= (const texpr0::builder &a, const texpr0::builder &b)
tcons0	apron::operator<= (const texpr0::builder &a, const texpr0::builder &b)
tcons0	apron::operator> (const texpr0::builder &a, const texpr0::builder &b)
tcons0	apron::operator< (const texpr0::builder &a, const texpr0::builder &b)
tcons0	apron::operator== (const texpr0::builder &a, const texpr0::builder &b)
tcons0	apron::operator!= (const texpr0::builder &a, const texpr0::builder &b)
std::ostream &	apron::operator<< (std::ostream &os, const tcons0 &s)
std::ostream &	apron::operator<< (std::ostream &os, const tcons0_array &s)