PPL
1.2
|
#include "Interval_types.hh"
#include "globals_defs.hh"
#include "meta_programming.hh"
#include "assign_or_swap.hh"
#include "intervals_defs.hh"
#include "Interval_Info_defs.hh"
#include <iosfwd>
#include "Interval_inlines.hh"
#include "Interval_templates.hh"
Go to the source code of this file.
Classes | |
struct | Parma_Polyhedra_Library::Interval_Base |
struct | Parma_Polyhedra_Library::Is_Singleton< T, Enable > |
struct | Parma_Polyhedra_Library::Is_Interval< T > |
class | Parma_Polyhedra_Library::Interval< Boundary, Info > |
A generic, not necessarily closed, possibly restricted interval. More... | |
Namespaces | |
Parma_Polyhedra_Library | |
The entire library is confined to this namespace. | |
Enumerations | |
enum | Parma_Polyhedra_Library::Ternary { Parma_Polyhedra_Library::T_YES, Parma_Polyhedra_Library::T_NO, Parma_Polyhedra_Library::T_MAYBE } |
Functions | |
I_Result | Parma_Polyhedra_Library::combine (Result l, Result u) |