cuddPathPair Struct Reference

Data Fields
int	pos
int	neg

---

Detailed Description

Definition at line 62 of file cuddSat.c.

---

Field Documentation

int cuddPathPair::neg

Definition at line 64 of file cuddSat.c.

int cuddPathPair::pos

Definition at line 63 of file cuddSat.c.

---

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

• src/bdd/cudd/cuddSat.c