test-properties.h File Reference

#include <cstdint>
#include <optional>
#include <vector>
#include <fst/flags.h>
#include <fst/log.h>
#include <fst/cc-visitors.h>
#include <fst/dfs-visit.h>
#include <fst/fst.h>
#include <fst/properties.h>
#include <fst/util.h>
#include <unordered_set>

Include dependency graph for test-properties.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	fst
	fst::internal

Functions
	DECLARE_bool (fst_verify_properties)
template<class Arc >
uint64_t	fst::internal::ComputeProperties (const Fst< Arc > &fst, uint64_t mask, uint64_t *known)
template<class Arc >
uint64_t	fst::internal::ComputeOrUseStoredProperties (const Fst< Arc > &fst, uint64_t mask, uint64_t *known)
template<class Arc >
uint64_t	fst::internal::TestProperties (const Fst< Arc > &fst, uint64_t mask, uint64_t *known)
template<class Arc >
uint64_t	fst::internal::CheckProperties (const Fst< Arc > &fst, uint64_t check_mask, uint64_t test_mask)

Function Documentation

DECLARE_bool

(

fst_verify_properties

)