DdQueueItem Struct Reference

#include <cuddInt.h>

Public Attributes
struct DdQueueItem *	next
struct DdQueueItem *	cnext
void *	key

Detailed Description

Definition at line 478 of file cuddInt.h.

Member Data Documentation

cnext

struct DdQueueItem* DdQueueItem::cnext

Definition at line 480 of file cuddInt.h.

key

void* DdQueueItem::key

Definition at line 481 of file cuddInt.h.

next

struct DdQueueItem* DdQueueItem::next

Definition at line 479 of file cuddInt.h.

---

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

• /home/runner/work/SVF-1/SVF-1/include/CUDD/cuddInt.h