Parma_Polyhedra_Library::Affine_Space Member List

This is the complete list of members for Parma_Polyhedra_Library::Affine_Space, including all inherited members.

add_congruence(const Congruence &cg)	Parma_Polyhedra_Library::Affine_Space	inline
add_congruences(const Congruence_System &cgs)	Parma_Polyhedra_Library::Affine_Space	inline
add_constraint(const Constraint &c)	Parma_Polyhedra_Library::Affine_Space	inline
add_constraints(const Constraint_System &cs)	Parma_Polyhedra_Library::Affine_Space
add_generator(const Generator &g)	Parma_Polyhedra_Library::Affine_Space
add_generators(const Generator_System &gs)	Parma_Polyhedra_Library::Affine_Space
add_recycled_congruences(Congruence_System &cgs)	Parma_Polyhedra_Library::Affine_Space
add_recycled_constraints(Constraint_System &cs)	Parma_Polyhedra_Library::Affine_Space	inline
add_recycled_generators(Generator_System &gs)	Parma_Polyhedra_Library::Affine_Space
add_space_dimensions_and_embed(dimension_type m)	Parma_Polyhedra_Library::Affine_Space
add_space_dimensions_and_project(dimension_type m)	Parma_Polyhedra_Library::Affine_Space
affine_dimension() const	Parma_Polyhedra_Library::Affine_Space
affine_image(Variable var, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())	Parma_Polyhedra_Library::Affine_Space
affine_preimage(Variable var, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())	Parma_Polyhedra_Library::Affine_Space
Affine_Space(dimension_type num_dimensions=0, Degenerate_Element kind=UNIVERSE)	Parma_Polyhedra_Library::Affine_Space	inlineexplicit
Affine_Space(const Constraint_System &cs)	Parma_Polyhedra_Library::Affine_Space	inlineexplicit
Affine_Space(Constraint_System &cs, Recycle_Input dummy)	Parma_Polyhedra_Library::Affine_Space	inline
Affine_Space(const Generator_System &gs)	Parma_Polyhedra_Library::Affine_Space	explicit
Affine_Space(Generator_System &gs, Recycle_Input dummy)	Parma_Polyhedra_Library::Affine_Space	inline
Affine_Space(const Box< Interval > &box, Complexity_Class complexity=ANY_COMPLEXITY)	Parma_Polyhedra_Library::Affine_Space	explicit
Affine_Space(const BD_Shape< U > &bd, Complexity_Class complexity=ANY_COMPLEXITY)	Parma_Polyhedra_Library::Affine_Space	inlineexplicit
Affine_Space(const Octagonal_Shape< U > &os, Complexity_Class complexity=ANY_COMPLEXITY)	Parma_Polyhedra_Library::Affine_Space	inlineexplicit
Affine_Space(const Polyhedron &ph, Complexity_Class complexity=ANY_COMPLEXITY)	Parma_Polyhedra_Library::Affine_Space	inlineexplicit
Affine_Space(const Affine_Space &y, Complexity_Class complexity=ANY_COMPLEXITY)	Parma_Polyhedra_Library::Affine_Space	inline
ascii_dump() const	Parma_Polyhedra_Library::Affine_Space
ascii_dump(std::ostream &s) const	Parma_Polyhedra_Library::Affine_Space
ascii_load(std::istream &s)	Parma_Polyhedra_Library::Affine_Space
bounded_affine_image(Variable var, const Linear_Expression &lb_expr, const Linear_Expression &ub_expr, Coefficient_traits::const_reference denominator=Coefficient_one())	Parma_Polyhedra_Library::Affine_Space
bounded_affine_preimage(Variable var, const Linear_Expression &lb_expr, const Linear_Expression &ub_expr, Coefficient_traits::const_reference denominator=Coefficient_one())	Parma_Polyhedra_Library::Affine_Space
bounds_from_above(const Linear_Expression &expr) const	Parma_Polyhedra_Library::Affine_Space	inline
bounds_from_below(const Linear_Expression &expr) const	Parma_Polyhedra_Library::Affine_Space	inline
can_recycle_congruence_systems()	Parma_Polyhedra_Library::Affine_Space	inlinestatic
can_recycle_constraint_systems()	Parma_Polyhedra_Library::Affine_Space	inlinestatic
coefficient_type typedef	Parma_Polyhedra_Library::Affine_Space
concatenate_assign(const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space
congruences() const	Parma_Polyhedra_Library::Affine_Space
constrains(Variable var) const	Parma_Polyhedra_Library::Affine_Space
constraints() const	Parma_Polyhedra_Library::Affine_Space	inline
contains(const Affine_Space &y) const	Parma_Polyhedra_Library::Affine_Space
contains_integer_point() const	Parma_Polyhedra_Library::Affine_Space
difference_assign(const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space
expand_space_dimension(Variable var, dimension_type m)	Parma_Polyhedra_Library::Affine_Space
external_memory_in_bytes() const	Parma_Polyhedra_Library::Affine_Space
fold_space_dimensions(const Variables_Set &to_be_folded, Variable var)	Parma_Polyhedra_Library::Affine_Space
frequency(const Linear_Expression &expr, Coefficient &freq_n, Coefficient &freq_d, Coefficient &val_n, Coefficient &val_d) const	Parma_Polyhedra_Library::Affine_Space	inline
generalized_affine_image(Variable var, Relation_Symbol relsym, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())	Parma_Polyhedra_Library::Affine_Space
generalized_affine_image(const Linear_Expression &lhs, Relation_Symbol relsym, const Linear_Expression &rhs)	Parma_Polyhedra_Library::Affine_Space
generalized_affine_preimage(Variable var, Relation_Symbol relsym, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())	Parma_Polyhedra_Library::Affine_Space
generalized_affine_preimage(const Linear_Expression &lhs, Relation_Symbol relsym, const Linear_Expression &rhs)	Parma_Polyhedra_Library::Affine_Space
generators() const	Parma_Polyhedra_Library::Affine_Space
gr	Parma_Polyhedra_Library::Affine_Space	private
hash_code() const	Parma_Polyhedra_Library::Affine_Space	inline
intersection_assign(const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space
is_bounded() const	Parma_Polyhedra_Library::Affine_Space
is_discrete() const	Parma_Polyhedra_Library::Affine_Space
is_disjoint_from(const Affine_Space &y) const	Parma_Polyhedra_Library::Affine_Space
is_empty() const	Parma_Polyhedra_Library::Affine_Space
is_topologically_closed() const	Parma_Polyhedra_Library::Affine_Space
is_universe() const	Parma_Polyhedra_Library::Affine_Space
limited_extrapolation_assign(const Affine_Space &y, const Constraint_System &cs, unsigned *tp=NULL)	Parma_Polyhedra_Library::Affine_Space
m_swap(Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space	inline
map_space_dimensions(const Partial_Function &pfunc)	Parma_Polyhedra_Library::Affine_Space
max_space_dimension()	Parma_Polyhedra_Library::Affine_Space	inlinestatic
maximize(const Linear_Expression &expr, Coefficient &sup_n, Coefficient &sup_d, bool &maximum) const	Parma_Polyhedra_Library::Affine_Space	inline
maximize(const Linear_Expression &expr, Coefficient &sup_n, Coefficient &sup_d, bool &maximum, Generator &point) const	Parma_Polyhedra_Library::Affine_Space	inline
minimize(const Linear_Expression &expr, Coefficient &inf_n, Coefficient &inf_d, bool &minimum) const	Parma_Polyhedra_Library::Affine_Space	inline
minimize(const Linear_Expression &expr, Coefficient &inf_n, Coefficient &inf_d, bool &minimum, Generator &point) const	Parma_Polyhedra_Library::Affine_Space	inline
minimized_congruences() const	Parma_Polyhedra_Library::Affine_Space
minimized_constraints() const	Parma_Polyhedra_Library::Affine_Space	inline
minimized_generators() const	Parma_Polyhedra_Library::Affine_Space
OK(bool check_not_empty=false) const	Parma_Polyhedra_Library::Affine_Space
operator!=(const Affine_Space &x, const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space	related
operator!=(const Affine_Space &x, const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space	related
operator<<(std::ostream &s, const Affine_Space &gr)	Parma_Polyhedra_Library::Affine_Space	related
operator<<(std::ostream &s, const Affine_Space &gr)	Parma_Polyhedra_Library::Affine_Space	related
operator=(const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space
operator==(const Affine_Space &x, const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space	friend
operator==(const Affine_Space &x, const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space	related
operator==(const Affine_Space &x, const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space	related
print() const	Parma_Polyhedra_Library::Affine_Space
refine_with_congruence(const Congruence &cg)	Parma_Polyhedra_Library::Affine_Space	inline
refine_with_congruences(const Congruence_System &cgs)	Parma_Polyhedra_Library::Affine_Space	inline
refine_with_constraint(const Constraint &c)	Parma_Polyhedra_Library::Affine_Space
refine_with_constraints(const Constraint_System &cs)	Parma_Polyhedra_Library::Affine_Space
relation_with(const Congruence &cg) const	Parma_Polyhedra_Library::Affine_Space
relation_with(const Generator &g) const	Parma_Polyhedra_Library::Affine_Space
relation_with(const Constraint &c) const	Parma_Polyhedra_Library::Affine_Space
remove_higher_space_dimensions(dimension_type new_dimension)	Parma_Polyhedra_Library::Affine_Space
remove_space_dimensions(const Variables_Set &vars)	Parma_Polyhedra_Library::Affine_Space
simplify_using_context_assign(const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space
space_dimension() const	Parma_Polyhedra_Library::Affine_Space	inline
strictly_contains(const Affine_Space &y) const	Parma_Polyhedra_Library::Affine_Space	inline
swap(Affine_Space &x, Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space	related
swap(Affine_Space &x, Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space	related
throw_dimension_incompatible(const char *method, const char *other_name, dimension_type other_dim) const	Parma_Polyhedra_Library::Affine_Space	protected
throw_dimension_incompatible(const char *method, const char *as_name, const Affine_Space &as) const	Parma_Polyhedra_Library::Affine_Space	protected
throw_invalid_constraint(const char *method, const char *c_name) const	Parma_Polyhedra_Library::Affine_Space	protected
throw_invalid_constraints(const char *method, const char *cs_name) const	Parma_Polyhedra_Library::Affine_Space	protected
throw_invalid_generator(const char *method, const char *g_name) const	Parma_Polyhedra_Library::Affine_Space	protected
throw_invalid_generators(const char *method, const char *gs_name) const	Parma_Polyhedra_Library::Affine_Space	protected
throw_space_dimension_overflow(const char *method, const char *reason)	Parma_Polyhedra_Library::Affine_Space	protectedstatic
time_elapse_assign(const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space
topological_closure_assign()	Parma_Polyhedra_Library::Affine_Space	inline
total_memory_in_bytes() const	Parma_Polyhedra_Library::Affine_Space	inline
unconstrain(Variable var)	Parma_Polyhedra_Library::Affine_Space
unconstrain(const Variables_Set &vars)	Parma_Polyhedra_Library::Affine_Space
upper_bound_assign(const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space
upper_bound_assign_if_exact(const Affine_Space &y)	Parma_Polyhedra_Library::Affine_Space
widening_assign(const Affine_Space &y, unsigned *tp=NULL)	Parma_Polyhedra_Library::Affine_Space
~Affine_Space()	Parma_Polyhedra_Library::Affine_Space	inline