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

Data Fields

int nVarsMax
 
int nWordsMax
 
Vec_Ptr_tvTruthVars
 
Vec_Ptr_tvTruthNodes
 
int nVarsIn
 
Vec_Int_tvLutsIn
 
Vec_Int_tvSuppIn
 
char ATimeIn [64]
 
unsigned * pTruthIn
 
unsigned * pTruthOut
 
int nVarsOut
 
int nWordsOut
 
char Order [32]
 
Vec_Int_tvLutsOut
 
Vec_Int_tvSuppOut
 
char ATimeOut [64]
 

Detailed Description

Definition at line 32 of file kitDec.c.

Field Documentation

char Kit_ManDec_t_::ATimeIn[64]

Definition at line 42 of file kitDec.c.

char Kit_ManDec_t_::ATimeOut[64]

Definition at line 52 of file kitDec.c.

int Kit_ManDec_t_::nVarsIn

Definition at line 39 of file kitDec.c.

int Kit_ManDec_t_::nVarsMax

Definition at line 34 of file kitDec.c.

int Kit_ManDec_t_::nVarsOut

Definition at line 46 of file kitDec.c.

int Kit_ManDec_t_::nWordsMax

Definition at line 35 of file kitDec.c.

int Kit_ManDec_t_::nWordsOut

Definition at line 47 of file kitDec.c.

char Kit_ManDec_t_::Order[32]

Definition at line 48 of file kitDec.c.

unsigned* Kit_ManDec_t_::pTruthIn

Definition at line 44 of file kitDec.c.

unsigned* Kit_ManDec_t_::pTruthOut

Definition at line 45 of file kitDec.c.

Vec_Int_t* Kit_ManDec_t_::vLutsIn

Definition at line 40 of file kitDec.c.

Vec_Int_t* Kit_ManDec_t_::vLutsOut

Definition at line 50 of file kitDec.c.

Vec_Int_t* Kit_ManDec_t_::vSuppIn

Definition at line 41 of file kitDec.c.

Vec_Int_t* Kit_ManDec_t_::vSuppOut

Definition at line 51 of file kitDec.c.

Vec_Ptr_t* Kit_ManDec_t_::vTruthNodes

Definition at line 37 of file kitDec.c.

Vec_Ptr_t* Kit_ManDec_t_::vTruthVars

Definition at line 36 of file kitDec.c.


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