bddStatEntry Struct Reference

#include <bddBdd.h>

Collaboration diagram for bddStatEntry:

[legend]

---

Detailed Description

Cache entry for counting tuples.

Definition at line 70 of file bddBdd.h.

Data Fields
unsigned	root
	Argument of the operation.
double	result
	Result of the operation.

---

Field Documentation

unsigned bddStatEntry::root

Argument of the operation.

Definition at line 73 of file bddBdd.h.

Referenced by bddBdd::getTupleNr_().

double bddStatEntry::result

Result of the operation.

Definition at line 75 of file bddBdd.h.

Referenced by bddBdd::getTupleNr_().

---

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

• src/bddBdd.h

---