#include <gia.h>

Public Attributes
int	fTents

int	fSwitch

int	fCut

int	fNpn

int	fLutProf

int	fMuxXor

int	fMiter

int	fSkipMap

int	fSlacks

int	fNoColor

int	fMapOutStats

char *	pDumpFile

Detailed Description

Definition at line 261 of file gia.h.

Member Data Documentation

◆ fCut

int Gps_Par_t_::fCut

Definition at line 265 of file gia.h.

◆ fLutProf

int Gps_Par_t_::fLutProf

Definition at line 267 of file gia.h.

◆ fMapOutStats

int Gps_Par_t_::fMapOutStats

Definition at line 273 of file gia.h.

◆ fMiter

int Gps_Par_t_::fMiter

Definition at line 269 of file gia.h.

◆ fMuxXor

int Gps_Par_t_::fMuxXor

Definition at line 268 of file gia.h.

◆ fNoColor

int Gps_Par_t_::fNoColor

Definition at line 272 of file gia.h.

◆ fNpn

int Gps_Par_t_::fNpn

Definition at line 266 of file gia.h.

◆ fSkipMap

int Gps_Par_t_::fSkipMap

Definition at line 270 of file gia.h.

◆ fSlacks

int Gps_Par_t_::fSlacks

Definition at line 271 of file gia.h.

◆ fSwitch

int Gps_Par_t_::fSwitch

Definition at line 264 of file gia.h.

◆ fTents

int Gps_Par_t_::fTents

Definition at line 263 of file gia.h.

◆ pDumpFile

char* Gps_Par_t_::pDumpFile

Definition at line 274 of file gia.h.

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

src/aig/gia/gia.h

Public Attributes