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

#include <xsatWatchList.h>

Collaboration diagram for xSAT_VecWatchList_t_:
Collaboration graph
[legend]

Public Attributes

int nCap
 
int nSize
 
xSAT_WatchList_t * pArray
 

Detailed Description

Definition at line 50 of file xsatWatchList.h.

Member Data Documentation

◆ nCap

int xSAT_VecWatchList_t_::nCap

Definition at line 52 of file xsatWatchList.h.

◆ nSize

int xSAT_VecWatchList_t_::nSize

Definition at line 53 of file xsatWatchList.h.

◆ pArray

xSAT_WatchList_t* xSAT_VecWatchList_t_::pArray

Definition at line 54 of file xsatWatchList.h.

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