#include <aig.h>

Collaboration diagram for Aig_ManCut_t_:

[legend]

Public Attributes
Aig_Man_t *	pAig

Aig_Cut_t **	pCuts

int	nCutsMax

int	nLeafMax

int	fTruth

int	fVerbose

int	nCutSize

int	nTruthWords

Aig_MmFixed_t *	pMemCuts

unsigned *	puTemp [4]

Detailed Description

Definition at line 192 of file aig.h.

Member Data Documentation

◆ fTruth

int Aig_ManCut_t_::fTruth

Definition at line 200 of file aig.h.

◆ fVerbose

int Aig_ManCut_t_::fVerbose

Definition at line 201 of file aig.h.

◆ nCutSize

int Aig_ManCut_t_::nCutSize

Definition at line 203 of file aig.h.

◆ nCutsMax

int Aig_ManCut_t_::nCutsMax

Definition at line 198 of file aig.h.

◆ nLeafMax

int Aig_ManCut_t_::nLeafMax

Definition at line 199 of file aig.h.

◆ nTruthWords

int Aig_ManCut_t_::nTruthWords

Definition at line 204 of file aig.h.

◆ pAig

Aig_Man_t* Aig_ManCut_t_::pAig

Definition at line 195 of file aig.h.

◆ pCuts

Aig_Cut_t** Aig_ManCut_t_::pCuts

Definition at line 196 of file aig.h.

◆ pMemCuts

Aig_MmFixed_t* Aig_ManCut_t_::pMemCuts

Definition at line 205 of file aig.h.

◆ puTemp

unsigned* Aig_ManCut_t_::puTemp[4]

Definition at line 206 of file aig.h.

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

src/aig/aig/aig.h

Public Attributes