ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
class_definition Struct Reference

#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_

Member Function Documentation

◆ operator==()

bool class_definition::operator== ( const class_definition & other) const
inline

Member Data Documentation

◆ bases_

std::vector<std::string> class_definition::bases_

◆ methods_

std::vector<std::string> class_definition::methods_

◆ name_

std::string class_definition::name_

The documentation for this struct was generated from the following file: