hyb_abstraction.h File Reference

Abstractions by experiments for linear hybrid automata. More...

#include "corefaudes.h"
#include "hyb_experiment.h"

Go to the source code of this file.

Classes
class	faudes::LbdAbstraction

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Functions
void	faudes::TimeInvariantAbstraction (const Experiment &exp, Generator &res)
void	faudes::TimeVariantAbstraction (const Experiment &exp, Generator &res)

Detailed Description

Abstractions by experiments for linear hybrid automata.

Definition in file hyb_abstraction.h.