hyb_parameter.h File Reference

Parameter types for linear hybrid automata. More...

#include "corefaudes.h"
#include <cstdlib>
#include <cstring>
#include <cfloat>
#include <climits>

Go to the source code of this file.

Classes
class	faudes::Scalar
	Base type for dense maths. More...
class	faudes::Matrix
	Matrix of scalars. More...
class	faudes::Vector
	Vector of scalars. More...
class	faudes::Polyhedron
	Polyhedron in R^n. More...
class	faudes::LinearRelation
	Linear relation on R^n. More...

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Detailed Description

Parameter types for linear hybrid automata.

Definition in file hyb_parameter.h.