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