|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <module.h>
Public Member Functions | |
| bool | operator== (const class_definition &other) const |
Public Attributes | |
| std::string | name_ |
| std::vector< std::string > | bases_ |
| std::vector< std::string > | methods_ |
|
inline |
| std::vector<std::string> class_definition::bases_ |
| std::vector<std::string> class_definition::methods_ |
| std::string class_definition::name_ |