cprover
__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

§ list

__CPROVER_jsa_list_id_t __CPROVER_jsa_iterator::list

§ node_id

§ previous_index

__CPROVER_jsa_index_t __CPROVER_jsa_iterator::previous_index

§ previous_node_id


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