ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Dtt_Man_t_ Struct Reference

Public Attributes

int nVars
 
int nPerms
 
int nComps
 
int * pPerms
 
int * pComps
 
word * pPres
 
Vec_Int_t * vFanins
 
Vec_Int_t * vTruths
 
Vec_Int_t * vConfigs
 
Vec_Int_t * vClasses
 
Vec_Int_t * vTruthNpns
 
Vec_Wec_t * vFunNodes
 
Vec_Int_t * vTemp
 
Vec_Int_t * vTemp2
 
unsigned FunMask
 
unsigned CmpMask
 
unsigned BinMask
 
unsigned * pBins
 
Vec_Int_t * vUsedBins
 
int Counts [32]
 
int nClasses
 
unsigned * pTable
 
int * pNodes
 
int * pTimes
 
char * pVisited
 
Vec_Int_t * vVisited
 

Detailed Description

Definition at line 33 of file dauNpn2.c.

Member Data Documentation

◆ BinMask

unsigned Dtt_Man_t_::BinMask

Definition at line 51 of file dauNpn2.c.

◆ CmpMask

unsigned Dtt_Man_t_::CmpMask

Definition at line 50 of file dauNpn2.c.

◆ Counts

int Dtt_Man_t_::Counts[32]

Definition at line 54 of file dauNpn2.c.

◆ FunMask

unsigned Dtt_Man_t_::FunMask

Definition at line 49 of file dauNpn2.c.

◆ nClasses

int Dtt_Man_t_::nClasses

Definition at line 55 of file dauNpn2.c.

◆ nComps

int Dtt_Man_t_::nComps

Definition at line 37 of file dauNpn2.c.

◆ nPerms

int Dtt_Man_t_::nPerms

Definition at line 36 of file dauNpn2.c.

◆ nVars

int Dtt_Man_t_::nVars

Definition at line 35 of file dauNpn2.c.

◆ pBins

unsigned* Dtt_Man_t_::pBins

Definition at line 52 of file dauNpn2.c.

◆ pComps

int* Dtt_Man_t_::pComps

Definition at line 39 of file dauNpn2.c.

◆ pNodes

int* Dtt_Man_t_::pNodes

Definition at line 57 of file dauNpn2.c.

◆ pPerms

int* Dtt_Man_t_::pPerms

Definition at line 38 of file dauNpn2.c.

◆ pPres

word* Dtt_Man_t_::pPres

Definition at line 40 of file dauNpn2.c.

◆ pTable

unsigned* Dtt_Man_t_::pTable

Definition at line 56 of file dauNpn2.c.

◆ pTimes

int* Dtt_Man_t_::pTimes

Definition at line 58 of file dauNpn2.c.

◆ pVisited

char* Dtt_Man_t_::pVisited

Definition at line 59 of file dauNpn2.c.

◆ vClasses

Vec_Int_t* Dtt_Man_t_::vClasses

Definition at line 44 of file dauNpn2.c.

◆ vConfigs

Vec_Int_t* Dtt_Man_t_::vConfigs

Definition at line 43 of file dauNpn2.c.

◆ vFanins

Vec_Int_t* Dtt_Man_t_::vFanins

Definition at line 41 of file dauNpn2.c.

◆ vFunNodes

Vec_Wec_t* Dtt_Man_t_::vFunNodes

Definition at line 46 of file dauNpn2.c.

◆ vTemp

Vec_Int_t* Dtt_Man_t_::vTemp

Definition at line 47 of file dauNpn2.c.

◆ vTemp2

Vec_Int_t* Dtt_Man_t_::vTemp2

Definition at line 48 of file dauNpn2.c.

◆ vTruthNpns

Vec_Int_t* Dtt_Man_t_::vTruthNpns

Definition at line 45 of file dauNpn2.c.

◆ vTruths

Vec_Int_t* Dtt_Man_t_::vTruths

Definition at line 42 of file dauNpn2.c.

◆ vUsedBins

Vec_Int_t* Dtt_Man_t_::vUsedBins

Definition at line 53 of file dauNpn2.c.

◆ vVisited

Vec_Int_t* Dtt_Man_t_::vVisited

Definition at line 60 of file dauNpn2.c.

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