Boundary_defs.hh File Reference

#include "Checked_Number_defs.hh"

Include dependency graph for Boundary_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_NS::Property

Namespaces
	Parma_Polyhedra_Library
	The entire library is confined to this namespace.
	Parma_Polyhedra_Library::Boundary_NS

Enumerations
enum	Parma_Polyhedra_Library::Boundary_NS::Boundary_Type { Parma_Polyhedra_Library::Boundary_NS::LOWER = ROUND_DOWN, Parma_Polyhedra_Library::Boundary_NS::UPPER = ROUND_UP }

Functions
Rounding_Dir	Parma_Polyhedra_Library::Boundary_NS::round_dir_check (Boundary_Type t, bool check=false)
template<typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::special_set_boundary_infinity (Boundary_Type type, T &, Info &info)
template<typename T , typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::special_is_open (Boundary_Type, const T &, const Info &)
template<typename T , typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::normal_is_open (Boundary_Type type, const T &x, const Info &info)
template<typename T , typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::is_open (Boundary_Type type, const T &x, const Info &info)
template<typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::set_unbounded (Boundary_Type type, T &x, Info &info)
template<typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::set_minus_infinity (Boundary_Type type, T &x, Info &info, bool open=false)
template<typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::set_plus_infinity (Boundary_Type type, T &x, Info &info, bool open=false)
template<typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::set_boundary_infinity (Boundary_Type type, T &x, Info &info, bool open=false)
template<typename T , typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::is_domain_inf (Boundary_Type type, const T &x, const Info &info)
template<typename T , typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::is_domain_sup (Boundary_Type type, const T &x, const Info &info)
template<typename T , typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::normal_is_boundary_infinity (Boundary_Type type, const T &x, const Info &)
template<typename T , typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::is_boundary_infinity (Boundary_Type type, const T &x, const Info &info)
template<typename T , typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::normal_is_reverse_infinity (Boundary_Type type, const T &x, const Info &)
template<typename T , typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::is_minus_infinity (Boundary_Type type, const T &x, const Info &info)
template<typename T , typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::is_plus_infinity (Boundary_Type type, const T &x, const Info &info)
template<typename T , typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::is_reverse_infinity (Boundary_Type type, const T &x, const Info &info)
template<typename T , typename Info >
int	Parma_Polyhedra_Library::Boundary_NS::infinity_sign (Boundary_Type type, const T &x, const Info &info)
template<typename T , typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::is_boundary_infinity_closed (Boundary_Type type, const T &x, const Info &info)
template<typename Info >
bool	Parma_Polyhedra_Library::Boundary_NS::boundary_infinity_is_open (Boundary_Type type, const Info &info)
template<typename T , typename Info >
int	Parma_Polyhedra_Library::Boundary_NS::sgn_b (Boundary_Type type, const T &x, const Info &info)
template<typename T , typename Info >
int	Parma_Polyhedra_Library::Boundary_NS::sgn (Boundary_Type type, const T &x, const Info &info)
template<typename T1 , typename Info1 , typename T2 , typename Info2 >
bool	Parma_Polyhedra_Library::Boundary_NS::eq (Boundary_Type type1, const T1 &x1, const Info1 &info1, Boundary_Type type2, const T2 &x2, const Info2 &info2)
template<typename T1 , typename Info1 , typename T2 , typename Info2 >
bool	Parma_Polyhedra_Library::Boundary_NS::lt (Boundary_Type type1, const T1 &x1, const Info1 &info1, Boundary_Type type2, const T2 &x2, const Info2 &info2)
template<typename T1 , typename Info1 , typename T2 , typename Info2 >
bool	Parma_Polyhedra_Library::Boundary_NS::gt (Boundary_Type type1, const T1 &x1, const Info1 &info1, Boundary_Type type2, const T2 &x2, const Info2 &info2)
template<typename T1 , typename Info1 , typename T2 , typename Info2 >
bool	Parma_Polyhedra_Library::Boundary_NS::le (Boundary_Type type1, const T1 &x1, const Info1 &info1, Boundary_Type type2, const T2 &x2, const Info2 &info2)
template<typename T1 , typename Info1 , typename T2 , typename Info2 >
bool	Parma_Polyhedra_Library::Boundary_NS::ge (Boundary_Type type1, const T1 &x1, const Info1 &info1, Boundary_Type type2, const T2 &x2, const Info2 &info2)
template<typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::adjust_boundary (Boundary_Type type, T &x, Info &info, bool open, Result r)
template<typename To , typename To_Info , typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::complement (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type, const T &x, const Info &info)
template<typename To , typename To_Info , typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::assign (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type, const T &x, const Info &info, bool should_shrink=false)
template<typename To , typename To_Info , typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::min_assign (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type, const T &x, const Info &info)
template<typename To , typename To_Info , typename T1 , typename Info1 , typename T2 , typename Info2 >
Result	Parma_Polyhedra_Library::Boundary_NS::min_assign (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type1, const T1 &x1, const Info1 &info1, Boundary_Type type2, const T2 &x2, const Info2 &info2)
template<typename To , typename To_Info , typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::max_assign (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type, const T &x, const Info &info)
template<typename To , typename To_Info , typename T1 , typename Info1 , typename T2 , typename Info2 >
Result	Parma_Polyhedra_Library::Boundary_NS::max_assign (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type1, const T1 &x1, const Info1 &info1, Boundary_Type type2, const T2 &x2, const Info2 &info2)
template<typename To , typename To_Info , typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::neg_assign (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type, const T &x, const Info &info)
template<typename To , typename To_Info , typename T1 , typename Info1 , typename T2 , typename Info2 >
Result	Parma_Polyhedra_Library::Boundary_NS::add_assign (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type1, const T1 &x1, const Info1 &info1, Boundary_Type type2, const T2 &x2, const Info2 &info2)
template<typename To , typename To_Info , typename T1 , typename Info1 , typename T2 , typename Info2 >
Result	Parma_Polyhedra_Library::Boundary_NS::sub_assign (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type1, const T1 &x1, const Info1 &info1, Boundary_Type type2, const T2 &x2, const Info2 &info2)
template<typename To , typename To_Info , typename T1 , typename Info1 , typename T2 , typename Info2 >
Result	Parma_Polyhedra_Library::Boundary_NS::mul_assign (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type1, const T1 &x1, const Info1 &info1, Boundary_Type type2, const T2 &x2, const Info2 &info2)
template<typename To , typename To_Info >
Result	Parma_Polyhedra_Library::Boundary_NS::set_zero (Boundary_Type to_type, To &to, To_Info &to_info, bool should_shrink)
template<typename To , typename To_Info , typename T1 , typename Info1 , typename T2 , typename Info2 >
Result	Parma_Polyhedra_Library::Boundary_NS::mul_assign_z (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type1, const T1 &x1, const Info1 &info1, int x1s, Boundary_Type type2, const T2 &x2, const Info2 &info2, int x2s)
template<typename To , typename To_Info , typename T1 , typename Info1 , typename T2 , typename Info2 >
Result	Parma_Polyhedra_Library::Boundary_NS::div_assign (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type1, const T1 &x1, const Info1 &info1, Boundary_Type type2, const T2 &x2, const Info2 &info2)
template<typename To , typename To_Info , typename T1 , typename Info1 , typename T2 , typename Info2 >
Result	Parma_Polyhedra_Library::Boundary_NS::div_assign_z (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type1, const T1 &x1, const Info1 &info1, int x1s, Boundary_Type type2, const T2 &x2, const Info2 &info2, int x2s)
template<typename To , typename To_Info , typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::umod_2exp_assign (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type, const T &x, const Info &info, unsigned int exp)
template<typename To , typename To_Info , typename T , typename Info >
Result	Parma_Polyhedra_Library::Boundary_NS::smod_2exp_assign (Boundary_Type to_type, To &to, To_Info &to_info, Boundary_Type type, const T &x, const Info &info, unsigned int exp)

Variables
static const Property	Parma_Polyhedra_Library::Boundary_NS::SPECIAL (Property::SPECIAL_)
static const Property	Parma_Polyhedra_Library::Boundary_NS::OPEN (Property::OPEN_)