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

◆ next

◆ previous

◆ value


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