APRONXX  0.9.12
Classes | Namespaces
/builddir/build/BUILD/apron-0.9.13/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