Rsb_Man_t_ Struct Reference

INCLUDES ///. More...

#include <rsbInt.h>

Data Fields
int	nLeafMax
int	nDivMax
int	nDecMax
int	fVerbose
Vec_Wrd_t *	vCexes
Vec_Int_t *	vDecPats
Vec_Int_t *	vFanins
Vec_Int_t *	vFaninsOld
Vec_Int_t *	vTries

Detailed Description

INCLUDES ///.

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

FileName [rsbInt.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Truth-table based resubstitution.]

Synopsis [Internal declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:

rsbInt.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

]PARAMETERS ///BASIC TYPES ///

Definition at line 50 of file rsbInt.h.

Field Documentation

int Rsb_Man_t_::fVerbose

Definition at line 56 of file rsbInt.h.

int Rsb_Man_t_::nDecMax

Definition at line 55 of file rsbInt.h.

int Rsb_Man_t_::nDivMax

Definition at line 54 of file rsbInt.h.

int Rsb_Man_t_::nLeafMax

Definition at line 53 of file rsbInt.h.

Vec_Wrd_t* Rsb_Man_t_::vCexes

Definition at line 58 of file rsbInt.h.

Vec_Int_t* Rsb_Man_t_::vDecPats

Definition at line 59 of file rsbInt.h.

Vec_Int_t* Rsb_Man_t_::vFanins

Definition at line 60 of file rsbInt.h.

Vec_Int_t* Rsb_Man_t_::vFaninsOld

Definition at line 61 of file rsbInt.h.

Vec_Int_t* Rsb_Man_t_::vTries

Definition at line 62 of file rsbInt.h.

---

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

• rsbInt.h