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

Public Attributes

int nBTLimit
 
int nJustLimit
 
int nBTThis
 
int nBTThisNc
 
int nJustThis
 
int nBTTotal
 
int nJustTotal
 
float VarDecay
 
int VarInc
 
int fUseActive
 
int fUseHighest
 
int fUseLowest
 
int fUseMaxFF
 
int fVerbose
 

Detailed Description

Definition at line 34 of file giaCTas.c.

Member Data Documentation

◆ fUseActive

int Tas_Par_t_::fUseActive

Definition at line 49 of file giaCTas.c.

◆ fUseHighest

int Tas_Par_t_::fUseHighest

Definition at line 50 of file giaCTas.c.

◆ fUseLowest

int Tas_Par_t_::fUseLowest

Definition at line 51 of file giaCTas.c.

◆ fUseMaxFF

int Tas_Par_t_::fUseMaxFF

Definition at line 52 of file giaCTas.c.

◆ fVerbose

int Tas_Par_t_::fVerbose

Definition at line 54 of file giaCTas.c.

◆ nBTLimit

int Tas_Par_t_::nBTLimit

Definition at line 37 of file giaCTas.c.

◆ nBTThis

int Tas_Par_t_::nBTThis

Definition at line 40 of file giaCTas.c.

◆ nBTThisNc

int Tas_Par_t_::nBTThisNc

Definition at line 41 of file giaCTas.c.

◆ nBTTotal

int Tas_Par_t_::nBTTotal

Definition at line 43 of file giaCTas.c.

◆ nJustLimit

int Tas_Par_t_::nJustLimit

Definition at line 38 of file giaCTas.c.

◆ nJustThis

int Tas_Par_t_::nJustThis

Definition at line 42 of file giaCTas.c.

◆ nJustTotal

int Tas_Par_t_::nJustTotal

Definition at line 44 of file giaCTas.c.

◆ VarDecay

float Tas_Par_t_::VarDecay

Definition at line 46 of file giaCTas.c.

◆ VarInc

int Tas_Par_t_::VarInc

Definition at line 47 of file giaCTas.c.

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