#include "globals.defs.hh"
#include "meta_programming.hh"
#include "assign_or_swap.hh"
#include "Interval.types.hh"
#include "Interval_Info.defs.hh"
#include <iosfwd>
#include <iostream>
#include "Interval.inlines.hh"
#include "Interval.templates.hh"
Go to the source code of this file.
Namespaces | |
namespace | Parma_Polyhedra_Library |
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... | |
Defines | |
#define | PPL_Interval_defs_hh 1 |
Enumerations | |
enum | Parma_Polyhedra_Library::I_Result { Parma_Polyhedra_Library::I_EMPTY = 0, Parma_Polyhedra_Library::I_MAYBE_EMPTY = 1 << 12, Parma_Polyhedra_Library::I_SINGULARITIES = 1 << 13 } |
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) |
Result | Parma_Polyhedra_Library::lower (I_Result r) |
Result | Parma_Polyhedra_Library::upper (I_Result r) |
template<typename Info> | |
bool | Parma_Polyhedra_Library::unrepresentability_error (I_Result r, const Info &) |
#define PPL_Interval_defs_hh 1 |
Definition at line 24 of file Interval.defs.hh.