omg_rabinctrlrk.cpp File Reference

#include "omg_rabinctrlrk.h"
#include "syn_include.h"

Go to the source code of this file.

Classes
class	faudes::RabinInvDynOperator_RK
class	faudes::RabinInvDynOperatorWithRanking
class	faudes::RabinInvDynTheta_RK
class	faudes::RabinInvDynThetaTildeCore_RK
class	faudes::RabinInvDynThetaTilde_RK
class	faudes::RabinInvDynPReachCore_RK
class	faudes::RabinInvDynPReach_RK
class	faudes::RabinInvDynCtrlCore_RK
class	faudes::RabinInvDynCtrl_RK
class	faudes::RabinInvDynCtrlWithRanking
class	faudes::StateFeedbackConstructor

Namespaces
namespace	faudes

Functions
void	faudes::RabinCtrlPfx_RK (const RabinAutomaton &rRAut, const EventSet &rSigmaCtrl, StateSet &rCtrlPfx)
void	faudes::RabinCtrlPfxWithFeedback (const RabinAutomaton &rRAut, const EventSet &rSigmaCtrl, TaIndexSet< EventSet > &rController)

Detailed Description

Synthesis omega languages accepted by Rabin automata

Definition in file omg_rabinctrlrk.cpp.