TransitionStorage.hpp File Reference

Go to the source code of this file.

Classes
class	opennwa::details::TransitionStorage
	This class is used to keep track of the transitions of an NWA. More...
Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::details
Defines
#define	DEFINE_FAKE_STATIC_DATA(name, value)

---

Define Documentation

#define DEFINE_FAKE_STATIC_DATA	(		name,
			value
	)

Value:

static std::string const & name() {  \
          static std::string ret = value;    \
          return ret;                        \
        }