Go to the source code of this file.
Classes | |
class | opennwa::details::TransitionInfo |
This class is used to keep track of the maps from state to transition for an NWA. More... | |
Namespaces | |
namespace | opennwa |
This file defines forward declarations for various useful NWA-related types. | |
namespace | opennwa::details |