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

Data Fields

unsigned iVar: 5
 
unsigned nFans: 5
 
unsigned Depth: 5
 
unsigned Offset: 5
 
unsigned Data: 5
 
unsigned Type: 3
 
unsigned fCompl: 1
 
unsigned fUnused: 1
 
int nVarsInit
 
int nVarsUsed
 
int nPos
 
int nSizeNonDec
 
int nConsts
 
int uConstMask
 
int fSplitPrime
 
int fWriteTruth
 
int * pVarLevels
 
char pVarDefs [32][8]
 
char Cache [32][32]
 
char pOutput [DAU_MAX_STR]
 

Detailed Description

Definition at line 30 of file dauArray.c.

Field Documentation

char Dau_Dsd_t_::Cache[32][32]

Definition at line 968 of file dauDsd.c.

unsigned Dau_Dsd_t_::Data

Definition at line 36 of file dauArray.c.

unsigned Dau_Dsd_t_::Depth

Definition at line 34 of file dauArray.c.

unsigned Dau_Dsd_t_::fCompl

Definition at line 38 of file dauArray.c.

int Dau_Dsd_t_::fSplitPrime

Definition at line 964 of file dauDsd.c.

unsigned Dau_Dsd_t_::fUnused

Definition at line 39 of file dauArray.c.

int Dau_Dsd_t_::fWriteTruth

Definition at line 965 of file dauDsd.c.

unsigned Dau_Dsd_t_::iVar

Definition at line 32 of file dauArray.c.

int Dau_Dsd_t_::nConsts

Definition at line 962 of file dauDsd.c.

unsigned Dau_Dsd_t_::nFans

Definition at line 33 of file dauArray.c.

int Dau_Dsd_t_::nPos

Definition at line 960 of file dauDsd.c.

int Dau_Dsd_t_::nSizeNonDec

Definition at line 961 of file dauDsd.c.

int Dau_Dsd_t_::nVarsInit

Definition at line 958 of file dauDsd.c.

int Dau_Dsd_t_::nVarsUsed

Definition at line 959 of file dauDsd.c.

unsigned Dau_Dsd_t_::Offset

Definition at line 35 of file dauArray.c.

char Dau_Dsd_t_::pOutput[DAU_MAX_STR]

Definition at line 969 of file dauDsd.c.

char Dau_Dsd_t_::pVarDefs[32][8]

Definition at line 967 of file dauDsd.c.

int* Dau_Dsd_t_::pVarLevels

Definition at line 966 of file dauDsd.c.

unsigned Dau_Dsd_t_::Type

Definition at line 37 of file dauArray.c.

int Dau_Dsd_t_::uConstMask

Definition at line 963 of file dauDsd.c.

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