abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
MvcCoverStruct Struct Reference

#include <mvc.h>

Data Fields

int nWords
 
int nUnused
 
int nBits
 
Mvc_List_t lCubes
 
Mvc_Cube_t ** pCubes
 
int nCubesAlloc
 
int * pLits
 
Mvc_Cube_tpMask
 
Mvc_Manager_tpMem
 

Detailed Description

Definition at line 83 of file mvc.h.

Field Documentation

Mvc_List_t MvcCoverStruct::lCubes

Definition at line 88 of file mvc.h.

int MvcCoverStruct::nBits

Definition at line 87 of file mvc.h.

int MvcCoverStruct::nCubesAlloc

Definition at line 90 of file mvc.h.

int MvcCoverStruct::nUnused

Definition at line 86 of file mvc.h.

int MvcCoverStruct::nWords

Definition at line 85 of file mvc.h.

Mvc_Cube_t** MvcCoverStruct::pCubes

Definition at line 89 of file mvc.h.

int* MvcCoverStruct::pLits

Definition at line 91 of file mvc.h.

Mvc_Cube_t* MvcCoverStruct::pMask

Definition at line 92 of file mvc.h.

Mvc_Manager_t* MvcCoverStruct::pMem

Definition at line 93 of file mvc.h.


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