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

§ next

§ previous

§ value_ref


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