ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Dau_Sto_t_ Struct Reference

Public Attributes

int iVarUsed
 
char pOutput [2 *DAU_MAX_STR+10]
 
char * pPosOutput
 
char pStore [DAU_MAX_VAR][DAU_MAX_STR]
 
char * pPosStore [DAU_MAX_VAR]
 

Detailed Description

Definition at line 48 of file dauMerge.c.

Member Data Documentation

◆ iVarUsed

int Dau_Sto_t_::iVarUsed

Definition at line 50 of file dauMerge.c.

◆ pOutput

char Dau_Sto_t_::pOutput[2 *DAU_MAX_STR+10]

Definition at line 51 of file dauMerge.c.

◆ pPosOutput

char* Dau_Sto_t_::pPosOutput

Definition at line 52 of file dauMerge.c.

◆ pPosStore

char* Dau_Sto_t_::pPosStore[DAU_MAX_VAR]

Definition at line 54 of file dauMerge.c.

◆ pStore

char Dau_Sto_t_::pStore[DAU_MAX_VAR][DAU_MAX_STR]

Definition at line 53 of file dauMerge.c.


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