__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.
__CPROVER_contracts_car_t *	elems
	An array of car_t of size max_elems.

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