[PPL-devel] PPL Constraints usage

[Stefan Schupp]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Hi,

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)


Best regards,
Stefan

- -- 
Stefan Schupp M.Sc.
RWTH Aachen University
Computer Science Department, Informatik 2
D-52056 Aachen, Germany
http://www-i2.informatik.rwth-aachen.de/i2/schupp/
Tel.: +49 241 80 21243
-----BEGIN PGP SIGNATURE-----
Version: GnuPG/MacGPG2 v2.0.22 (Darwin)
Comment: GPGTools - https://gpgtools.org
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iQEcBAEBCgAGBQJTmGfQAAoJEFPSi5GyofDj2pMH/ikbRTgyELaev9vXansEqziP
kKToH735PWdoynYKEEo+ANHPPUTjpe3J1fVGFQJAuO8PSElOUwN02xxkD0Yl9yV0
cM/8WVdVKZhADg0KsPjXgD5khlZMfR6DQS2L4ultddI82U6x2VaGkZSX8TZJDKHQ
AJbyqd/1wcijEWHxILc2l2ip3YGAJAKfb64xlDD6RjDedorKuQtLiN7YFo82jteR
YBmCSVgbXyI9cY2EcLfwcvltj3psxYRylqy/QpaEzPtyLGmEohCB+5n+8hPIYjms
eEEGqWdJlVfvnnfeHnnCaCzIKYGArcGidc1n63hSWvb+p/+61bzG8Hq+JONyaa0=
=g21U
-----END PGP SIGNATURE-----