abc-master
|
#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 |
Min_Cube_t* Min_Man_t_::pBubble |
Extra_MmFixed_t* Min_Man_t_::pMemMan |
Min_Cube_t* Min_Man_t_::pOne0 |
Min_Cube_t* Min_Man_t_::pOne1 |
Min_Cube_t** Min_Man_t_::ppStore |
Min_Cube_t* Min_Man_t_::pTemp |
Min_Cube_t* Min_Man_t_::pTriv0[2] |
Min_Cube_t* Min_Man_t_::pTriv1[2] |