#include <model-checker.hpp>

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.
|
staticprotected |
Definition at line 47 of file model-checker.hpp.
|
protected |
Definition at line 49 of file model-checker.hpp.