omg_buechictrl.h File Reference

#include "corefaudes.h"
#include "syn_include.h"
#include <stack>

Go to the source code of this file.

Namespaces
namespace	faudes

Functions
bool	faudes::IsBuechiControllable (const Generator &rGenPlant, const EventSet &rCAlph, const Generator &rGenCand)
bool	faudes::IsBuechiControllable (const System &rPlantGen, const Generator &rCandGen)
void	faudes::SupBuechiCon (const Generator &rPlantGen, const EventSet &rCAlph, const Generator &rSpecGen, Generator &rResGen)
void	faudes::SupBuechiCon (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen)
void	faudes::BuechiCon (const Generator &rPlantGen, const EventSet &rCAlph, const Generator &rSpecGen, Generator &rResGen)
void	faudes::BuechiCon (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen)
void	faudes::SupBuechiConNorm (const Generator &rPlantGen, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rSpecGen, Generator &rResGen)
void	faudes::SupBuechiConNorm (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen)
void	faudes::BuechiConNorm (const Generator &rPlantGen, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rSpecGen, Generator &rResGen)
void	faudes::BuechiConNorm (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen)

Detailed Description

Supremal controllable sublanguage w.r.t. Buechi acceptance

Definition in file omg_buechictrl.h.