PPL Java Language Interface  1.2
parma_polyhedra_library.Variable_Stringifier Interface Reference

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

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: