omg_pseudodet.h File Reference

#include "libfaudes.h"
#include "omg_rabinacc.h"
#include <cmath>
#include <vector>
#include <sstream>
#include <map>
#include <queue>
#include <functional>
#include <stack>
#include <set>

Go to the source code of this file.

Classes
class	faudes::EnhancedState
class	faudes::TreeNode
class	faudes::LabeledTree

Namespaces
	faudes

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

Detailed Description

Pseudo-determinization algorithm for Rabin automata

Definition in file omg_pseudodet.h.