cprover
|
Iterators point to a node and give the relative index within that node. More...
#include <jsa.h>
Public Attributes | |
__CPROVER_jsa_node_id_t | node_id |
__CPROVER_jsa_node_id_t | previous_node_id |
__CPROVER_jsa_index_t | index |
__CPROVER_jsa_index_t | previous_index |
__CPROVER_jsa_list_id_t | list |
Iterators point to a node and give the relative index within that node.
__CPROVER_jsa_index_t __CPROVER_jsa_iterator::index |
Definition at line 124 of file jsa.h.
Referenced by __CPROVER_jsa__internal_are_heaps_equal(), __CPROVER_jsa__internal_make_null(), and __CPROVER_jsa_assume_valid_heap().
__CPROVER_jsa_list_id_t __CPROVER_jsa_iterator::list |
Definition at line 126 of file jsa.h.
Referenced by __CPROVER_jsa__internal_are_heaps_equal(), and __CPROVER_jsa_assume_valid_heap().
__CPROVER_jsa_node_id_t __CPROVER_jsa_iterator::node_id |
Definition at line 122 of file jsa.h.
Referenced by __CPROVER_jsa__internal_are_heaps_equal(), __CPROVER_jsa__internal_make_null(), __CPROVER_jsa_assume_valid_heap(), __CPROVER_jsa_iterator(), __CPROVER_jsa_next(), and __CPROVER_jsa_remove().
__CPROVER_jsa_index_t __CPROVER_jsa_iterator::previous_index |
Definition at line 125 of file jsa.h.
Referenced by __CPROVER_jsa__internal_are_heaps_equal(), __CPROVER_jsa__internal_make_null(), and __CPROVER_jsa_assume_valid_heap().
__CPROVER_jsa_node_id_t __CPROVER_jsa_iterator::previous_node_id |
Definition at line 123 of file jsa.h.
Referenced by __CPROVER_jsa__internal_are_heaps_equal(), __CPROVER_jsa__internal_make_null(), __CPROVER_jsa_assume_valid_heap(), __CPROVER_jsa_next(), __CPROVER_jsa_remove(), and __CPROVER_jsa_set().