CBMC
Public Types | Public Member Functions | Public Attributes | Static Public Attributes | List of all members
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: