Tas_Cls_t_ Struct Reference

Data Fields
int	iNext [2]
int	nLits
int	pLits [0]
int	Watch0
int	Watch1
int	pVars [0]

Detailed Description

Definition at line 58 of file giaCTas.c.

Field Documentation

int Tas_Cls_t_::iNext[2]

Definition at line 60 of file giaCTas.c.

int Tas_Cls_t_::nLits

Definition at line 61 of file giaCTas.c.

int Tas_Cls_t_::pLits[0]

Definition at line 62 of file giaCTas.c.

int Tas_Cls_t_::pVars[0]

Definition at line 90 of file giaCTas2.c.

int Tas_Cls_t_::Watch0

Definition at line 88 of file giaCTas2.c.

int Tas_Cls_t_::Watch1

Definition at line 89 of file giaCTas2.c.

---

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

• giaCTas.c
• giaCTas2.c