TlClause Struct Reference

Collaboration diagram for TlClause:

[legend]

Data Fields
DdHalfWord	v1
DdHalfWord	v2
short	p1
short	p2
struct TlClause *	next

---

Detailed Description

Definition at line 128 of file cuddEssent.c.

---

Field Documentation

struct TlClause* TlClause::next [read]

Definition at line 131 of file cuddEssent.c.

short TlClause::p1

Definition at line 130 of file cuddEssent.c.

short TlClause::p2

Definition at line 130 of file cuddEssent.c.

DdHalfWord TlClause::v1

Definition at line 129 of file cuddEssent.c.

DdHalfWord TlClause::v2

Definition at line 129 of file cuddEssent.c.

---

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

• src/cuBdd/cuddEssent.c