cprover
Loading...
Searching...
No Matches
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_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_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 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

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: