#include <property_checker.h>
|
enum | resultt { resultt::PASS,
resultt::FAIL,
resultt::ERROR,
resultt::UNKNOWN
} |
|
typedef std::map< irep_idt, property_statust > | property_mapt |
|
enum | message_levelt {
M_ERROR =1,
M_WARNING =2,
M_RESULT =4,
M_STATUS =6,
M_STATISTICS =8,
M_PROGRESS =9,
M_DEBUG =10
} |
|
Definition at line 22 of file property_checker.h.
◆ property_mapt
◆ resultt
◆ property_checkert() [1/2]
property_checkert::property_checkert |
( |
| ) |
|
|
inline |
◆ property_checkert() [2/2]
◆ as_string()
std::string property_checkert::as_string |
( |
resultt |
result | ) |
|
|
static |
◆ initialize_property_map()
void property_checkert::initialize_property_map |
( |
const goto_functionst & |
goto_functions | ) |
|
|
protected |
◆ operator()()
◆ property_map
The documentation for this class was generated from the following files: