cprover
__CPROVER_jsa_abstract_range Struct Reference

Set of pre-defined, possible values for abstract nodes. More...

#include <jsa.h>

Public Attributes

__CPROVER_jsa_data_t min
 
__CPROVER_jsa_data_t max
 
__CPROVER_jsa_index_t size
 

Detailed Description

Set of pre-defined, possible values for abstract nodes.

Definition at line 109 of file jsa.h.

Member Data Documentation

§ max

__CPROVER_jsa_data_t __CPROVER_jsa_abstract_range::max

§ min

__CPROVER_jsa_data_t __CPROVER_jsa_abstract_range::min

§ size


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