Parma_Polyhedra_Library::Poly_Gen_Relation Class Reference
[C++ Language Interface]

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

#include <ppl.hh>

List of all members.

Public Member Functions

void ascii_dump () const
 Writes to std::cerr an ASCII representation of *this.
void ascii_dump (std::ostream &s) const
 Writes to s an ASCII representation of *this.
void print () const
 Prints *this to std::cerr using operator<<.
bool implies (const Poly_Gen_Relation &y) const
 True if and only if *this implies y.
bool OK () const
 Checks if all the invariants are satisfied.

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:

Generated on Sat Oct 24 11:22:02 2009 for PPL by  doxygen 1.6.1-20091004