cprover
Loading...
Searching...
No Matches
__CPROVER_contracts_obj_set_t Struct Reference

A set of pointers. More...

Public Attributes

__CPROVER_size_t max_elems
 Maximum number of elements that can be stored in the set.
 
__CPROVER_size_t watermark
 next usable index in elems if less than max_elems (1 + greatest used index in elems)
 
__CPROVER_size_t nof_elems
 Number of elements currently in the elems array.
 
__CPROVER_bool is_empty
 True iff nof_elems is 0.
 
__CPROVER_bool indexed_by_object_id
 True iff elems is indexed by the object id of the pointers.
 
void ** elems
 Array of void *pointers, indexed by their object ID or some other order.
 

Detailed Description

A set of pointers.

Definition at line 50 of file cprover_contracts.c.

Member Data Documentation

◆ elems

void** __CPROVER_contracts_obj_set_t::elems

Array of void *pointers, indexed by their object ID or some other order.

Definition at line 65 of file cprover_contracts.c.

◆ indexed_by_object_id

__CPROVER_bool __CPROVER_contracts_obj_set_t::indexed_by_object_id

True iff elems is indexed by the object id of the pointers.

Definition at line 62 of file cprover_contracts.c.

◆ is_empty

__CPROVER_bool __CPROVER_contracts_obj_set_t::is_empty

True iff nof_elems is 0.

Definition at line 60 of file cprover_contracts.c.

◆ max_elems

__CPROVER_size_t __CPROVER_contracts_obj_set_t::max_elems

Maximum number of elements that can be stored in the set.

Definition at line 53 of file cprover_contracts.c.

◆ nof_elems

__CPROVER_size_t __CPROVER_contracts_obj_set_t::nof_elems

Number of elements currently in the elems array.

Definition at line 58 of file cprover_contracts.c.

◆ watermark

__CPROVER_size_t __CPROVER_contracts_obj_set_t::watermark

next usable index in elems if less than max_elems (1 + greatest used index in elems)

Definition at line 56 of file cprover_contracts.c.


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