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

#include <watch_list.h>

Collaboration diagram for watch_list:

Public Attributes

unsigned cap
 
unsigned size
 
unsigned n_bin
 
struct watcherwatchers
 

Detailed Description

Definition at line 23 of file watch_list.h.

Member Data Documentation

◆ cap

unsigned watch_list::cap

Definition at line 24 of file watch_list.h.

◆ n_bin

unsigned watch_list::n_bin

Definition at line 26 of file watch_list.h.

◆ size

unsigned watch_list::size

Definition at line 25 of file watch_list.h.

◆ watchers

struct watcher* watch_list::watchers

Definition at line 27 of file watch_list.h.


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