Ses_TruthEntry_t_ Struct Reference

Collaboration diagram for Ses_TruthEntry_t_:

Public Attributes
word	pTruth [4]
int	nVars
Ses_TruthEntry_t *	next
Ses_TimesEntry_t *	head

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:

• src/base/abci/abcExact.c