cprover
ref_expr_sett Class Reference

#include <ref_expr_set.h>

Inheritance diagram for ref_expr_sett:
[legend]
Collaboration diagram for ref_expr_sett:
[legend]

Public Types

typedef ref_expr_set_dt::expr_sett expr_sett
 

Public Member Functions

bool empty () const
 
const expr_settexpr_set () const
 
expr_settexpr_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_countingoperator= (const reference_counting &other)
 
 ~reference_counting ()
 
void swap (reference_counting &other)
 
void clear ()
 
const ref_expr_set_dtread () const
 
ref_expr_set_dtwrite ()
 
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 detatch ()
 
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

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 ref_expr_sett s2)
inline

Definition at line 53 of file ref_expr_set.h.

References reference_counting< T >::d.

§ make_union() [2/2]

bool ref_expr_sett::make_union ( const expr_sett s2)
inline

Definition at line 70 of file ref_expr_set.h.

References ref_expr_set_dt::expr_set.

§ 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: