abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
LUT Struct Reference

type definitions /// More...

Data Fields

int nIns
 
int nInsP
 
int nCols
 
int nMulti
 
int nSimple
 
int Level
 
DdNode ** pbCols
 
DdNode ** pbCodes
 
DdNode ** paNodes
 
DdNodebRelation
 

Detailed Description

type definitions ///

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 [

Id:
casDec.c,v 1.0 2002/01/01 00:00:00 alanmi Exp

]

Definition at line 35 of file casDec.c.

Field Documentation

DdNode* LUT::bRelation

Definition at line 54 of file casDec.c.

int LUT::Level

Definition at line 42 of file casDec.c.

int LUT::nCols

Definition at line 39 of file casDec.c.

int LUT::nIns

Definition at line 37 of file casDec.c.

int LUT::nInsP

Definition at line 38 of file casDec.c.

int LUT::nMulti

Definition at line 40 of file casDec.c.

int LUT::nSimple

Definition at line 41 of file casDec.c.

DdNode** LUT::paNodes

Definition at line 52 of file casDec.c.

DdNode** LUT::pbCodes

Definition at line 51 of file casDec.c.

DdNode** LUT::pbCols

Definition at line 50 of file casDec.c.


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