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

#include <extraBdd.h>

Collaboration diagram for Extra_UnateInfo_t_:
Collaboration graph
[legend]

Public Attributes

int nVars
 
int nVarsMax
 
int nUnate
 
Extra_UnateVar_t * pVars
 

Detailed Description

Definition at line 321 of file extraBdd.h.

Member Data Documentation

◆ nUnate

int Extra_UnateInfo_t_::nUnate

Definition at line 324 of file extraBdd.h.

◆ nVars

int Extra_UnateInfo_t_::nVars

Definition at line 322 of file extraBdd.h.

◆ nVarsMax

int Extra_UnateInfo_t_::nVarsMax

Definition at line 323 of file extraBdd.h.

◆ pVars

Extra_UnateVar_t* Extra_UnateInfo_t_::pVars

Definition at line 325 of file extraBdd.h.

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