CBMC
Loading...
Searching...
No Matches
Public Attributes | List of all members
mixf Union Reference

Public Attributes

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

Detailed Description

Definition at line 671 of file math.c.

Member Data Documentation

◆  bv

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

Definition at line 677 of file math.c.

◆  f

float mixf::f

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

AltStyle によって変換されたページ (->オリジナル) /