ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Llb_Mtr_t_ Struct Reference

#include <llbInt.h>

Collaboration diagram for Llb_Mtr_t_:

Public Attributes

int nPis
 
int nFfs
 
int nRows
 
int nCols
 
int * pColSums
 
Llb_Grp_t ** pColGrps
 
int * pRowSums
 
char ** pMatrix
 
Llb_Man_tpMan
 
char * pProdVars
 
int * pProdNums
 

Detailed Description

Definition at line 79 of file llbInt.h.

Member Data Documentation

◆ nCols

int Llb_Mtr_t_::nCols

Definition at line 84 of file llbInt.h.

◆ nFfs

int Llb_Mtr_t_::nFfs

Definition at line 82 of file llbInt.h.

◆ nPis

int Llb_Mtr_t_::nPis

Definition at line 81 of file llbInt.h.

◆ nRows

int Llb_Mtr_t_::nRows

Definition at line 83 of file llbInt.h.

◆ pColGrps

Llb_Grp_t** Llb_Mtr_t_::pColGrps

Definition at line 86 of file llbInt.h.

◆ pColSums

int* Llb_Mtr_t_::pColSums

Definition at line 85 of file llbInt.h.

◆ pMan

Llb_Man_t* Llb_Mtr_t_::pMan

Definition at line 89 of file llbInt.h.

◆ pMatrix

char** Llb_Mtr_t_::pMatrix

Definition at line 88 of file llbInt.h.

◆ pProdNums

int* Llb_Mtr_t_::pProdNums

Definition at line 92 of file llbInt.h.

◆ pProdVars

char* Llb_Mtr_t_::pProdVars

Definition at line 91 of file llbInt.h.

◆ pRowSums

int* Llb_Mtr_t_::pRowSums

Definition at line 87 of file llbInt.h.


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