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

#include <dar.h>

Public Attributes

int nMffcMin
 
int nLeafMax
 
int nCutsMax
 
int fExtend
 
int fUpdateLevel
 
int fUseZeros
 
int fVerbose
 
int fVeryVerbose
 

Detailed Description

Definition at line 59 of file dar.h.

Member Data Documentation

◆ fExtend

int Dar_RefPar_t_::fExtend

Definition at line 64 of file dar.h.

◆ fUpdateLevel

int Dar_RefPar_t_::fUpdateLevel

Definition at line 65 of file dar.h.

◆ fUseZeros

int Dar_RefPar_t_::fUseZeros

Definition at line 66 of file dar.h.

◆ fVerbose

int Dar_RefPar_t_::fVerbose

Definition at line 67 of file dar.h.

◆ fVeryVerbose

int Dar_RefPar_t_::fVeryVerbose

Definition at line 68 of file dar.h.

◆ nCutsMax

int Dar_RefPar_t_::nCutsMax

Definition at line 63 of file dar.h.

◆ nLeafMax

int Dar_RefPar_t_::nLeafMax

Definition at line 62 of file dar.h.

◆ nMffcMin

int Dar_RefPar_t_::nMffcMin

Definition at line 61 of file dar.h.

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