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

Description

Stringification.

Namespaces
	PartitionerModel
	Stringification.

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

Function Documentation

const char* stringify::Rose::BinaryAnalysis::ModelChecker::TestMode

(

int64_t

)

Convert Rose::BinaryAnalysis::ModelChecker::TestMode enum constant to a string.

std::string stringify::Rose::BinaryAnalysis::ModelChecker::TestMode	(	int64_t	,
		const std::string &	strip
	)

Convert Rose::BinaryAnalysis::ModelChecker::TestMode enum constant to a string.

const std::vector<int64_t>& stringify::Rose::BinaryAnalysis::ModelChecker::TestMode

(

)

Return all Rose::BinaryAnalysis::ModelChecker::TestMode member values as a vector.

const char* stringify::Rose::BinaryAnalysis::ModelChecker::IoMode

(

int64_t

)

Convert Rose::BinaryAnalysis::ModelChecker::IoMode enum constant to a string.

std::string stringify::Rose::BinaryAnalysis::ModelChecker::IoMode	(	int64_t	,
		const std::string &	strip
	)

Convert Rose::BinaryAnalysis::ModelChecker::IoMode enum constant to a string.

const std::vector<int64_t>& stringify::Rose::BinaryAnalysis::ModelChecker::IoMode

(

)

Return all Rose::BinaryAnalysis::ModelChecker::IoMode member values as a vector.

const char* stringify::Rose::BinaryAnalysis::ModelChecker::WorkerState

(

int64_t

)

Convert Rose::BinaryAnalysis::ModelChecker::WorkerState enum constant to a string.

std::string stringify::Rose::BinaryAnalysis::ModelChecker::WorkerState	(	int64_t	,
		const std::string &	strip
	)

Convert Rose::BinaryAnalysis::ModelChecker::WorkerState enum constant to a string.

const std::vector<int64_t>& stringify::Rose::BinaryAnalysis::ModelChecker::WorkerState

(

)

Return all Rose::BinaryAnalysis::ModelChecker::WorkerState member values as a vector.