cprover
|
#include <value_set_fivr.h>
Public Member Functions | |
validity_ranget () | |
validity_ranget (unsigned fnc, unsigned f, unsigned t) | |
bool | contains (unsigned f, unsigned line) const |
Public Attributes | |
unsigned | function |
unsigned | from |
unsigned | to |
Definition at line 110 of file value_set_fivr.h.
|
inline |
Definition at line 116 of file value_set_fivr.h.
|
inline |
Definition at line 121 of file value_set_fivr.h.
|
inline |
Definition at line 126 of file value_set_fivr.h.
unsigned value_set_fivrt::object_map_dt::validity_ranget::from |
Definition at line 114 of file value_set_fivr.h.
Referenced by value_set_fivrt::object_map_dt::set_valid_at().
unsigned value_set_fivrt::object_map_dt::validity_ranget::function |
Definition at line 113 of file value_set_fivr.h.
Referenced by value_set_fivrt::object_map_dt::set_valid_at().
unsigned value_set_fivrt::object_map_dt::validity_ranget::to |
Definition at line 114 of file value_set_fivr.h.
Referenced by value_set_fivrt::object_map_dt::set_valid_at().