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

#include <module.h>

Public Member Functions

bool operator== (const function &other) const

Public Attributes

std::string name_
std::string return_type_

Member Function Documentation

◆ operator==()

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

Member Data Documentation

◆ name_

std::string function::name_

◆ return_type_

std::string function::return_type_

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