Dear all, <br><br>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. <br>
<br>*******************************<br> {true} x = 10 {A in 10} <br>*******************************<br><br> I do not see how to assign a user-defined names for PPL's variable objects. <br><br> Any ideas? Thanks. <br>
Zell.<br>