PPL Configured Java Language Interface  1.2
parma_polyhedra_library.Artificial_Parameter_Sequence Class Reference

A sequence of artificial parameters. More...

Inherits ArrayList< Artificial_Parameter >.

Public Member Functions

 Artificial_Parameter_Sequence ()
 Default constructor: builds an empty sequence of artificial parameters.
 

Detailed Description

A sequence of artificial parameters.

An object of the class Artificial_Parameter_Sequence is a sequence of artificial parameters.


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