hyb_reachability.h File Reference

#include "corefaudes.h"
#include "hyb_hgenerator.h"

Go to the source code of this file.

Classes
class	faudes::HybridStateSet
	Set of states in an hybrid automata. More...

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Functions
void	faudes::LhaReach (const LinearHybridAutomaton &lha, const HybridStateSet &states, std::map< Idx, HybridStateSet * > &ostates, int *pCnt=NULL)
	compute sets of reachable state per successor event More...