Interval_Restriction.defs.hh File Reference

#include "meta_programming.hh"
#include "Slow_Copy.hh"
#include "assign_or_swap.hh"
#include "Result.defs.hh"
#include "Rounding_Dir.defs.hh"
#include "Checked_Number.defs.hh"
Include dependency graph for Interval_Restriction.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::Boundary_Value< T, Enable >
struct  Parma_Polyhedra_Library::Boundary_Value< T, typename Enable_If< Is_Same_Or_Derived< Interval_Base, T >::value >::type >
class  Parma_Polyhedra_Library::Interval_Restriction_None_Base
class  Parma_Polyhedra_Library::Interval_Restriction_None< Base >
class  Parma_Polyhedra_Library::Interval_Restriction_Integer_Base
class  Parma_Polyhedra_Library::Interval_Restriction_Integer< Base >
class  Parma_Polyhedra_Library::Simple_Restriction_Integer
struct  Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >
struct  Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_None_Base, typename From::info_type >::value >::type >
struct  Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Base, typename From::info_type >::value >::type >
class  Parma_Polyhedra_Library::Interval_Restriction_Integer_Modulo_Base
class  Parma_Polyhedra_Library::Interval_Restriction_Integer_Modulo< T, Base >
struct  Parma_Polyhedra_Library::Slow_Copy< Interval_Restriction_Integer_Modulo< T, Base > >
struct  Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >
struct  Parma_Polyhedra_Library::Simple_Restriction_Integer_Modulo< T >
struct  Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >
struct  Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_None_Base, typename From::info_type >::value >::type >
struct  Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Base, typename From::info_type >::value >::type >
struct  Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >

Namespaces

namespace  Parma_Polyhedra_Library
 

The entire library is confined to this namespace.


Functions

