utilDouble.h File Reference

#include "misc/util/abc_global.h"

Include dependency graph for utilDouble.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Variables
ABC_NAMESPACE_HEADER_START typedef word	xdbl
	STRUCTURE DEFINITIONS ///.

Variable Documentation

xdbl

ABC_NAMESPACE_HEADER_START typedef word xdbl

STRUCTURE DEFINITIONS ///.

CFile****************************************************************

FileName [utilDouble.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName []

Synopsis [Double floating point number implementation.]

Author [Alan Mishchenko, Bruno Schmitt]

Affiliation [UC Berkeley / UFRGS]

Date [Ver. 1.0. Started - February 11, 2017.]

Revision []

Definition at line 49 of file utilDouble.h.