ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Extra_SymmInfo_t_ Struct Reference

#include <extraBdd.h>

Public Attributes

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

Detailed Description

Definition at line 257 of file extraBdd.h.

Member Data Documentation

◆ nNodes

int Extra_SymmInfo_t_::nNodes

Definition at line 261 of file extraBdd.h.

◆ nSymms

int Extra_SymmInfo_t_::nSymms

Definition at line 260 of file extraBdd.h.

◆ nVars

int Extra_SymmInfo_t_::nVars

Definition at line 258 of file extraBdd.h.

◆ nVarsMax

int Extra_SymmInfo_t_::nVarsMax

Definition at line 259 of file extraBdd.h.

◆ pSymms

char** Extra_SymmInfo_t_::pSymms

Definition at line 263 of file extraBdd.h.

◆ pVars

int* Extra_SymmInfo_t_::pVars

Definition at line 262 of file extraBdd.h.

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