This structure is for temporary representation of sets of clauses. More...
Collaboration diagram for TlClause:
Data Fields | |
| DdHalfWord | v1 |
| DdHalfWord | v2 |
| short | p1 |
| short | p2 |
| struct TlClause * | next |
Detailed Description
This structure is for temporary representation of sets of clauses.
It is meant to be used in linked lists, when the number of clauses is not yet known. The encoding of a clause is the same as in DdTlcInfo, though the phase information is not stored in a bit array.
The documentation for this struct was generated from the following file:
- cudd/cuddEssent.c
