openfst-1.2.6/src/bin/fstequivalent.cc File Reference

fstequivalent.cc More...

#include <fst/script/equivalent.h>
#include <fst/script/randequivalent.h>

Include dependency graph for fstequivalent.cc:

Go to the source code of this file.

Functions
	DEFINE_double (delta, fst::kDelta,"Comparison/quantization delta")
	DEFINE_bool (random, false,"Test equivalence by randomly selecting paths in the input FSTs")
	DEFINE_int32 (max_length, INT_MAX,"Maximum path length")
	DEFINE_int32 (npath, 1,"Number of paths to generate")
	DEFINE_int32 (seed, time(0),"Random seed")
	DEFINE_string (select,"uniform","Selection type: one of: "" \"uniform\", \"log_prob (when appropriate)\"")
int	main (int argc, char **argv)

---

Detailed Description

fstequivalent.cc

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

Copyright 2005-2010 Google, Inc. Author: riley@google.com (Michael Riley) Modified: jpr@google.com (Jake Ratkiewicz) to use FstClass

Two DFAs are equivalent iff their exit status is zero.

Definition in file fstequivalent.cc.

---

Function Documentation

DEFINE_bool	(	random	,
		false	,
		"Test equivalence by randomly selecting paths in the input FSTs"
	)

DEFINE_double	(	delta	,
		fst::kDelta	,
		"Comparison/quantization delta"
	)

DEFINE_int32	(	npath	,
		1	,
		"Number of paths to generate"
	)

DEFINE_int32	(	seed	,
		time(0)	,
		"Random seed"
	)

DEFINE_int32	(	max_length	,
		INT_MAX	,
		"Maximum path length"
	)

DEFINE_string	(	select	,
		"uniform"	,
		"Selection type: one of: "" \"uniform\"	,
		\"log_prob (when appropriate)\""
	)

int main	(	int	argc,
		char **	argv
	)

Definition at line 35 of file fstequivalent.cc.