omg_buechifnct.cpp File Reference

#include "omg_buechifnct.h"

Go to the source code of this file.

Classes
class	faudes::OPState

Namespaces
	faudes

Functions
bool	faudes::BuechiTrim (vGenerator &rGen)
bool	faudes::BuechiTrim (const vGenerator &rGen, vGenerator &rRes)
bool	faudes::IsBuechiTrim (const vGenerator &rGen)
void	faudes::BuechiClosure (Generator &rGen)
bool	faudes::IsBuechiClosed (const Generator &rGen)
void	faudes::BuechiProduct (const Generator &rGen1, const Generator &rGen2, Generator &rResGen)
void	faudes::aBuechiProduct (const Generator &rGen1, const Generator &rGen2, Generator &rResGen)
void	faudes::BuechiParallel (const Generator &rGen1, const Generator &rGen2, Generator &rResGen)
void	faudes::aBuechiParallel (const Generator &rGen1, const Generator &rGen2, Generator &rResGen)
bool	faudes::IsBuechiRelativelyMarked (const Generator &rGenPlant, const Generator &rGenCand)
bool	faudes::IsBuechiRelativelyClosed (const Generator &rGenPlant, const Generator &rGenCand)
bool	faudes::IsBuechiRelativelyClosedUnchecked (const Generator &rGenPlant, const Generator &rGenCand)

Detailed Description

Operations regarding omega languages accepted by Buechi automata

Definition in file omg_buechifnct.cpp.