xSAT_Watcher_t_ Struct Reference

#include <xsatWatchList.h>

Public Attributes
unsigned	CRef
int	Blocker

Detailed Description

Definition at line 35 of file xsatWatchList.h.

Member Data Documentation

Blocker

int xSAT_Watcher_t_::Blocker

Definition at line 38 of file xsatWatchList.h.

CRef

unsigned xSAT_Watcher_t_::CRef

Definition at line 37 of file xsatWatchList.h.

---

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

• src/sat/xsat/xsatWatchList.h