Parma_Polyhedra_Library::BD_Shape_Helpers Class Reference

#include <BD_Shape_defs.hh>

Related Functions
(Note that these are not member functions.)
static bool	extract_bounded_difference (const Constraint &c, dimension_type &c_num_vars, dimension_type &c_first_var, dimension_type &c_second_var, Coefficient &c_coeff)
	Decodes the constraint c as a bounded difference. More...

Detailed Description

Definition at line 259 of file BD_Shape_defs.hh.

Friends And Related Function Documentation

static bool extract_bounded_difference ( const Constraint &  c, dimension_type &  c_num_vars, dimension_type &  c_first_var, dimension_type &  c_second_var, Coefficient &  c_coeff  )

related

Decodes the constraint c as a bounded difference.

Returns

true if the constraint c is a bounded difference; false otherwise.

Parameters

c	The constraint to be decoded.
c_num_vars	If true is returned, then it will be set to the number of variables having a non-zero coefficient. The only legal values will therefore be 0, 1 and 2.
c_first_var	If true is returned and if c_num_vars is not set to 0, then it will be set to the index of the first variable having a non-zero coefficient in c.
c_second_var	If true is returned and if c_num_vars is set to 2, then it will be set to the index of the second variable having a non-zero coefficient in c. If c_num_vars is set to 1, this must be 0.
c_coeff	If true is returned and if c_num_vars is not set to 0, then it will be set to the value of the first non-zero coefficient in c.

Referenced by Parma_Polyhedra_Library::BD_Shape< T >::add_constraint(), Parma_Polyhedra_Library::BD_Shape< T >::bounds(), Parma_Polyhedra_Library::BD_Shape< T >::get_limiting_shape(), Parma_Polyhedra_Library::BD_Shape< T >::max_min(), Parma_Polyhedra_Library::BD_Shape< T >::refine_no_check(), and Parma_Polyhedra_Library::BD_Shape< T >::relation_with().

---

The documentation for this class was generated from the following file:

• BD_Shape_defs.hh