cprover
|
#include <object_id.h>
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 |
Definition at line 21 of file object_id.h.
|
inline |
Definition at line 24 of file object_id.h.
|
inlineexplicit |
Definition at line 26 of file object_id.h.
|
inlineexplicit |
Definition at line 31 of file object_id.h.
|
inline |
Definition at line 41 of file object_id.h.
|
inline |
Definition at line 36 of file object_id.h.
|
protected |
Definition at line 47 of file object_id.h.