cuddPathPair Struct Reference

Type of item stored in memoization table. More...

Data Fields
int	pos
int	neg

Detailed Description

Type of item stored in memoization table.

---

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

• cudd/cuddSat.c