Public Member Functions | |
mimic_not_supported_function (size_t model_idx_) | |
template<class ArgumentPackage > | |
bool | precall (ArgumentPackage const &args) const |
Protected Attributes | |
const size_t | model_idx |
Static Protected Attributes | |
static const std::string | m_error_message |
Definition at line 22 of file model-checker.hpp.
|
inline |
Definition at line 24 of file model-checker.hpp.
|
inline |
Definition at line 31 of file model-checker.hpp.
Definition at line 47 of file model-checker.hpp.
Definition at line 49 of file model-checker.hpp.