language.cpp File Reference

Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::query
Functions
bool	opennwa::query::languageContains (Nwa const &nwa, NestedWord const &word)
	Determines whether word is in the language of the given NWA.
bool	opennwa::query::languageSubsetEq (Nwa const &left, Nwa const &right)
	tests whether the language of the first NWA is included in the language of the second NWA
bool	opennwa::query::languageIsEmpty (Nwa const &nwa)
	tests whether the language accepted by this NWA is empty
bool	opennwa::query::languageEquals (Nwa const &first, Nwa const &second)
	tests whether the languages of the given NWAs are equal