hyb_compute.cpp File Reference

Polyhedron caluculs via PPL. More...

#include "hyb_compute.h"
#include <ppl.hh>

Go to the source code of this file.

Classes
class	faudes::pdata_t
	user data type for polyhedra More...
class	faudes::rdata_t
	user data type for reset relation (fake faudes type) More...

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Functions
Parma_Polyhedra_Library::C_Polyhedron &	faudes::UserData (const Polyhedron &fpoly)
	convert a faudes style polyhedron "A x <= B" to a PPL polyhedron, and keep the conversion result in the UserData entry More...
void	faudes::PolyFinalise (const Polyhedron &fpoly)
	convert PPL polyhedron back to faudes data structures; this is required if we manipulate a polyhedron and like to access it from libFAUDES More...
Parma_Polyhedra_Library::C_Polyhedron &	faudes::UserData (const LinearRelation &frelation)
	convert a faudes style linear relation "A' x' + A x <= B" to a PPL polyhedron, and keep the conversion result in the UserData entry More...
void	faudes::PolyDWrite (const Polyhedron &fpoly)
	poly dump More...
void	faudes::PolyCopy (const Polyhedron &src, Polyhedron &dst)
	copy method More...
void	faudes::PolyIntersection (const Polyhedron &poly, Polyhedron &res)
	intersection More...
bool	faudes::PolyIsEmpty (const Polyhedron &poly)
	test emptyness More...
bool	faudes::PolyInclusion (const Polyhedron &poly, const Polyhedron &other)
	inclusion More...
void	faudes::PolyScratch (void)
	scratch More...
void	faudes::PolyLinearRelation (const LinearRelation &reset, Polyhedron &poly)
	apply reset relation A'x' + Ax <= B More...
void	faudes::PolyTimeElapse (const Polyhedron &rate, Polyhedron &poly)
	time elapse More...

Detailed Description

Polyhedron caluculs via PPL.

Definition in file hyb_compute.cpp.