CBMC
Public Attributes | List of all members
__CPROVER_jsa_iterator Struct Reference

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
 

Detailed Description

Iterators point to a node and give the relative index within that node.

Definition at line 120 of file jsa.h.

Member Data Documentation

◆ index

__CPROVER_jsa_index_t __CPROVER_jsa_iterator::index

Definition at line 124 of file jsa.h.

◆ list

__CPROVER_jsa_list_id_t __CPROVER_jsa_iterator::list

Definition at line 126 of file jsa.h.

◆ node_id

__CPROVER_jsa_node_id_t __CPROVER_jsa_iterator::node_id

Definition at line 122 of file jsa.h.

◆ previous_index

__CPROVER_jsa_index_t __CPROVER_jsa_iterator::previous_index

Definition at line 125 of file jsa.h.

◆ previous_node_id

__CPROVER_jsa_node_id_t __CPROVER_jsa_iterator::previous_node_id

Definition at line 123 of file jsa.h.

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