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

#include <int.h>

Public Attributes

int nBTLimit
 
int nFramesMax
 
int nSecLimit
 
int nFramesK
 
int fRewrite
 
int fTransLoop
 
int fUsePudlak
 
int fUseOther
 
int fUseMiniSat
 
int fCheckKstep
 
int fUseBias
 
int fUseBackward
 
int fUseSeparate
 
int fUseTwoFrames
 
int fDropSatOuts
 
int fDropInvar
 
int fVerbose
 
int iFrameMax
 
char * pFileName
 

Detailed Description

Definition at line 49 of file int.h.

Member Data Documentation

◆ fCheckKstep

int Inter_ManParams_t_::fCheckKstep

Definition at line 60 of file int.h.

◆ fDropInvar

int Inter_ManParams_t_::fDropInvar

Definition at line 66 of file int.h.

◆ fDropSatOuts

int Inter_ManParams_t_::fDropSatOuts

Definition at line 65 of file int.h.

◆ fRewrite

int Inter_ManParams_t_::fRewrite

Definition at line 55 of file int.h.

◆ fTransLoop

int Inter_ManParams_t_::fTransLoop

Definition at line 56 of file int.h.

◆ fUseBackward

int Inter_ManParams_t_::fUseBackward

Definition at line 62 of file int.h.

◆ fUseBias

int Inter_ManParams_t_::fUseBias

Definition at line 61 of file int.h.

◆ fUseMiniSat

int Inter_ManParams_t_::fUseMiniSat

Definition at line 59 of file int.h.

◆ fUseOther

int Inter_ManParams_t_::fUseOther

Definition at line 58 of file int.h.

◆ fUsePudlak

int Inter_ManParams_t_::fUsePudlak

Definition at line 57 of file int.h.

◆ fUseSeparate

int Inter_ManParams_t_::fUseSeparate

Definition at line 63 of file int.h.

◆ fUseTwoFrames

int Inter_ManParams_t_::fUseTwoFrames

Definition at line 64 of file int.h.

◆ fVerbose

int Inter_ManParams_t_::fVerbose

Definition at line 67 of file int.h.

◆ iFrameMax

int Inter_ManParams_t_::iFrameMax

Definition at line 68 of file int.h.

◆ nBTLimit

int Inter_ManParams_t_::nBTLimit

Definition at line 51 of file int.h.

◆ nFramesK

int Inter_ManParams_t_::nFramesK

Definition at line 54 of file int.h.

◆ nFramesMax

int Inter_ManParams_t_::nFramesMax

Definition at line 52 of file int.h.

◆ nSecLimit

int Inter_ManParams_t_::nSecLimit

Definition at line 53 of file int.h.

◆ pFileName

char* Inter_ManParams_t_::pFileName

Definition at line 69 of file int.h.

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