VIS
Data Fields

bfs_item Struct Reference

Collaboration diagram for bfs_item:

Data Fields

int reach
int count
bdd_node * node
struct bfs_item * next

Detailed Description

Struct**********************************************************************

Synopsis [Structure of one BFS item to count variable occurrences.]

Description [Structure of one BFS item to count variable occurrences.]

SeeAlso []

Definition at line 45 of file synthDiv.c.

Field Documentation

int bfs_item::count

Definition at line 47 of file synthDiv.c.

struct bfs_item* bfs_item::next

Definition at line 49 of file synthDiv.c.

bdd_node* bfs_item::node

Definition at line 48 of file synthDiv.c.

int bfs_item::reach

Definition at line 46 of file synthDiv.c.

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