TlClause Struct Reference

This structure is for temporary representation of sets of clauses. More...

Collaboration diagram for TlClause:
[legend]

Data Fields

DdHalfWord v1
DdHalfWord v2
short p1
short p2
struct TlClausenext

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:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1