ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
global_scope.h
Go to the documentation of this file.
1#pragma once
2
3#include <string>
4#include <unordered_set>
5
7{
8public:
9 global_scope() = default;
10
11 void add_class(const std::string &class_name)
12 {
13 classes_.insert(class_name);
14 }
15
16 void add_variable(const std::string &var_name)
17 {
18 variables_.insert(var_name);
19 }
20
21 const std::unordered_set<std::string> &classes() const noexcept
22 {
23 return classes_;
24 }
25
26 const std::unordered_set<std::string> &variables() const noexcept
27 {
28 return variables_;
29 }
30
31private:
32 std::unordered_set<std::string> classes_;
33 std::unordered_set<std::string> variables_;
34};
void add_class(const std::string &class_name)
Definition global_scope.h:11
void add_variable(const std::string &var_name)
Definition global_scope.h:16
const std::unordered_set< std::string > & classes() const noexcept
Definition global_scope.h:21
const std::unordered_set< std::string > & variables() const noexcept
Definition global_scope.h:26
global_scope()=default