PPL Java Language Interface  1.1
parma_polyhedra_library.Bounded_Integer_Type_Overflow Enum Reference

Overflow behavior of bounded integer types. More...

Public Attributes

 OVERFLOW_WRAPS
 On overflow, wrapping takes place.
 
 OVERFLOW_UNDEFINED
 On overflow, the result is undefined.
 

Detailed Description

Overflow behavior of bounded integer types.


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