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

#include <mvc.h>

Collaboration diagram for MvcManagerStruct:

Public Attributes

Extra_MmFixed_tpManC
 
Extra_MmFixed_tpMan1
 
Extra_MmFixed_tpMan2
 
Extra_MmFixed_tpMan4
 

Detailed Description

Definition at line 108 of file mvc.h.

Member Data Documentation

◆ pMan1

Extra_MmFixed_t* MvcManagerStruct::pMan1

Definition at line 111 of file mvc.h.

◆ pMan2

Extra_MmFixed_t* MvcManagerStruct::pMan2

Definition at line 112 of file mvc.h.

◆ pMan4

Extra_MmFixed_t* MvcManagerStruct::pMan4

Definition at line 113 of file mvc.h.

◆ pManC

Extra_MmFixed_t* MvcManagerStruct::pManC

Definition at line 110 of file mvc.h.


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