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

#include <covInt.h>

Data Fields

int nVars
 
int nWords
 
Extra_MmFixed_tpMemMan
 
Min_Cube_tpOne0
 
Min_Cube_tpOne1
 
Min_Cube_tpTriv0 [2]
 
Min_Cube_tpTriv1 [2]
 
Min_Cube_tpTemp
 
Min_Cube_tpBubble
 
int nCubes
 
Min_Cube_t ** ppStore
 

Detailed Description

Definition at line 37 of file covInt.h.

Field Documentation

int Min_Man_t_::nCubes

Definition at line 50 of file covInt.h.

int Min_Man_t_::nVars

Definition at line 39 of file covInt.h.

int Min_Man_t_::nWords

Definition at line 40 of file covInt.h.

Min_Cube_t* Min_Man_t_::pBubble

Definition at line 48 of file covInt.h.

Extra_MmFixed_t* Min_Man_t_::pMemMan

Definition at line 41 of file covInt.h.

Min_Cube_t* Min_Man_t_::pOne0

Definition at line 43 of file covInt.h.

Min_Cube_t* Min_Man_t_::pOne1

Definition at line 44 of file covInt.h.

Min_Cube_t** Min_Man_t_::ppStore

Definition at line 51 of file covInt.h.

Min_Cube_t* Min_Man_t_::pTemp

Definition at line 47 of file covInt.h.

Min_Cube_t* Min_Man_t_::pTriv0[2]

Definition at line 45 of file covInt.h.

Min_Cube_t* Min_Man_t_::pTriv1[2]

Definition at line 46 of file covInt.h.


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