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

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) |
1.6.3