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 |