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

Public Attributes

Smt_LineType_t Type
 
char * pName
 

Detailed Description

Definition at line 71 of file wlcReadSmt.c.

Member Data Documentation

◆ pName

char* Smt_Pair_t_::pName

Definition at line 74 of file wlcReadSmt.c.

◆ Type

Smt_LineType_t Smt_Pair_t_::Type

Definition at line 73 of file wlcReadSmt.c.


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