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) |