Interval_Restriction.defs.hh File Reference

#include "meta_programming.hh"
#include "Slow_Copy.hh"
#include "assign_or_swap.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.

Namespaces

namespace  Parma_Polyhedra_Library

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 >

Defines

#define PPL_Interval_Restriction_defs_hh   1

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)


Define Documentation

#define PPL_Interval_Restriction_defs_hh   1

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


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