abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
LocalQueueItem Struct Reference

Data Fields

struct LocalQueueItemnext
 
struct LocalQueueItemcnext
 
DdNodenode
 
int localRef
 

Detailed Description

Definition at line 155 of file cuddApprox.c.

Field Documentation

struct LocalQueueItem* LocalQueueItem::cnext

Definition at line 157 of file cuddApprox.c.

int LocalQueueItem::localRef

Definition at line 159 of file cuddApprox.c.

struct LocalQueueItem* LocalQueueItem::next

Definition at line 156 of file cuddApprox.c.

DdNode* LocalQueueItem::node

Definition at line 158 of file cuddApprox.c.


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