parma_polyhedra_library.Variable_Stringifier Interface Reference

An interface for objects converting a Variable id to a string. More...

Public Member Functions
String	stringify (long var_id)

Detailed Description

An interface for objects converting a Variable id to a string.

If customized variable output is required, the user should implement this interface and pass a corresponding instance to Variable's static method setStringifier.

Definition at line 31 of file Variable_Stringifier.java.

Member Function Documentation

String parma_polyhedra_library.Variable_Stringifier.stringify

(

long

var_id

)

---

The documentation for this interface was generated from the following file:

• Variable_Stringifier.java