s_bddPair Struct Reference

Data type for representing a set of variable substitutions for use with bdd_replace. More...

#include <bdd.h>

Data Fields
BDD *	result
int	last
int	id
s_bddPair *	next

---

Detailed Description

Data type for representing a set of variable substitutions for use with bdd_replace.

Definition at line 86 of file bdd.h.

---

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

• bdd.h

---