hyb_reachability.cpp File Reference

Reachable states of linear hybrid automata. More...

#include "hyb_reachability.h"
#include "hyb_compute.h"

Go to the source code of this file.

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...

Detailed Description

Reachable states of linear hybrid automata.

Definition in file hyb_reachability.cpp.