#include <wlc.h>

Public Attributes
int	iOutput

int	nOutputRange

int	nAdderLimit

int	nMultLimit

int	fGiaSimple

int	fAddOutputs

int	fMulti

int	fBooth

int	fNonRest

int	fCla

int	fDivBy0

int	fNoCleanup

int	fCreateMiter

int	fCreateWordMiter

int	fDecMuxes

int	fSaveFfNames

int	fBlastNew

int	fVerbose

Vec_Int_t *	vBoxIds

Detailed Description

Definition at line 208 of file wlc.h.

Member Data Documentation

◆ fAddOutputs

int Wlc_BstPar_t_::fAddOutputs

Definition at line 215 of file wlc.h.

◆ fBlastNew

int Wlc_BstPar_t_::fBlastNew

Definition at line 226 of file wlc.h.

◆ fBooth

int Wlc_BstPar_t_::fBooth

Definition at line 217 of file wlc.h.

◆ fCla

int Wlc_BstPar_t_::fCla

Definition at line 219 of file wlc.h.

◆ fCreateMiter

int Wlc_BstPar_t_::fCreateMiter

Definition at line 222 of file wlc.h.

◆ fCreateWordMiter

int Wlc_BstPar_t_::fCreateWordMiter

Definition at line 223 of file wlc.h.

◆ fDecMuxes

int Wlc_BstPar_t_::fDecMuxes

Definition at line 224 of file wlc.h.

◆ fDivBy0

int Wlc_BstPar_t_::fDivBy0

Definition at line 220 of file wlc.h.

◆ fGiaSimple

int Wlc_BstPar_t_::fGiaSimple

Definition at line 214 of file wlc.h.

◆ fMulti

int Wlc_BstPar_t_::fMulti

Definition at line 216 of file wlc.h.

◆ fNoCleanup

int Wlc_BstPar_t_::fNoCleanup

Definition at line 221 of file wlc.h.

◆ fNonRest

int Wlc_BstPar_t_::fNonRest

Definition at line 218 of file wlc.h.

◆ fSaveFfNames

int Wlc_BstPar_t_::fSaveFfNames

Definition at line 225 of file wlc.h.

◆ fVerbose

int Wlc_BstPar_t_::fVerbose

Definition at line 227 of file wlc.h.

◆ iOutput

int Wlc_BstPar_t_::iOutput

Definition at line 210 of file wlc.h.

◆ nAdderLimit

int Wlc_BstPar_t_::nAdderLimit

Definition at line 212 of file wlc.h.

◆ nMultLimit

int Wlc_BstPar_t_::nMultLimit

Definition at line 213 of file wlc.h.

◆ nOutputRange

int Wlc_BstPar_t_::nOutputRange

Definition at line 211 of file wlc.h.

◆ vBoxIds

Vec_Int_t* Wlc_BstPar_t_::vBoxIds

Definition at line 228 of file wlc.h.

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

src/base/wlc/wlc.h

Public Attributes