omg_pseudodet.cpp File Reference

#include "libfaudes.h"
#include "omg_pseudodet.h"

Go to the source code of this file.

Namespaces
	faudes

Functions
std::string	faudes::ComputeTreeSignature (const LabeledTree &tree, const std::set< int > &deletedNodes)
void	faudes::PseudoDet (const RabinAutomaton &rGen, RabinAutomaton &rRes)
void	faudes::RemoveEps (const RabinAutomaton &rGen, RabinAutomaton &rRes)

Detailed Description

Implementation of pseudo-determinization algorithm for Rabin automata Strictly follows the paper algorithm with fixed node numbering

Definition in file omg_pseudodet.cpp.