stringify::Rose::BinaryAnalysis::ModelChecker Namespace Reference

Description

Stringification.

Namespaces
namespace	PartitionerModel
	Stringification.

Functions
const char *	TestMode (int64_t)
	Convert Rose::BinaryAnalysis::ModelChecker::TestMode enum constant to a string.
std::string	TestMode (int64_t, const std::string &strip)
	Convert Rose::BinaryAnalysis::ModelChecker::TestMode enum constant to a string.
const std::vector< int64_t > &	TestMode ()
	Return all Rose::BinaryAnalysis::ModelChecker::TestMode member values as a vector.
const char *	IoMode (int64_t)
	Convert Rose::BinaryAnalysis::ModelChecker::IoMode enum constant to a string.
std::string	IoMode (int64_t, const std::string &strip)
	Convert Rose::BinaryAnalysis::ModelChecker::IoMode enum constant to a string.
const std::vector< int64_t > &	IoMode ()
	Return all Rose::BinaryAnalysis::ModelChecker::IoMode member values as a vector.
const char *	Prune (int64_t)
	Convert Rose::BinaryAnalysis::ModelChecker::Prune enum constant to a string.
std::string	Prune (int64_t, const std::string &strip)
	Convert Rose::BinaryAnalysis::ModelChecker::Prune enum constant to a string.
const std::vector< int64_t > &	Prune ()
	Return all Rose::BinaryAnalysis::ModelChecker::Prune member values as a vector.
const char *	WorkerState (int64_t)
	Convert Rose::BinaryAnalysis::ModelChecker::WorkerState enum constant to a string.
std::string	WorkerState (int64_t, const std::string &strip)
	Convert Rose::BinaryAnalysis::ModelChecker::WorkerState enum constant to a string.
const std::vector< int64_t > &	WorkerState ()
	Return all Rose::BinaryAnalysis::ModelChecker::WorkerState member values as a vector.