cprover
|
Concrete node with explicit value. More...
#include <jsa.h>
Public Attributes | |
__CPROVER_jsa_node_id_t | next |
__CPROVER_jsa_node_id_t | previous |
__CPROVER_jsa_list_id_t | list |
__CPROVER_jsa_data_t | value |
__CPROVER_jsa_list_id_t __CPROVER_jsa_concrete_node::list |
Definition at line 90 of file jsa.h.
Referenced by __CPROVER_jsa__internal_are_heaps_equal(), __CPROVER_jsa__internal_is_in_valid_list(), __CPROVER_jsa__internal_remove(), __CPROVER_jsa_add(), and __CPROVER_jsa_assume_valid_heap().
__CPROVER_jsa_node_id_t __CPROVER_jsa_concrete_node::next |
Definition at line 88 of file jsa.h.
Referenced by __CPROVER_jsa__internal_are_heaps_equal(), __CPROVER_jsa__internal_assume_is_neighbour(), __CPROVER_jsa__internal_remove(), __CPROVER_jsa__internal_set_next(), __CPROVER_jsa_add(), __CPROVER_jsa_assume_valid_heap(), and __CPROVER_jsa_next().
__CPROVER_jsa_node_id_t __CPROVER_jsa_concrete_node::previous |
Definition at line 89 of file jsa.h.
Referenced by __CPROVER_jsa__internal_are_heaps_equal(), __CPROVER_jsa__internal_assume_is_neighbour(), __CPROVER_jsa__internal_remove(), __CPROVER_jsa__internal_set_previous(), __CPROVER_jsa_add(), and __CPROVER_jsa_assume_valid_heap().
__CPROVER_jsa_data_t __CPROVER_jsa_concrete_node::value |
Definition at line 91 of file jsa.h.
Referenced by __CPROVER_jsa__internal_are_heaps_equal(), __CPROVER_jsa__internal_remove(), __CPROVER_jsa_add(), __CPROVER_jsa_assume_valid_heap(), __CPROVER_jsa_ite(), __CPROVER_jsa_next(), and __CPROVER_jsa_set().