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

Public Attributes

int nVarsMax
 
int nWordsMax
 
Vec_Ptr_t * vTruthVars
 
Vec_Ptr_t * vTruthNodes
 
int nVarsIn
 
Vec_Int_t * vLutsIn
 
Vec_Int_t * vSuppIn
 
char ATimeIn [64]
 
unsigned * pTruthIn
 
unsigned * pTruthOut
 
int nVarsOut
 
int nWordsOut
 
char Order [32]
 
Vec_Int_t * vLutsOut
 
Vec_Int_t * vSuppOut
 
char ATimeOut [64]
 

Detailed Description

Definition at line 32 of file kitDec.c.

Member Data Documentation

◆ ATimeIn

char Kit_ManDec_t_::ATimeIn[64]

Definition at line 42 of file kitDec.c.

◆ ATimeOut

char Kit_ManDec_t_::ATimeOut[64]

Definition at line 52 of file kitDec.c.

◆ nVarsIn

int Kit_ManDec_t_::nVarsIn

Definition at line 39 of file kitDec.c.

◆ nVarsMax

int Kit_ManDec_t_::nVarsMax

Definition at line 34 of file kitDec.c.

◆ nVarsOut

int Kit_ManDec_t_::nVarsOut

Definition at line 46 of file kitDec.c.

◆ nWordsMax

int Kit_ManDec_t_::nWordsMax

Definition at line 35 of file kitDec.c.

◆ nWordsOut

int Kit_ManDec_t_::nWordsOut

Definition at line 47 of file kitDec.c.

◆ Order

char Kit_ManDec_t_::Order[32]

Definition at line 48 of file kitDec.c.

◆ pTruthIn

unsigned* Kit_ManDec_t_::pTruthIn

Definition at line 44 of file kitDec.c.

◆ pTruthOut

unsigned* Kit_ManDec_t_::pTruthOut

Definition at line 45 of file kitDec.c.

◆ vLutsIn

Vec_Int_t* Kit_ManDec_t_::vLutsIn

Definition at line 40 of file kitDec.c.

◆ vLutsOut

Vec_Int_t* Kit_ManDec_t_::vLutsOut

Definition at line 50 of file kitDec.c.

◆ vSuppIn

Vec_Int_t* Kit_ManDec_t_::vSuppIn

Definition at line 41 of file kitDec.c.

◆ vSuppOut

Vec_Int_t* Kit_ManDec_t_::vSuppOut

Definition at line 51 of file kitDec.c.

◆ vTruthNodes

Vec_Ptr_t* Kit_ManDec_t_::vTruthNodes

Definition at line 37 of file kitDec.c.

◆ vTruthVars

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: