cuddPathPair Struct Reference

Data Fields
int	pos
int	neg

---

Detailed Description

Definition at line 89 of file cuddSat.c.

---

Field Documentation

int cuddPathPair::neg

Definition at line 91 of file cuddSat.c.

int cuddPathPair::pos

Definition at line 90 of file cuddSat.c.

---

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

• src/cuBdd/cuddSat.c