language.hpp File Reference

Go to the source code of this file.

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
ref_ptr< NestedWord >	opennwa::query::getSomeAcceptedWord (Nwa const &nwa)
	Returns some word accepted by 'nwa', or NULL if there isn't one.
ref_ptr< NestedWord >	opennwa::query::getSomeShortestAcceptedWord (Nwa const &nwa)
bool	opennwa::query::languageEquals (Nwa const &first, Nwa const &second)
	tests whether the languages of the given NWAs are equal