CBMC
Public Attributes | List of all members
__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

Definition at line 112 of file jsa.h.

◆ min

__CPROVER_jsa_data_t __CPROVER_jsa_abstract_range::min

Definition at line 111 of file jsa.h.

◆ size

__CPROVER_jsa_index_t __CPROVER_jsa_abstract_range::size

Definition at line 113 of file jsa.h.

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