intervals_defs.hh File Reference

#include "Checked_Number_defs.hh"
#include "assertions.hh"
#include <cstdlib>

Include dependency graph for intervals_defs.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	Parma_Polyhedra_Library::Use_By_Ref< Criteria, T >
struct	Parma_Polyhedra_Library::Use_By_Ref< Use_Slow_Copy, T >
struct	Parma_Polyhedra_Library::Use_By_Ref< By_Value, T >
struct	Parma_Polyhedra_Library::Use_By_Ref< By_Ref, T >
class	Parma_Polyhedra_Library::Val_Or_Ref< T, Criteria, Enable >
class	Parma_Polyhedra_Library::Val_Or_Ref< T, Criteria, typename Enable_If<!Use_By_Ref< Criteria, T >::value >::type >
class	Parma_Polyhedra_Library::Val_Or_Ref< T, Criteria, typename Enable_If< Use_By_Ref< Criteria, T >::value >::type >
class	Parma_Polyhedra_Library::I_Constraint_Base
class	Parma_Polyhedra_Library::I_Constraint_Common< Derived >
struct	Parma_Polyhedra_Library::I_Constraint_Rel
class	Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >

Namespaces
	Parma_Polyhedra_Library
	The entire library is confined to this namespace.

Enumerations
enum	Parma_Polyhedra_Library::I_Result {   Parma_Polyhedra_Library::I_EMPTY, Parma_Polyhedra_Library::I_SINGLETON, Parma_Polyhedra_Library::I_SOME, Parma_Polyhedra_Library::I_UNIVERSE,   Parma_Polyhedra_Library::I_NOT_EMPTY, Parma_Polyhedra_Library::I_ANY, Parma_Polyhedra_Library::I_NOT_UNIVERSE, Parma_Polyhedra_Library::I_NOT_DEGENERATE,   Parma_Polyhedra_Library::I_EXACT, Parma_Polyhedra_Library::I_INEXACT, Parma_Polyhedra_Library::I_CHANGED, Parma_Polyhedra_Library::I_UNCHANGED,   Parma_Polyhedra_Library::I_SINGULARITIES }
	The result of an operation on intervals. More...

Functions
I_Result	Parma_Polyhedra_Library::operator| (I_Result a, I_Result b)
I_Result	Parma_Polyhedra_Library::operator& (I_Result a, I_Result b)
I_Result	Parma_Polyhedra_Library::operator- (I_Result a, I_Result b)
template<typename T >
I_Constraint< T >	Parma_Polyhedra_Library::i_constraint (I_Constraint_Rel rel, const T &v)
template<typename T >
I_Constraint< T >	Parma_Polyhedra_Library::i_constraint (I_Constraint_Rel rel, const T &v, bool force)
template<typename T >
I_Constraint< T >	Parma_Polyhedra_Library::i_constraint (I_Constraint_Rel rel, T &v)
template<typename T , typename Val_Or_Ref_Criteria >
I_Constraint< T, Val_Or_Ref_Criteria >	Parma_Polyhedra_Library::i_constraint (I_Constraint_Rel rel, const T &v, const Val_Or_Ref_Criteria &)
template<typename T , typename Val_Or_Ref_Criteria >
I_Constraint< T, Val_Or_Ref_Criteria >	Parma_Polyhedra_Library::i_constraint (I_Constraint_Rel rel, const T &v, bool force, const Val_Or_Ref_Criteria &)
template<typename T , typename Val_Or_Ref_Criteria >
I_Constraint< T, Val_Or_Ref_Criteria >	Parma_Polyhedra_Library::i_constraint (I_Constraint_Rel rel, T &v, const Val_Or_Ref_Criteria &)