cuddPathPair Struct Reference

Public Attributes
int	pos
int	neg

Detailed Description

Definition at line 92 of file cuddSat.c.

Member Data Documentation

neg

int cuddPathPair::neg

Definition at line 94 of file cuddSat.c.

pos

int cuddPathPair::pos

Definition at line 93 of file cuddSat.c.

---

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

• /home/runner/work/SVF-1/SVF-1/lib/CUDD/cuddSat.c