
Data Fields | |
| int | nIns |
| int | nInsP |
| int | nCols |
| int | nMulti |
| int | nSimple |
| int | Level |
| DdNode ** | pbCols |
| DdNode ** | pbCodes |
| DdNode ** | paNodes |
| DdNode * | bRelation |
CFile****************************************************************
FileName [casDec.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [CASCADE: Decomposition of shared BDDs into a LUT cascade.]
Synopsis [BDD-based decomposition with encoding.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - Spring 2002.]
Revision [
] type definitions ///
Definition at line 33 of file casDec.c.
| int LUT::Level |
| int LUT::nCols |
| int LUT::nInsP |
| int LUT::nMulti |
| int LUT::nSimple |
1.6.1