__CPROVER_contracts_car_set_t Struct Reference
A set of __CPROVER_contracts_car_t. More...
Collaboration diagram for __CPROVER_contracts_car_set_t:Public Attributes | |
| __CPROVER_size_t | max_elems |
| Maximum number of elements that can be stored in the set. More... | |
| __CPROVER_contracts_car_t * | elems |
| An array of car_t of size max_elems. More... | |
Detailed Description
A set of __CPROVER_contracts_car_t.
Definition at line 37 of file cprover_contracts.c.
Member Data Documentation
◆ elems
| __CPROVER_contracts_car_t* __CPROVER_contracts_car_set_t::elems |
An array of car_t of size max_elems.
Definition at line 42 of file cprover_contracts.c.
◆ max_elems
| __CPROVER_size_t __CPROVER_contracts_car_set_t::max_elems |
Maximum number of elements that can be stored in the set.
Definition at line 40 of file cprover_contracts.c.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/ansi-c/library/cprover_contracts.c
