ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
watcher Struct Reference

#include <watch_list.h>

Public Attributes

unsigned cref
 
unsigned blocker
 

Detailed Description

Definition at line 18 of file watch_list.h.

Member Data Documentation

◆ blocker

unsigned watcher::blocker

Definition at line 20 of file watch_list.h.

◆ cref

unsigned watcher::cref

Definition at line 19 of file watch_list.h.


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