PPL Configured Java Language Interface  1.2
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.


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