#include <fst/complement.h>
Inherits fst::FstImpl< A >.

Public Types | |
| typedef A | Arc |
| typedef A::Label | Label |
| typedef A::Weight | Weight |
| typedef A::StateId | StateId |
Public Member Functions | |
| ComplementFstImpl (const Fst< A > &fst) | |
| ComplementFstImpl (const ComplementFstImpl< A > &impl) | |
| ~ComplementFstImpl () | |
| StateId | Start () const |
| Weight | Final (StateId s) const |
| Exchange final and non-final states; make rho destination state final. | |
| size_t | NumArcs (StateId s) const |
| size_t | NumInputEpsilons (StateId s) const |
| size_t | NumOutputEpsilons (StateId s) const |
Friends | |
| class | StateIterator< ComplementFst< A > > |
| class | ArcIterator< ComplementFst< A > > |
Implementation of delayed ComplementFst. The algorithm used completes the (deterministic) FSA and then exchanges final and non-final states. Completion, i.e. ensuring that all labels can be read from every state, is accomplished by using RHO labels, which match all labels that are otherwise not found leaving a state. The first state in the output is reserved to be a new state that is the destination of all RHO labels. Each remaining output state s corresponds to input state s - 1. The first arc in the output at these states is the rho label, the remaining arcs correspond to the input arcs.
Definition at line 46 of file complement.h.
| typedef A fst::ComplementFstImpl< A >::Arc |
Definition at line 57 of file complement.h.
| typedef A::Label fst::ComplementFstImpl< A >::Label |
Definition at line 58 of file complement.h.
| typedef A::StateId fst::ComplementFstImpl< A >::StateId |
Reimplemented from fst::FstImpl< A >.
Definition at line 60 of file complement.h.
| typedef A::Weight fst::ComplementFstImpl< A >::Weight |
Reimplemented from fst::FstImpl< A >.
Definition at line 59 of file complement.h.
| fst::ComplementFstImpl< A >::ComplementFstImpl | ( | const Fst< A > & | fst | ) | [inline, explicit] |
Definition at line 62 of file complement.h.
| fst::ComplementFstImpl< A >::ComplementFstImpl | ( | const ComplementFstImpl< A > & | impl | ) | [inline] |
Definition at line 70 of file complement.h.
| fst::ComplementFstImpl< A >::~ComplementFstImpl | ( | ) | [inline] |
Definition at line 78 of file complement.h.
| Weight fst::ComplementFstImpl< A >::Final | ( | StateId | s | ) | const [inline] |
Exchange final and non-final states; make rho destination state final.
Definition at line 89 of file complement.h.
| size_t fst::ComplementFstImpl< A >::NumArcs | ( | StateId | s | ) | const [inline] |
Definition at line 96 of file complement.h.
| size_t fst::ComplementFstImpl< A >::NumInputEpsilons | ( | StateId | s | ) | const [inline] |
Definition at line 103 of file complement.h.
| size_t fst::ComplementFstImpl< A >::NumOutputEpsilons | ( | StateId | s | ) | const [inline] |
Definition at line 107 of file complement.h.
| StateId fst::ComplementFstImpl< A >::Start | ( | ) | const [inline] |
Definition at line 80 of file complement.h.
friend class ArcIterator< ComplementFst< A > > [friend] |
Definition at line 55 of file complement.h.
friend class StateIterator< ComplementFst< A > > [friend] |
Definition at line 54 of file complement.h.
1.7.1