ref_expr_sett Class Reference

#include <ref_expr_set.h>

Inheritance diagram for ref_expr_sett:

Collaboration diagram for ref_expr_sett:

Public Types
typedef ref_expr_set_dt::expr_sett	expr_sett

Public Member Functions
bool	empty () const
const expr_sett &	expr_set () const
expr_sett &	expr_set_write ()
bool	make_union (const ref_expr_sett &s2)
bool	make_union (const expr_sett &s2)
void	move (expr_sett &s2)
Public Member Functions inherited from reference_counting< ref_expr_set_dt >
	reference_counting ()
	reference_counting (const ref_expr_set_dt &other)
	reference_counting (const reference_counting &other)
reference_counting &	operator= (const reference_counting &other)
	~reference_counting ()
void	swap (reference_counting &other)
void	clear ()
const ref_expr_set_dt &	read () const
ref_expr_set_dt &	write ()
dt *	get_d () const

Additional Inherited Members
Protected Member Functions inherited from reference_counting< ref_expr_set_dt >
void	remove_ref (dt *old_d)
void	detach ()
void	copy_from (const reference_counting &other)
Protected Attributes inherited from reference_counting< ref_expr_set_dt >
dt *	d

Detailed Description

Definition at line 31 of file ref_expr_set.h.

Member Typedef Documentation

expr_sett

typedef ref_expr_set_dt::expr_sett ref_expr_sett::expr_sett

Definition at line 34 of file ref_expr_set.h.

Member Function Documentation

empty()

bool ref_expr_sett::empty ( ) const

inline

Definition at line 36 of file ref_expr_set.h.

expr_set()

const expr_sett& ref_expr_sett::expr_set ( ) const

inline

Definition at line 43 of file ref_expr_set.h.

expr_set_write()

expr_sett& ref_expr_sett::expr_set_write ( )

inline

Definition at line 48 of file ref_expr_set.h.

make_union() [1/2]

bool ref_expr_sett::make_union ( const expr_sett &  s2 )

inline

Definition at line 70 of file ref_expr_set.h.

make_union() [2/2]

bool ref_expr_sett::make_union ( const ref_expr_sett &  s2 )

inline

Definition at line 53 of file ref_expr_set.h.

move()

void ref_expr_sett::move ( expr_sett &  s2 )

inline

Definition at line 83 of file ref_expr_set.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/util/ref_expr_set.h