hyb_abstraction.h File Reference

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

Go to the source code of this file.

Classes
class	faudes::LbdAbstraction

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