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

#include <gia.h>

Public Attributes

int nDims
 
int nSols
 
int nIters
 
int fRefine
 
int fCluster
 
int fDump
 
int fDumpLarge
 
int fShowImage
 
int fVerbose
 

Detailed Description

Definition at line 278 of file gia.h.

Member Data Documentation

◆ fCluster

int Emb_Par_t_::fCluster

Definition at line 284 of file gia.h.

◆ fDump

int Emb_Par_t_::fDump

Definition at line 285 of file gia.h.

◆ fDumpLarge

int Emb_Par_t_::fDumpLarge

Definition at line 286 of file gia.h.

◆ fRefine

int Emb_Par_t_::fRefine

Definition at line 283 of file gia.h.

◆ fShowImage

int Emb_Par_t_::fShowImage

Definition at line 287 of file gia.h.

◆ fVerbose

int Emb_Par_t_::fVerbose

Definition at line 288 of file gia.h.

◆ nDims

int Emb_Par_t_::nDims

Definition at line 280 of file gia.h.

◆ nIters

int Emb_Par_t_::nIters

Definition at line 282 of file gia.h.

◆ nSols

int Emb_Par_t_::nSols

Definition at line 281 of file gia.h.

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