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

#include <mpm.h>

Collaboration diagram for Mpm_Par_t_:
Collaboration graph
[legend]

Public Attributes

Mpm_LibLut_t * pLib
 
void * pScl
 
int nNumCuts
 
int DelayTarget
 
int fUseGates
 
int fUseTruth
 
int fUseDsd
 
int fCutMin
 
int fOneRound
 
int fDeriveLuts
 
int fMap4Cnf
 
int fMap4Aig
 
int fMap4Gates
 
int fVerbose
 
int fVeryVerbose
 

Detailed Description

Definition at line 57 of file mpm.h.

Member Data Documentation

◆ DelayTarget

int Mpm_Par_t_::DelayTarget

Definition at line 62 of file mpm.h.

◆ fCutMin

int Mpm_Par_t_::fCutMin

Definition at line 66 of file mpm.h.

◆ fDeriveLuts

int Mpm_Par_t_::fDeriveLuts

Definition at line 68 of file mpm.h.

◆ fMap4Aig

int Mpm_Par_t_::fMap4Aig

Definition at line 70 of file mpm.h.

◆ fMap4Cnf

int Mpm_Par_t_::fMap4Cnf

Definition at line 69 of file mpm.h.

◆ fMap4Gates

int Mpm_Par_t_::fMap4Gates

Definition at line 71 of file mpm.h.

◆ fOneRound

int Mpm_Par_t_::fOneRound

Definition at line 67 of file mpm.h.

◆ fUseDsd

int Mpm_Par_t_::fUseDsd

Definition at line 65 of file mpm.h.

◆ fUseGates

int Mpm_Par_t_::fUseGates

Definition at line 63 of file mpm.h.

◆ fUseTruth

int Mpm_Par_t_::fUseTruth

Definition at line 64 of file mpm.h.

◆ fVerbose

int Mpm_Par_t_::fVerbose

Definition at line 72 of file mpm.h.

◆ fVeryVerbose

int Mpm_Par_t_::fVeryVerbose

Definition at line 73 of file mpm.h.

◆ nNumCuts

int Mpm_Par_t_::nNumCuts

Definition at line 61 of file mpm.h.

◆ pLib

Mpm_LibLut_t* Mpm_Par_t_::pLib

Definition at line 59 of file mpm.h.

◆ pScl

void* Mpm_Par_t_::pScl

Definition at line 60 of file mpm.h.

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