Tru_One_t_ Struct Reference

Public Attributes
int	Handle
int	Next
word	pTruth [0]

Detailed Description

Definition at line 49 of file satTruth.c.

Member Data Documentation

Handle

int Tru_One_t_::Handle

Definition at line 51 of file satTruth.c.

Next

int Tru_One_t_::Next

Definition at line 52 of file satTruth.c.

pTruth

word Tru_One_t_::pTruth[0]

Definition at line 53 of file satTruth.c.

---

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

• src/sat/bsat/satTruth.c