ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Tas_Cls_t_ Struct Reference

Public Attributes

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.

Member Data Documentation

◆ iNext

int Tas_Cls_t_::iNext[2]

Definition at line 60 of file giaCTas.c.

◆ nLits

int Tas_Cls_t_::nLits

Definition at line 61 of file giaCTas.c.

◆ pLits

int Tas_Cls_t_::pLits[0]

Definition at line 62 of file giaCTas.c.

◆ pVars

int Tas_Cls_t_::pVars[0]

Definition at line 90 of file giaCTas2.c.

◆ Watch0

int Tas_Cls_t_::Watch0

Definition at line 88 of file giaCTas2.c.

◆ Watch1

int Tas_Cls_t_::Watch1

Definition at line 89 of file giaCTas2.c.

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