Namespaces | Functions

getSomeAcceptedWord.cpp File Reference

Namespaces

namespace  opennwa
 

This file defines forward declarations for various useful NWA-related types.


namespace  opennwa::query
namespace  opennwa::query::details

Functions

ref_ptr< NestedWord > opennwa::query::getSomeAcceptedWordInternal (Nwa const &nwa, WeightGen const &wg)
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)