CBMC
|
A total order over targett
and const_targett
.
More...
#include <goto_program.h>
Public Member Functions | |
bool | operator() (const const_targett &i1, const const_targett &i2) const |
bool | operator() (const targett &i1, const targett &i2) const |
Static Public Member Functions | |
static bool | order_const_target (const const_targett i1, const const_targett i2) |
A total order over targett
and const_targett
.
Note that the specific ordering may vary from execution to execution for it uses comparison on virtual memory locations. If a consistent ordering is required, implement a comparison on some aspect of instructiont
that is stable at the particular call site.
Definition at line 391 of file goto_program.h.
|
inline |
Definition at line 402 of file goto_program.h.
|
inline |
Definition at line 407 of file goto_program.h.
|
inlinestatic |
Definition at line 394 of file goto_program.h.