omg_rabinctrl.cpp File Reference

#include "omg_rabinctrl.h"
#include "syn_include.h"

Go to the source code of this file.

Classes
class	faudes::RabinInvDynOperator
class	faudes::RabinInvDynTheta
class	faudes::RabinInvDynThetaTildeCore
class	faudes::RabinInvDynThetaTilde
class	faudes::RabinInvDynPReachCore
class	faudes::RabinInvDynPReach
class	faudes::RabinInvDynCtrlCore
class	faudes::RabinInvDynCtrl

Namespaces
	faudes

Functions
void	faudes::RabinCtrlPfx (const RabinAutomaton &rRAut, const EventSet &rSigmaCtrl, StateSet &rCtrlPfx)

Detailed Description

Operations regarding omega languages accepted by Rabin automata

Definition in file omg_rabinctrl.cpp.