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

Public Attributes

word pTruth [4]
 
int nVars
 
Ses_TruthEntry_tnext
 
Ses_TimesEntry_thead
 

Detailed Description

Definition at line 303 of file abcExact.c.

Member Data Documentation

◆ head

Ses_TimesEntry_t* Ses_TruthEntry_t_::head

Definition at line 308 of file abcExact.c.

◆ next

Ses_TruthEntry_t* Ses_TruthEntry_t_::next

Definition at line 307 of file abcExact.c.

◆ nVars

int Ses_TruthEntry_t_::nVars

Definition at line 306 of file abcExact.c.

◆ pTruth

word Ses_TruthEntry_t_::pTruth[4]

Definition at line 305 of file abcExact.c.


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