cprover
|
#include <loc_ref.h>
Public Member Functions | |
loc_reft | next_loc () const |
void | increase () |
void | decrease () |
bool | is_nil () const |
loc_reft () | |
loc_reft & | operator++ () |
loc_reft & | operator-- () |
bool | operator< (const loc_reft other) const |
bool | operator!= (const loc_reft other) const |
bool | operator== (const loc_reft other) const |
Static Public Member Functions | |
static loc_reft | nil () |
Public Attributes | |
unsigned | loc_number |
|
inline |
Definition at line 34 of file loc_ref.h.
Referenced by operator--().
|
inline |
Definition at line 29 of file loc_ref.h.
Referenced by next_loc(), and operator++().
|
inline |
Definition at line 39 of file loc_ref.h.
References loc_number, and nil().
Referenced by build_goto_trace(), path_symext::do_goto(), path_symext::operator()(), operator<<(), and locst::output().
|
inline |
Definition at line 22 of file loc_ref.h.
References increase().
Referenced by path_symext::function_call_rec().
|
inlinestatic |
Definition at line 48 of file loc_ref.h.
References loc_reft().
Referenced by locst::build(), and is_nil().
|
inline |
Definition at line 70 of file loc_ref.h.
References loc_number.
|
inline |
Definition at line 53 of file loc_ref.h.
References increase().
|
inline |
Definition at line 59 of file loc_ref.h.
References decrease().
|
inline |
Definition at line 65 of file loc_ref.h.
References loc_number.
|
inline |
Definition at line 75 of file loc_ref.h.
References loc_number.
unsigned loc_reft::loc_number |
Definition at line 20 of file loc_ref.h.
Referenced by locst::begin(), locst::build(), locst::end(), is_nil(), operator!=(), path_searcht::operator()(), operator<(), operator<<(), operator==(), and locst::operator[]().