omg_rabinfnct.h File Reference

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

Go to the source code of this file.

Namespaces
	faudes

Functions
void	faudes::RabinLiveStates (const TransSet &rTransRel, const TransSetX2EvX1 &rRevTransRel, const RabinPair &rRPair, StateSet &rInv)
void	faudes::RabinLiveStates (const vGenerator &rRAut, const RabinPair &rRPair, StateSet &rInv)
void	faudes::RabinLiveStates (const RabinAutomaton &rRAut, StateSet &rInv)
void	faudes::RabinTrimSet (const RabinAutomaton &rRAut, StateSet &rTrim)
bool	faudes::RabinTrim (RabinAutomaton &rRAut)
bool	faudes::RabinTrim (const RabinAutomaton &rRAut, RabinAutomaton &rRes)
void	faudes::RabinBuechiAutomaton (const RabinAutomaton &rRAut, const Generator &rBAut, RabinAutomaton &rRes)
void	faudes::RabinBuechiProduct (const RabinAutomaton &rRAut, const Generator &rBAut, RabinAutomaton &rRes)

Detailed Description

Operations regarding omega languages accepted by Rabin automata

Definition in file omg_rabinfnct.h.