PPL Configured Java Language Interface  1.2
parma_polyhedra_library.Artificial_Parameter_Sequence Class Reference

A sequence of artificial parameters. More...

Inheritance diagram for parma_polyhedra_library.Artificial_Parameter_Sequence:
Collaboration diagram for parma_polyhedra_library.Artificial_Parameter_Sequence:

Public Member Functions

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

Static Private Member Functions

static native void initIDs ()
 

Detailed Description

A sequence of artificial parameters.

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

Definition at line 31 of file Artificial_Parameter_Sequence.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Artificial_Parameter_Sequence.Artificial_Parameter_Sequence ( )
inline

Default constructor: builds an empty sequence of artificial parameters.

Definition at line 35 of file Artificial_Parameter_Sequence.java.

Member Function Documentation

static native void parma_polyhedra_library.Artificial_Parameter_Sequence.initIDs ( )
staticprivate

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