omg_rabinctrlrk.h File Reference

#include "corefaudes.h"
#include "omg_rabinaut.h"

Go to the source code of this file.

Classes
class	faudes::StateRanking

Namespaces
	faudes

Typedefs
typedef TaIndexSet< EventSet >	faudes::StateFeedbackMap
typedef TaIndexSet< StateRanking >	faudes::StateRankingMap

Functions
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.h.