Classes | Public Types | Public Member Functions

fst::CyclicMinimizer< A, Queue > Class Template Reference

#include <fst/minimize.h>

Collaboration diagram for fst::CyclicMinimizer< A, Queue >:
Collaboration graph
[legend]

List of all members.

Classes

class  ArcIterCompare

Public Types

typedef A::Label Label
typedef A::StateId StateId
typedef A::StateId ClassId
typedef A::Weight Weight
typedef ReverseArc< A > RevA

Public Member Functions

 CyclicMinimizer (const ExpandedFst< A > &fst)
 ~CyclicMinimizer ()
const Partition< StateId > & partition () const

Detailed Description

template<class A, class Queue>
class fst::CyclicMinimizer< A, Queue >

Computes equivalence classes for cyclic Fsts. For cyclic minimization we use the classic HopCroft minimization algorithm, which is of

O(E)log(N),

where E is the number of edges in the machine and N is number of states.

The following paper describes the original algorithm An N Log N algorithm for minimizing states in a finite automaton by John HopCroft, January 1971

Definition at line 128 of file minimize.h.


Member Typedef Documentation

template<class A, class Queue>
typedef A::StateId fst::CyclicMinimizer< A, Queue >::ClassId

Definition at line 132 of file minimize.h.

template<class A, class Queue>
typedef A::Label fst::CyclicMinimizer< A, Queue >::Label

Definition at line 130 of file minimize.h.

template<class A, class Queue>
typedef ReverseArc<A> fst::CyclicMinimizer< A, Queue >::RevA

Definition at line 134 of file minimize.h.

template<class A, class Queue>
typedef A::StateId fst::CyclicMinimizer< A, Queue >::StateId

Definition at line 131 of file minimize.h.

template<class A, class Queue>
typedef A::Weight fst::CyclicMinimizer< A, Queue >::Weight

Definition at line 133 of file minimize.h.


Constructor & Destructor Documentation

template<class A, class Queue>
fst::CyclicMinimizer< A, Queue >::CyclicMinimizer ( const ExpandedFst< A > &  fst  )  [inline]

Definition at line 136 of file minimize.h.

template<class A, class Queue>
fst::CyclicMinimizer< A, Queue >::~CyclicMinimizer (  )  [inline]

Definition at line 141 of file minimize.h.


Member Function Documentation

template<class A, class Queue>
const Partition<StateId>& fst::CyclicMinimizer< A, Queue >::partition (  )  const [inline]

Definition at line 145 of file minimize.h.


The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines