Extra_SymmInfo_t_ Struct Reference

#include <extraBdd.h>

Data Fields
int	nVars
int	nVarsMax
int	nSymms
int	nNodes
int *	pVars
char **	pSymms

Detailed Description

Definition at line 213 of file extraBdd.h.

Field Documentation

int Extra_SymmInfo_t_::nNodes

Definition at line 217 of file extraBdd.h.

int Extra_SymmInfo_t_::nSymms

Definition at line 216 of file extraBdd.h.

int Extra_SymmInfo_t_::nVars

Definition at line 214 of file extraBdd.h.

int Extra_SymmInfo_t_::nVarsMax

Definition at line 215 of file extraBdd.h.

char** Extra_SymmInfo_t_::pSymms

Definition at line 219 of file extraBdd.h.

int* Extra_SymmInfo_t_::pVars

Definition at line 218 of file extraBdd.h.

---

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

• extraBdd.h