PPL Java Language Interface 0.12
parma_polyhedra_library::Poly_Gen_Relation Class Reference

The relation between a polyhedron and a generator. More...

List of all members.

Public Member Functions

 Poly_Gen_Relation (int val)
 Constructs from a integer value.
boolean implies (Poly_Gen_Relation y)
 True if and only if *this implies y.

Static Public Member Functions

static Poly_Gen_Relation nothing ()
 The assertion that says nothing.
static Poly_Gen_Relation subsumes ()
 Adding the generator would not change the polyhedron.

Detailed Description

The relation between a polyhedron and a generator.

This class implements conjunctions of assertions on the relation between a polyhedron and a generator.


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