CBMC
Public Attributes | List of all members
__CPROVER_jsa_concrete_node Struct Reference

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
 

Detailed Description

Concrete node with explicit value.

Definition at line 86 of file jsa.h.

Member Data Documentation

◆ list

__CPROVER_jsa_list_id_t __CPROVER_jsa_concrete_node::list

Definition at line 90 of file jsa.h.

◆ next

__CPROVER_jsa_node_id_t __CPROVER_jsa_concrete_node::next

Definition at line 88 of file jsa.h.

◆ previous

__CPROVER_jsa_node_id_t __CPROVER_jsa_concrete_node::previous

Definition at line 89 of file jsa.h.

◆ value

__CPROVER_jsa_data_t __CPROVER_jsa_concrete_node::value

Definition at line 91 of file jsa.h.

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