ref_expr_set_dt Struct Reference

#include <ref_expr_set.h>

Collaboration diagram for ref_expr_set_dt:

Public Types
typedef std::unordered_set< exprt, irep_hash >	expr_sett

Public Member Functions
	ref_expr_set_dt ()

Public Attributes
expr_sett	expr_set

Static Public Attributes
static const ref_expr_set_dt	blank

Detailed Description

Definition at line 22 of file ref_expr_set.h.

Member Typedef Documentation

expr_sett

typedef std::unordered_set<exprt, irep_hash> ref_expr_set_dt::expr_sett

Definition at line 25 of file ref_expr_set.h.

Constructor & Destructor Documentation

ref_expr_set_dt()

ref_expr_set_dt::ref_expr_set_dt ( )

inline

Definition at line 24 of file ref_expr_set.h.

Member Data Documentation

blank

const ref_expr_set_dt ref_expr_set_dt::blank

static

Definition at line 28 of file ref_expr_set.h.

expr_set

expr_sett ref_expr_set_dt::expr_set

Definition at line 26 of file ref_expr_set.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/ref_expr_set.h
• /home/runner/work/cbmc/cbmc/src/util/ref_expr_set.cpp