INCLUDES ///. More...

#include <rsbInt.h>

Public Attributes
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.

Member Data Documentation

◆ fVerbose

int Rsb_Man_t_::fVerbose

Definition at line 56 of file rsbInt.h.

◆ nDecMax

int Rsb_Man_t_::nDecMax

Definition at line 55 of file rsbInt.h.

◆ nDivMax

int Rsb_Man_t_::nDivMax

Definition at line 54 of file rsbInt.h.

◆ nLeafMax

int Rsb_Man_t_::nLeafMax

Definition at line 53 of file rsbInt.h.

◆ vCexes

Vec_Wrd_t* Rsb_Man_t_::vCexes

Definition at line 58 of file rsbInt.h.

◆ vDecPats

Vec_Int_t* Rsb_Man_t_::vDecPats

Definition at line 59 of file rsbInt.h.

◆ vFanins

Vec_Int_t* Rsb_Man_t_::vFanins

Definition at line 60 of file rsbInt.h.

◆ vFaninsOld

Vec_Int_t* Rsb_Man_t_::vFaninsOld

Definition at line 61 of file rsbInt.h.

◆ vTries

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:

src/bool/rsb/rsbInt.h

Public Attributes