omg_buechictrl.cpp File Reference

#include "omg_include.h"
#include "syn_include.h"

Go to the source code of this file.

Classes
class	faudes::MCtrlPattern
class	faudes::OPSState

Namespaces
	faudes

Functions
bool	faudes::IsBuechiControllable (const Generator &rGenPlant, const EventSet &rCAlph, const Generator &rGenCand)
bool	faudes::IsBuechiControllable (const System &rPlantGen, const Generator &rCandGen)
bool	faudes::ControlledBuechiLiveness (Generator &rSupCandGen, const EventSet &rCAlph, const StateSet &rPlantMarking)
bool	faudes::ControlledBuechiLiveness (Generator &rSupCandGen, const EventSet &rCAlph, const StateSet &rPlantMarking, std::map< Idx, EventSet > &rFeedbackMap)
bool	faudes::ControlledBuechiLiveness (Generator &rSupCandGen, const EventSet &rCAlph, const StateSet &rPlantMarking, std::map< Idx, Idx > &rControllerStatesMap, std::map< Idx, EventSet > &rFeedbackMap)
void	faudes::SupBuechiConProduct (const Generator &rPlantGen, const EventSet &rCAlph, const Generator &rSpecGen, std::map< OPSState, Idx > &rProductCompositionMap, Generator &rResGen)
void	faudes::SupBuechiConUnchecked (const Generator &rPlantGen, const EventSet &rCAlph, const Generator &rSpecGen, StateSet &rPlantMarking, Generator &rResGen)
void	faudes::SupBuechiConNormUnchecked (const Generator &rPlantGen, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rSpecGen, StateSet &rPlantMarking, std::map< Idx, Idx > &rObserverStateMap, std::map< Idx, EventSet > &rFeedbackMap, Generator &rResGen)
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.cpp.