[PPL-devel] assign names to variables.

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.