PPL: Parma_Polyhedra_Library::Poly_Con_Relation Class Reference

PPL 1.2

- Main Page
- Related Pages
- Modules
- Namespaces
- Classes

- Class List
- Class Hierarchy
- Class Members

Public Member Functions | Static Public Member Functions | Related Functions | List of all members
Parma_Polyhedra_Library::Poly_Con_Relation Class Reference
C++ Language Interface

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

`#include <ppl.hh>`

## 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. More...
bool | operator!= (const Poly_Con_Relation &x, const Poly_Con_Relation &y)
| True if and only if `x` and `y` are not logically equivalent. More...
Poly_Con_Relation | operator&& (const Poly_Con_Relation &x, const Poly_Con_Relation &y)
| Yields the logical conjunction of `x` and `y`. More...
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. More...
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:

- ppl.hh