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

#include <vector>
#include "ap_lincons0.h"
#include "apxx_linexpr0.hh"
#include "apxx_lincons0_inline.hh"

Go to the source code of this file.

Classes
struct	apron::unsat
	Unsatisfiable constraint, to simplify initialisations and assignments. More...
class	apron::lincons0
	Level 0 linear constraint (ap_lincons0_t wrapper). More...
class	apron::lincons0_array
	Array of linear constraints (ap_lincons0_array_t wrapper). More...

Namespaces
	apron

Functions
std::ostream &	apron::operator<< (std::ostream &os, const lincons0 &s)
std::ostream &	apron::operator<< (std::ostream &os, const lincons0_array &s)