#include "meta_programming.hh"
#include "Slow_Copy.hh"
#include "assign_or_swap.hh"
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 PPL_Interval_Restriction_defs_hh 1 |
Definition at line 24 of file Interval_Restriction.defs.hh.