opennwa::details Namespace Reference

Classes
struct	Configuration
class	StateStorage
	This class is used to keep track of the states of an NWA. More...
class	SymbolStorage
class	Label
	This class is used to label the transitions of an NWA. More...
class	TransitionInfo
	This class is used to keep track of the maps from state to transition for an NWA. More...
class	TransitionStorage
	This class is used to keep track of the transitions of an NWA. More...
Functions
std::ostream &	operator<< (std::ostream &os, Configuration const &configuration)

---

Function Documentation

std::ostream& opennwa::details::operator<<	(	std::ostream &	os,
		Configuration const &	configuration
	)

References opennwa::details::Configuration::callPredecessors, wali::key2str(), and opennwa::details::Configuration::state.