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

Public Attributes

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.

Member Data Documentation

◆ Cache

char Dau_Dsd_t_::Cache[32][32]

Definition at line 968 of file dauDsd.c.

◆ Data

unsigned Dau_Dsd_t_::Data

Definition at line 36 of file dauArray.c.

◆ Depth

unsigned Dau_Dsd_t_::Depth

Definition at line 34 of file dauArray.c.

◆ fCompl

unsigned Dau_Dsd_t_::fCompl

Definition at line 38 of file dauArray.c.

◆ fSplitPrime

int Dau_Dsd_t_::fSplitPrime

Definition at line 964 of file dauDsd.c.

◆ fUnused

unsigned Dau_Dsd_t_::fUnused

Definition at line 39 of file dauArray.c.

◆ fWriteTruth

int Dau_Dsd_t_::fWriteTruth

Definition at line 965 of file dauDsd.c.

◆ iVar

unsigned Dau_Dsd_t_::iVar

Definition at line 32 of file dauArray.c.

◆ nConsts

int Dau_Dsd_t_::nConsts

Definition at line 962 of file dauDsd.c.

◆ nFans

unsigned Dau_Dsd_t_::nFans

Definition at line 33 of file dauArray.c.

◆ nPos

int Dau_Dsd_t_::nPos

Definition at line 960 of file dauDsd.c.

◆ nSizeNonDec

int Dau_Dsd_t_::nSizeNonDec

Definition at line 961 of file dauDsd.c.

◆ nVarsInit

int Dau_Dsd_t_::nVarsInit

Definition at line 958 of file dauDsd.c.

◆ nVarsUsed

int Dau_Dsd_t_::nVarsUsed

Definition at line 959 of file dauDsd.c.

◆ Offset

unsigned Dau_Dsd_t_::Offset

Definition at line 35 of file dauArray.c.

◆ pOutput

char Dau_Dsd_t_::pOutput[DAU_MAX_STR]

Definition at line 969 of file dauDsd.c.

◆ pVarDefs

char Dau_Dsd_t_::pVarDefs[32][8]

Definition at line 967 of file dauDsd.c.

◆ pVarLevels

int* Dau_Dsd_t_::pVarLevels

Definition at line 966 of file dauDsd.c.

◆ Type

unsigned Dau_Dsd_t_::Type

Definition at line 37 of file dauArray.c.

◆ uConstMask

int Dau_Dsd_t_::uConstMask

Definition at line 963 of file dauDsd.c.

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