omg_rabinctrl.h File Reference

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

Go to the source code of this file.

Namespaces
	faudes

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

Detailed Description

Controller synthesis for Rabin automata

Definition in file omg_rabinctrl.h.