cprover
__CPROVER_jsa_abstract_heap Struct Reference

#include <jsa.h>

Collaboration diagram for __CPROVER_jsa_abstract_heap:
[legend]

Public Attributes

__CPROVER_jsa_concrete_nodet concrete_nodes [100u]
 
__CPROVER_jsa_abstract_nodet abstract_nodes [100u]
 
__CPROVER_jsa_abstract_ranget abstract_ranges [100u]
 
__CPROVER_jsa_iteratort iterators [100u]
 
__CPROVER_jsa_index_t iterator_count
 Number of iterators on the heap. More...
 
__CPROVER_jsa_list_id_t list_head_nodes [100u]
 Set of node ids which are list heads. More...
 
__CPROVER_jsa_index_t list_count
 Number of lists on the heap. More...
 

Detailed Description

Definition at line 129 of file jsa.h.

Member Data Documentation

§ abstract_nodes

§ abstract_ranges

__CPROVER_jsa_abstract_ranget __CPROVER_jsa_abstract_heap::abstract_ranges[ 100u]

§ concrete_nodes

§ iterator_count

__CPROVER_jsa_index_t __CPROVER_jsa_abstract_heap::iterator_count

Number of iterators on the heap.

Definition at line 152 of file jsa.h.

Referenced by __CPROVER_jsa__internal_are_heaps_equal(), __CPROVER_jsa_assume_valid_heap(), and __CPROVER_jsa_iterator().

§ iterators

§ list_count

__CPROVER_jsa_index_t __CPROVER_jsa_abstract_heap::list_count

§ list_head_nodes

__CPROVER_jsa_list_id_t __CPROVER_jsa_abstract_heap::list_head_nodes[ 100u]

The documentation for this struct was generated from the following file: