hyb_attributes.h File Reference

#include "corefaudes.h"
#include "hyb_parameter.h"

Go to the source code of this file.

Classes
class	faudes::AttributeLhaTrans
	Linear hybrid automata transition attribute with guard and resets. More...
class	faudes::AttributeLhaState
	Linear hybrid automata state attribute with invariant, rates and optional initial state constraint. More...
class	faudes::AttributeLhaGlobal
	Linear hybrid automata globat attribute to specify the overall state space. More...

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.