CBMC
Public Attributes | List of all members
__CPROVER_jsa_abstract_heap Struct Reference

#include <jsa.h>

+ Collaboration diagram for __CPROVER_jsa_abstract_heap:

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

__CPROVER_jsa_abstract_nodet __CPROVER_jsa_abstract_heap::abstract_nodes[ 100u]

Definition at line 135 of file jsa.h.

◆ abstract_ranges

__CPROVER_jsa_abstract_ranget __CPROVER_jsa_abstract_heap::abstract_ranges[ 100u]

Definition at line 142 of file jsa.h.

◆ concrete_nodes

__CPROVER_jsa_concrete_nodet __CPROVER_jsa_abstract_heap::concrete_nodes[100u]

Definition at line 131 of file jsa.h.

◆ 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.

◆ iterators

__CPROVER_jsa_iteratort __CPROVER_jsa_abstract_heap::iterators[100u]

Definition at line 147 of file jsa.h.

◆ list_count

__CPROVER_jsa_index_t __CPROVER_jsa_abstract_heap::list_count

Number of lists on the heap.

Definition at line 162 of file jsa.h.

◆ list_head_nodes

__CPROVER_jsa_list_id_t __CPROVER_jsa_abstract_heap::list_head_nodes[ 100u]

Set of node ids which are list heads.

Definition at line 157 of file jsa.h.

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