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 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.

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.

operator<()

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

inline

Definition at line 36 of file object_id.h.

Member Data Documentation

id

irep_idt object_idt::id

protected

Definition at line 47 of file object_id.h.

---

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

• goto-instrument/object_id.h