hyb_compute.h File Reference

#include <string>
#include "corefaudes.h"
#include "hyb_parameter.h"

Go to the source code of this file.

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Functions
void	faudes::PolyCopy (const Polyhedron &src, Polyhedron &dst)
	copy method 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...
void	faudes::PolyDWrite (const Polyhedron &fpoly)
	poly dump 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::PolyTimeElapse (const Polyhedron &rate, Polyhedron &poly)
	time elapse More...
void	faudes::PolyLinearRelation (const LinearRelation &reset, Polyhedron &poly)
	apply reset relation A'x' + Ax <= B More...