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

#include <fxuInt.h>

Collaboration diagram for FxuVar:
Collaboration graph
[legend]

Public Attributes

int iVar
 
int nCubes
 
Fxu_Cube * pFirst
 
Fxu_Pair *** ppPairs
 
Fxu_ListLit lLits
 
Fxu_Var * pPrev
 
Fxu_Var * pNext
 
Fxu_Var * pOrder
 

Detailed Description

Definition at line 213 of file fxuInt.h.

Member Data Documentation

◆ iVar

int FxuVar::iVar

Definition at line 215 of file fxuInt.h.

◆ lLits

Fxu_ListLit FxuVar::lLits

Definition at line 219 of file fxuInt.h.

◆ nCubes

int FxuVar::nCubes

Definition at line 216 of file fxuInt.h.

◆ pFirst

Fxu_Cube* FxuVar::pFirst

Definition at line 217 of file fxuInt.h.

◆ pNext

Fxu_Var* FxuVar::pNext

Definition at line 221 of file fxuInt.h.

◆ pOrder

Fxu_Var* FxuVar::pOrder

Definition at line 222 of file fxuInt.h.

◆ ppPairs

Fxu_Pair*** FxuVar::ppPairs

Definition at line 218 of file fxuInt.h.

◆ pPrev

Fxu_Var* FxuVar::pPrev

Definition at line 220 of file fxuInt.h.

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