mixf Union Reference

Public Attributes
float	f
__CPROVER_bitvector[CHAR_BIT *sizeof(float)]	bv

Detailed Description

Definition at line 704 of file math.c.

Member Data Documentation

bv

__CPROVER_bitvector [CHAR_BIT * sizeof(float)] mixf::bv

Definition at line 710 of file math.c.

f

float mixf::f

Definition at line 706 of file math.c.

---

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

• /home/runner/work/cbmc/cbmc/src/ansi-c/library/math.c