PPL  1.2
wrap_assign.hh File Reference
#include "globals_defs.hh"
#include "Coefficient_defs.hh"
#include "Variable_defs.hh"
#include "Constraint_System_defs.hh"
#include "assertions.hh"
Include dependency graph for wrap_assign.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::Implementation::Wrap_Dim_Translations
 

Namespaces

 Parma_Polyhedra_Library
 The entire library is confined to this namespace.
 
 Parma_Polyhedra_Library::Implementation
 Implementation related data and functions.
 

Typedefs

typedef std::vector< Wrap_Dim_Translations > Parma_Polyhedra_Library::Implementation::Wrap_Translations
 

Functions

template<typename PSET >
void Parma_Polyhedra_Library::Implementation::wrap_assign_ind (PSET &pointset, Variables_Set &vars, Wrap_Translations::const_iterator first, Wrap_Translations::const_iterator end, Bounded_Integer_Type_Width w, Coefficient_traits::const_reference min_value, Coefficient_traits::const_reference max_value, const Constraint_System &cs, Coefficient &tmp1, Coefficient &tmp2)
 
template<typename PSET >
void Parma_Polyhedra_Library::Implementation::wrap_assign_col (PSET &dest, const PSET &src, const Variables_Set &vars, Wrap_Translations::const_iterator first, Wrap_Translations::const_iterator end, Bounded_Integer_Type_Width w, Coefficient_traits::const_reference min_value, Coefficient_traits::const_reference max_value, const Constraint_System *cs_p, Coefficient &tmp)
 
template<typename PSET >
void Parma_Polyhedra_Library::Implementation::wrap_assign (PSET &pointset, const Variables_Set &vars, const Bounded_Integer_Type_Width w, const Bounded_Integer_Type_Representation r, const Bounded_Integer_Type_Overflow o, const Constraint_System *cs_p, const unsigned complexity_threshold, const bool wrap_individually, const char *class_name)