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

#include <mvc.h>

Collaboration diagram for MvcDataStruct:
Collaboration graph
[legend]

Public Attributes

Mvc_Manager_t * pMan
 
int nBinVars
 
Mvc_Cube_t * pMaskBin
 
Mvc_Cube_t ** ppMasks
 
Mvc_Cube_t * ppTemp [3]
 

Detailed Description

Definition at line 97 of file mvc.h.

Member Data Documentation

◆ nBinVars

int MvcDataStruct::nBinVars

Definition at line 101 of file mvc.h.

◆ pMan

Mvc_Manager_t* MvcDataStruct::pMan

Definition at line 99 of file mvc.h.

◆ pMaskBin

Mvc_Cube_t* MvcDataStruct::pMaskBin

Definition at line 102 of file mvc.h.

◆ ppMasks

Mvc_Cube_t** MvcDataStruct::ppMasks

Definition at line 103 of file mvc.h.

◆ ppTemp

Mvc_Cube_t* MvcDataStruct::ppTemp[3]

Definition at line 104 of file mvc.h.

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