[PPL-devel] assign names to variables.

[Zell]

Dear all,

Is there a quick way to pretty-print a Box or Polyhedha  object using my
variables names rather than the build-in "A", "B", "C"...?  For example,
below are an interval analysis result for a single instruction "x=10". PPL
uses its built-in names A,B,...for each dimension.

*******************************
 {true}        x = 10      {A in 10}
*******************************

I do not see how to assign a user-defined names for PPL's variable objects.

 Any ideas? Thanks.
Zell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120806/2152fbae/attachment.htm>