CBMC
Public Attributes | List of all members
__CPROVER_jsa_abstract_node Struct Reference

Abstract nodes may assume any of a set of pre-defined values (value_ref to abstract_ranget). 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_id_t value_ref
 

Detailed Description

Abstract nodes may assume any of a set of pre-defined values (value_ref to abstract_ranget).

Definition at line 98 of file jsa.h.

Member Data Documentation

◆ list

__CPROVER_jsa_list_id_t __CPROVER_jsa_abstract_node::list

Definition at line 102 of file jsa.h.

◆ next

__CPROVER_jsa_node_id_t __CPROVER_jsa_abstract_node::next

Definition at line 100 of file jsa.h.

◆ previous

__CPROVER_jsa_node_id_t __CPROVER_jsa_abstract_node::previous

Definition at line 101 of file jsa.h.

◆ value_ref

__CPROVER_jsa_id_t __CPROVER_jsa_abstract_node::value_ref

Definition at line 103 of file jsa.h.

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