object_idt Class Reference

#include <object_id.h>

Collaboration diagram for object_idt:

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_idt &	get_id () const

Protected Attributes
irep_idt	id

Detailed Description

Definition at line 22 of file object_id.h.

Constructor & Destructor Documentation

object_idt() [1/3]

object_idt::object_idt ( )

inline

Definition at line 25 of file object_id.h.

object_idt() [2/3]

object_idt::object_idt ( const symbol_exprt &  symbol_expr )

inlineexplicit

Definition at line 27 of file object_id.h.

object_idt() [3/3]

object_idt::object_idt ( const irep_idt &  identifier )

inlineexplicit

Definition at line 32 of file object_id.h.

Member Function Documentation

get_id()

const irep_idt& object_idt::get_id ( ) const

inline

Definition at line 42 of file object_id.h.

operator<()

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

inline

Definition at line 37 of file object_id.h.

Member Data Documentation

id

irep_idt object_idt::id

protected

Definition at line 48 of file object_id.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-instrument/object_id.h