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

#include <watch_list.h>

Collaboration diagram for vec_wl_t_:

Public Attributes

unsigned cap
 
unsigned size
 
struct watch_listwatch_lists
 

Detailed Description

Definition at line 31 of file watch_list.h.

Member Data Documentation

◆ cap

unsigned vec_wl_t_::cap

Definition at line 32 of file watch_list.h.

◆ size

unsigned vec_wl_t_::size

Definition at line 33 of file watch_list.h.

◆ watch_lists

struct watch_list* vec_wl_t_::watch_lists

Definition at line 34 of file watch_list.h.


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