Main Page | Modules | Namespace List | Class Hierarchy | Class List | Namespace Members | Class Members | Related Pages

Parma_Polyhedra_Library::Poly_Gen_Relation Class Reference

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

List of all members.

Public Member Functions

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

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

Related Functions

(Note that these are not member functions.)

bool operator== (const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)
 True if and only if x and y are logically equivalent.
bool operator!= (const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)
 True if and only if x and y are not logically equivalent.
Poly_Gen_Relation operator && (const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)
 Yields the logical conjunction of x and y.
Poly_Gen_Relation operator- (const Poly_Gen_Relation &x, const Poly_Gen_Relation &y)
 Yields the assertion with all the conjuncts of x that are not in y.
std::ostream & operator<< (std::ostream &s, const Poly_Gen_Relation &r)
 Output operator.


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.


Generated on Fri Aug 20 20:04:45 2004 for PPL by doxygen 1.3.8-20040812