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

#include <covInt.h>

Collaboration diagram for Min_Man_t_:
Collaboration graph
[legend]

Public Attributes

int nCis
 
int nCos
 
int FirstAndLit
 
int FirstCoLit
 
Vec_Int_t vFans
 
Vec_Str_t vValsN
 
Vec_Str_t vValsL
 
Vec_Int_t vVis
 
Vec_Int_t vPat
 
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 35 of file giaPat2.c.

Member Data Documentation

◆ FirstAndLit

int Min_Man_t_::FirstAndLit

Definition at line 39 of file giaPat2.c.

◆ FirstCoLit

int Min_Man_t_::FirstCoLit

Definition at line 40 of file giaPat2.c.

◆ nCis

int Min_Man_t_::nCis

Definition at line 37 of file giaPat2.c.

◆ nCos

int Min_Man_t_::nCos

Definition at line 38 of file giaPat2.c.

◆ nCubes

int Min_Man_t_::nCubes

Definition at line 50 of file covInt.h.

◆ nVars

int Min_Man_t_::nVars

Definition at line 39 of file covInt.h.

◆ nWords

int Min_Man_t_::nWords

Definition at line 40 of file covInt.h.

◆ pBubble

Min_Cube_t* Min_Man_t_::pBubble

Definition at line 48 of file covInt.h.

◆ pMemMan

Extra_MmFixed_t* Min_Man_t_::pMemMan

Definition at line 41 of file covInt.h.

◆ pOne0

Min_Cube_t* Min_Man_t_::pOne0

Definition at line 43 of file covInt.h.

◆ pOne1

Min_Cube_t* Min_Man_t_::pOne1

Definition at line 44 of file covInt.h.

◆ ppStore

Min_Cube_t** Min_Man_t_::ppStore

Definition at line 51 of file covInt.h.

◆ pTemp

Min_Cube_t* Min_Man_t_::pTemp

Definition at line 47 of file covInt.h.

◆ pTriv0

Min_Cube_t* Min_Man_t_::pTriv0[2]

Definition at line 45 of file covInt.h.

◆ pTriv1

Min_Cube_t* Min_Man_t_::pTriv1[2]

Definition at line 46 of file covInt.h.

◆ vFans

Vec_Int_t Min_Man_t_::vFans

Definition at line 41 of file giaPat2.c.

◆ vPat

Vec_Int_t Min_Man_t_::vPat

Definition at line 45 of file giaPat2.c.

◆ vValsL

Vec_Str_t Min_Man_t_::vValsL

Definition at line 43 of file giaPat2.c.

◆ vValsN

Vec_Str_t Min_Man_t_::vValsN

Definition at line 42 of file giaPat2.c.

◆ vVis

Vec_Int_t Min_Man_t_::vVis

Definition at line 44 of file giaPat2.c.

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