Classes | Namespaces

TransitionInfo.hpp File Reference

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