ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
global_scope Class Reference

#include <global_scope.h>

Public Member Functions

 global_scope ()=default
void add_class (const std::string &class_name)
void add_variable (const std::string &var_name)
const std::unordered_set< std::string > & classes () const noexcept
const std::unordered_set< std::string > & variables () const noexcept

Constructor & Destructor Documentation

◆ global_scope()

global_scope::global_scope ( )
default

Member Function Documentation

◆ add_class()

void global_scope::add_class ( const std::string & class_name)
inline

◆ add_variable()

void global_scope::add_variable ( const std::string & var_name)
inline

◆ classes()

const std::unordered_set< std::string > & global_scope::classes ( ) const
inlinenoexcept

◆ variables()

const std::unordered_set< std::string > & global_scope::variables ( ) const
inlinenoexcept

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