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

#include <fxuInt.h>

Collaboration diagram for FxuMatrix:
Collaboration graph
[legend]

Public Attributes

Fxu_ListCube lCubes
 
Fxu_ListVar lVars
 
Fxu_Var ** ppVars
 
Fxu_ListDouble * pTable
 
int nTableSize
 
int nDivs
 
int nDivsTotal
 
Fxu_HeapDouble * pHeapDouble
 
Fxu_ListSingle lSingles
 
Fxu_HeapSingle * pHeapSingle
 
int nWeightLimit
 
int nSingleTotal
 
Fxu_Pair *** pppPairs
 
Fxu_Pair ** ppPairs
 
Fxu_Cube * pOrderCubes
 
Fxu_Cube ** ppTailCubes
 
Fxu_Var * pOrderVars
 
Fxu_Var ** ppTailVars
 
Vec_Ptr_t * vPairs
 
int nEntries
 
int nDivs1
 
int nDivs2
 
int nDivs3
 
Extra_MmFixed_t * pMemMan
 

Detailed Description

Definition at line 162 of file fxuInt.h.

Member Data Documentation

◆ lCubes

Fxu_ListCube FxuMatrix::lCubes

Definition at line 165 of file fxuInt.h.

◆ lSingles

Fxu_ListSingle FxuMatrix::lSingles

Definition at line 176 of file fxuInt.h.

◆ lVars

Fxu_ListVar FxuMatrix::lVars

Definition at line 167 of file fxuInt.h.

◆ nDivs

int FxuMatrix::nDivs

Definition at line 172 of file fxuInt.h.

◆ nDivs1

int FxuMatrix::nDivs1

Definition at line 193 of file fxuInt.h.

◆ nDivs2

int FxuMatrix::nDivs2

Definition at line 194 of file fxuInt.h.

◆ nDivs3

int FxuMatrix::nDivs3

Definition at line 195 of file fxuInt.h.

◆ nDivsTotal

int FxuMatrix::nDivsTotal

Definition at line 173 of file fxuInt.h.

◆ nEntries

int FxuMatrix::nEntries

Definition at line 192 of file fxuInt.h.

◆ nSingleTotal

int FxuMatrix::nSingleTotal

Definition at line 179 of file fxuInt.h.

◆ nTableSize

int FxuMatrix::nTableSize

Definition at line 171 of file fxuInt.h.

◆ nWeightLimit

int FxuMatrix::nWeightLimit

Definition at line 178 of file fxuInt.h.

◆ pHeapDouble

Fxu_HeapDouble* FxuMatrix::pHeapDouble

Definition at line 174 of file fxuInt.h.

◆ pHeapSingle

Fxu_HeapSingle* FxuMatrix::pHeapSingle

Definition at line 177 of file fxuInt.h.

◆ pMemMan

Extra_MmFixed_t* FxuMatrix::pMemMan

Definition at line 197 of file fxuInt.h.

◆ pOrderCubes

Fxu_Cube* FxuMatrix::pOrderCubes

Definition at line 184 of file fxuInt.h.

◆ pOrderVars

Fxu_Var* FxuMatrix::pOrderVars

Definition at line 187 of file fxuInt.h.

◆ ppPairs

Fxu_Pair** FxuMatrix::ppPairs

Definition at line 182 of file fxuInt.h.

◆ pppPairs

Fxu_Pair*** FxuMatrix::pppPairs

Definition at line 181 of file fxuInt.h.

◆ ppTailCubes

Fxu_Cube** FxuMatrix::ppTailCubes

Definition at line 185 of file fxuInt.h.

◆ ppTailVars

Fxu_Var** FxuMatrix::ppTailVars

Definition at line 188 of file fxuInt.h.

◆ ppVars

Fxu_Var** FxuMatrix::ppVars

Definition at line 168 of file fxuInt.h.

◆ pTable

Fxu_ListDouble* FxuMatrix::pTable

Definition at line 170 of file fxuInt.h.

◆ vPairs

Vec_Ptr_t* FxuMatrix::vPairs

Definition at line 190 of file fxuInt.h.

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