cprover
|
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 |
__CPROVER_jsa_data_t __CPROVER_jsa_abstract_range::max |
Definition at line 112 of file jsa.h.
Referenced by __CPROVER_jsa__internal_are_heaps_equal(), and __CPROVER_jsa_assume_valid_heap().
__CPROVER_jsa_data_t __CPROVER_jsa_abstract_range::min |
Definition at line 111 of file jsa.h.
Referenced by __CPROVER_jsa__internal_are_heaps_equal(), and __CPROVER_jsa_assume_valid_heap().
__CPROVER_jsa_index_t __CPROVER_jsa_abstract_range::size |
Definition at line 113 of file jsa.h.
Referenced by __CPROVER_jsa__internal_are_heaps_equal(), __CPROVER_jsa__internal_get_max_index(), and __CPROVER_jsa_assume_valid_heap().