cprover
object_idt Class Reference

#include <object_id.h>

Collaboration diagram for object_idt:
[legend]

Public Member Functions

 object_idt ()
 
 object_idt (const symbol_exprt &symbol_expr)
 
 object_idt (const irep_idt &identifier)
 
bool operator< (const object_idt &other) const
 
const irep_idtget_id () const
 

Protected Attributes

irep_idt id
 

Detailed Description

Definition at line 21 of file object_id.h.

Constructor & Destructor Documentation

§ object_idt() [1/3]

object_idt::object_idt ( )
inline

Definition at line 24 of file object_id.h.

§ object_idt() [2/3]

object_idt::object_idt ( const symbol_exprt symbol_expr)
inlineexplicit

Definition at line 26 of file object_id.h.

References symbol_exprt::get_identifier().

§ object_idt() [3/3]

object_idt::object_idt ( const irep_idt identifier)
inlineexplicit

Definition at line 31 of file object_id.h.

Member Function Documentation

§ get_id()

const irep_idt& object_idt::get_id ( ) const
inline

Definition at line 41 of file object_id.h.

References id.

Referenced by operator<<().

§ operator<()

bool object_idt::operator< ( const object_idt other) const
inline

Definition at line 36 of file object_id.h.

References id.

Member Data Documentation

§ id

irep_idt object_idt::id
protected

Definition at line 47 of file object_id.h.

Referenced by get_id(), and operator<().


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