#include <llbInt.h>

Collaboration diagram for Llb_Mtr_t_:

[legend]

Public Attributes
int	nPis

int	nFfs

int	nRows

int	nCols

int *	pColSums

Llb_Grp_t **	pColGrps

int *	pRowSums

char **	pMatrix

Llb_Man_t *	pMan

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:

src/bdd/llb/llbInt.h

Public Attributes