[PPL-devel] PPL Constraints usage

[Roberto Bagnara]

On 11/06/2014 16:29, Stefan Schupp wrote:
> I am currently trying to create a Polytope from a matrix and a vector. Therefore I create linear expressions from the coefficients of the matrix in combination with the associated PPL-Variables. Afterwards I can add an inhomogenous term from the given vector.
> 
> As far as I read the documentation I can construct a Polytope naturally by adding constraints. These constraints are supposed to be constructed from a relation of either a linear expression and a constant (my inhomogenuous term, if you want to put it that way) or a relation from two linear expressions. I tried both ways, but the constraint created seems to be empty. How am I supposed to create and use the needed Constraints?
> 
> Short example:
> 
> Linear expression: A + 3*B - 5 (when printed) resulting constraint: 0 >= -5 (created by:
> 
> Parma_Polyhedra_Library::Constraint constraint = expr <= 0
> 
> , where expr is the linear expression)

Hello Stefan,

please send a piece of code that we can examine, compile and execute.
Kind regards,

   Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com