mixl Union Reference

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

Detailed Description

Definition at line 807 of file math.c.

Member Data Documentation

bv

__CPROVER_bitvector [CHAR_BIT * sizeof(long double)] mixl::bv

Definition at line 813 of file math.c.

f

long double mixl::f

Definition at line 809 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