Interval.defs.hh File Reference

#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"

Include dependency graph for Interval.defs.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 Documentation

#define PPL_Interval_defs_hh   1

Definition at line 24 of file Interval.defs.hh.


Generated on Sat Oct 11 10:40:19 2008 for PPL by  doxygen 1.5.6