Difference: VerifyDoc (1 vs. 2)

Revision 22018-04-27 - MichaelRiley

Line: 1 to 1
 
META TOPICPARENT name="FstQuickTour"

Verify

Line: 9 to 9
 |
template<class Arc>
bool Verify(const Fst<Arc> &fst);
Changed:
<
<
| %DOX{namespacefst.html#Verify[doc]}% |
>
>
|
 

Complexity

Revision 12009-03-03 - MichaelRiley

Line: 1 to 1
Added:
>
>
META TOPICPARENT name="FstQuickTour"

Verify

Description

This operation checks the sanity of a FST's contents. It returns false if the transducer is incomplete or ill-formed (e.g., a non-trivial FST that has no initial state or transitions to non-existent destination states).

Usage

template<class Arc>
bool Verify(const Fst<Arc> &fst);
%DOX{namespacefst.html#Verify[doc]}%

Complexity

Verify:

  • Time: O(V + E)
  • Space: O(1)
where V = # of states and E = # of arcs.

-- MichaelRiley - 03 Mar 2009

 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback