SVF
Public Attributes | List of all members
IeeeDoubleStruct Struct Reference

#include <epd.h>

Public Attributes

unsigned int mantissa1: 32
 
unsigned int mantissa0: 20
 
unsigned int exponent: 11
 
unsigned int sign: 1
 

Detailed Description

Struct**********************************************************************

Synopsis [IEEE double struct.]

Description [IEEE double struct.]

SeeAlso []

Definition at line 87 of file epd.h.

Member Data Documentation

◆ exponent

unsigned int IeeeDoubleStruct::exponent

Definition at line 90 of file epd.h.

◆ mantissa0

unsigned int IeeeDoubleStruct::mantissa0

Definition at line 89 of file epd.h.

◆ mantissa1

unsigned int IeeeDoubleStruct::mantissa1

Definition at line 88 of file epd.h.

◆ sign

unsigned int IeeeDoubleStruct::sign

Definition at line 91 of file epd.h.


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