omg_rabinfnct.cpp File Reference

#include "omg_rabinfnct.h"

Go to the source code of this file.

Classes
class	faudes::RPState

Namespaces
namespace	faudes

Functions
void	faudes::RabinLifeStates (const TransSet &rTransRel, const TransSetX2EvX1 &rRevTransRel, const RabinPair &rRPair, StateSet &rLife)
void	faudes::RabinLifeStates (const vGenerator &rRAut, const RabinPair &rRPair, StateSet &rLife)
void	faudes::RabinLifeStates (const RabinAutomaton &rRAut, StateSet &rLife)
bool	faudes::IsRabinLife (const RabinAutomaton &rRAut)
void	faudes::RabinTrimSet (const RabinAutomaton &rRAut, StateSet &rTrim)
bool	faudes::RabinTrim (RabinAutomaton &rRAut)
bool	faudes::RabinTrim (const RabinAutomaton &rRAut, RabinAutomaton &rRes)
bool	faudes::IsRabinTrim (const RabinAutomaton &rRAut)
void	faudes::RabinSimplify (RabinAutomaton &rRAut)
void	faudes::RabinSimplify (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.cpp.