hyb_reachability.cpp File Reference

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

Go to the source code of this file.

Namespaces
namespace	faudes

Functions
void	faudes::LhaReach (const LinearHybridAutomaton &lha, const HybridStateSet &states, std::map< Idx, HybridStateSet * > &ostates, int *pCnt)

Detailed Description

Reachable states of linear hybrid automata

Definition in file hyb_reachability.cpp.