parma_polyhedra_library.Artificial_Parameter_Sequence Class Reference

A sequence of artificial parameters. More...

List of all members.

Public Member Functions
	Artificial_Parameter_Sequence ()
	Default constructor: builds an empty sequence of artificial parameters.
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 34 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 38 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:

• Artificial_Parameter_Sequence.java