bddBinEntry Struct Reference

#include <bddBdd.h>

Collaboration diagram for bddBinEntry:

[legend]

---

Detailed Description

Cache entry for binary operations.

Definition at line 57 of file bddBdd.h.

Data Fields
unsigned	op
	Identifier of the operation.
unsigned	root1
	First argument of the operation.
unsigned	root2
	Second argument of the operation.
unsigned	result
	Result of the operation.

---

Field Documentation

unsigned bddBinEntry::op

Identifier of the operation.

Definition at line 60 of file bddBdd.h.

Referenced by bddBdd::complement_(), bddBdd::exists_(), bddBdd::intersect_(), bddBdd::renameVars_(), bddBdd::setContains_(), and bddBdd::unite_().

unsigned bddBinEntry::root1

First argument of the operation.

Definition at line 62 of file bddBdd.h.

Referenced by bddBdd::complement_(), bddBdd::exists_(), bddBdd::intersect_(), bddBdd::renameVars_(), bddBdd::setContains_(), and bddBdd::unite_().

unsigned bddBinEntry::root2

Second argument of the operation.

Definition at line 64 of file bddBdd.h.

Referenced by bddBdd::exists_(), bddBdd::intersect_(), bddBdd::renameVars_(), bddBdd::setContains_(), and bddBdd::unite_().

unsigned bddBinEntry::result

Result of the operation.

Definition at line 66 of file bddBdd.h.

Referenced by bddBdd::complement_(), bddBdd::exists_(), bddBdd::intersect_(), bddBdd::renameVars_(), bddBdd::setContains_(), and bddBdd::unite_().

---

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

• src/bddBdd.h

---