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_t * pMemMan
 
Min_Cube_t * pOne0
 
Min_Cube_t * pOne1
 
Min_Cube_t * pTriv0 [2]
 
Min_Cube_t * pTriv1 [2]
 
Min_Cube_t * pTemp
 
Min_Cube_t * pBubble
 
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: