cprover
ref_expr_set_dt Struct Reference

#include <ref_expr_set.h>

Collaboration diagram for ref_expr_set_dt:
[legend]

Public Types

typedef std::unordered_set< exprt, irep_hashexpr_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.

Referenced by ref_expr_sett::make_union().


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