ROSE  0.11.83.1
Namespaces | Functions
stringify::Rose::BinaryAnalysis::ModelChecker Namespace Reference

Description

Stringification.

Namespaces

 P2Model
 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.