bool Parma_Polyhedra_Library::eq_restriction (const Interval_Restriction_None_Base &, const Interval_Restriction_None_Base)
template<typename T >
bool Parma_Polyhedra_Library::contains_restriction (const Interval_Restriction_None_Base &, const T &)
template<typename T >
bool Parma_Polyhedra_Library::assign_restriction (Interval_Restriction_None_Base &, const T &)
template<typename T1 , typename T2 >
bool Parma_Polyhedra_Library::join_restriction (Interval_Restriction_None_Base &, const T1 &, const T2 &)
template<typename T1 , typename T2 >
bool Parma_Polyhedra_Library::intersect_restriction (Interval_Restriction_None_Base &, const T1 &, const T2 &)
template<typename T1 , typename T2 >
bool Parma_Polyhedra_Library::diff_restriction (Interval_Restriction_None_Base &, const T1 &, const T2 &)
template<typename T >
bool Parma_Polyhedra_Library::neg_restriction (Interval_Restriction_None_Base &, const T &)
template<typename T1 , typename T2 >
bool Parma_Polyhedra_Library::add_restriction (Interval_Restriction_None_Base &, const T1 &, const T2 &)
template<typename T1 , typename T2 >
bool Parma_Polyhedra_Library::sub_restriction (Interval_Restriction_None_Base &, const T1 &, const T2 &)
template<typename T1 , typename T2 >
bool Parma_Polyhedra_Library::mul_restriction (Interval_Restriction_None_Base &, const T1 &, const T2 &)
template<typename T1 , typename T2 >
bool Parma_Polyhedra_Library::div_restriction (Interval_Restriction_None_Base &, const T1 &, const T2 &)
void Parma_Polyhedra_Library::output_restriction (std::ostream &, const Interval_Restriction_None_Base &)
template<typename T1 , typename T2 >
Enable_If< Is_Same_Or_Derived
< Interval_Restriction_Integer_Base,
T1 >::value
&&Is_Same_Or_Derived
< Interval_Restriction_Integer_Base,
T2 >::value, bool >::type 
Parma_Polyhedra_Library::eq_restriction (const T1 &x, const T2 &y)
template<typename T1 , typename T2 >
Enable_If< Is_Same_Or_Derived
< Interval_Restriction_Integer_Base,
T1 >::value
&&Is_Same_Or_Derived
< Interval_Restriction_Integer_Base,
T2 >::value, bool >::type 
Parma_Polyhedra_Library::contains_restriction (const T1 &x, const T2 &y)
template<typename Base , typename From >
bool Parma_Polyhedra_Library::assign_restriction (Interval_Restriction_Integer< Base > &to, const From &x)
template<typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::join_restriction (Interval_Restriction_Integer< Base > &to, const From1 &x, const From2 &y)
template<typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::intersect_restriction (Interval_Restriction_Integer< Base > &to, const From1 &x, const From2 &y)
template<typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::diff_restriction (Interval_Restriction_Integer< Base > &to, const From1 &x, const From2 &)
template<typename Base , typename From >
bool Parma_Polyhedra_Library::neg_restriction (Interval_Restriction_Integer< Base > &to, const From &x)
template<typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::add_restriction (Interval_Restriction_Integer< Base > &to, const From1 &x, const From2 &y)
template<typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::sub_restriction (Interval_Restriction_Integer< Base > &to, const From1 &x, const From2 &y)
template<typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::mul_restriction (Interval_Restriction_Integer< Base > &to, const From1 &x, const From2 &y)
template<typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::div_restriction (Interval_Restriction_Integer< Base > &to, const From1 &, const From2 &)
template<typename Base >
void Parma_Polyhedra_Library::output_restriction (std::ostream &s, const Interval_Restriction_Integer< Base > &x)
template<typename T , typename Base >
bool Parma_Polyhedra_Library::set_unrestricted (Interval_Restriction_Integer_Modulo< T, Base > &to)
template<typename T , typename Base >
bool Parma_Polyhedra_Library::set_integer (Interval_Restriction_Integer_Modulo< T, Base > &to)
template<typename T , typename Base , typename From >
bool Parma_Polyhedra_Library::assign_restriction (Interval_Restriction_Integer_Modulo< T, Base > &to, const From &x)
template<typename T , typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::join_restriction (Interval_Restriction_Integer_Modulo< T, Base > &to, const From1 &x, const From2 &y)
template<typename T , typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::intersect_restriction (Interval_Restriction_Integer_Modulo< T, Base > &to, const From1 &x, const From2 &y)
template<typename T , typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::diff_restriction (Interval_Restriction_Integer_Modulo< T, Base > &to, const From1 &x, const From2 &y)
template<typename T , typename Base , typename From >
bool Parma_Polyhedra_Library::neg_restriction (Interval_Restriction_Integer_Modulo< T, Base > &to, const From &x)
template<typename T >
void Parma_Polyhedra_Library::addmod (T &to, const T &x, const T &y, const T &to_m, const T &y_m)
template<typename M , typename T >
bool Parma_Polyhedra_Library::assign_rem (M &rem, const T &n, const M &div)
template<typename T , typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::add_restriction (Interval_Restriction_Integer_Modulo< T, Base > &to, const From1 &x, const From2 &y)
template<typename T >
void Parma_Polyhedra_Library::submod (T &to, const T &x, const T &y, const T &to_m, const T &y_m)
template<typename T , typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::sub_restriction (Interval_Restriction_Integer_Modulo< T, Base > &to, const From1 &x, const From2 &y)
template<typename T >
void Parma_Polyhedra_Library::mulmod (T &to, const T &x, const T &y, const T &to_m)
template<typename T , typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::mul_restriction (Interval_Restriction_Integer_Modulo< T, Base > &to, const From1 &x, const From2 &y)
template<typename T , typename Base , typename From1 , typename From2 >
bool Parma_Polyhedra_Library::div_restriction (Interval_Restriction_Integer_Modulo< T, Base > &to, const From1 &x, const From2 &y)
template<typename T , typename Base >
void Parma_Polyhedra_Library::output_restriction (std::ostream &s, const Interval_Restriction_Integer_Modulo< T, Base > &x)
Generated on Sun Feb 27 16:19:05 2011 for PPL by  doxygen 1.6.3