PPL  1.0
Parma_Polyhedra_Library::Poly_Con_Relation Class Reference

The relation between a polyhedron and a constraint. 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_Con_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_Con_Relation nothing ()
 The assertion that says nothing.
static Poly_Con_Relation is_disjoint ()
 The polyhedron and the set of points satisfying the constraint are disjoint.
static Poly_Con_Relation strictly_intersects ()
 The polyhedron intersects the set of points satisfying the constraint, but it is not included in it.
static Poly_Con_Relation is_included ()
 The polyhedron is included in the set of points satisfying the constraint.
static Poly_Con_Relation saturates ()
 The polyhedron is included in the set of points saturating the constraint.

Related Functions

(Note that these are not member functions.)

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

Detailed Description

The relation between a polyhedron and a constraint.

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


Friends And Related Function Documentation

bool operator== ( const Poly_Con_Relation x,
const Poly_Con_Relation y 
)
related

True if and only if x and y are logically equivalent.

bool operator!= ( const Poly_Con_Relation x,
const Poly_Con_Relation y 
)
related

True if and only if x and y are not logically equivalent.

Poly_Con_Relation operator&& ( const Poly_Con_Relation x,
const Poly_Con_Relation y 
)
related

Yields the logical conjunction of x and y.

std::ostream & operator<< ( std::ostream &  s,
const Poly_Con_Relation r 
)
related

Output operator.

bool operator== ( const Poly_Con_Relation x,
const Poly_Con_Relation y 
)
related
bool operator!= ( const Poly_Con_Relation x,
const Poly_Con_Relation y 
)
related
Poly_Con_Relation operator&& ( const Poly_Con_Relation x,
const Poly_Con_Relation y 
)
related
Poly_Con_Relation operator- ( const Poly_Con_Relation x,
const Poly_Con_Relation y 
)
related

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