Lines Matching defs:Gia_ParAbs_t_

85 struct Gia_ParAbs_t_  struct
87     int            Algo;               // the algorithm to be used
88     int            nFramesMax;         // timeframes for PBA
89     int            nConfMax;           // conflicts for PBA
90     int            fDynamic;           // dynamic unfolding for PBA
91     int            fConstr;            // use constraints
92     int            nFramesBmc;         // timeframes for BMC
93     int            nConfMaxBmc;        // conflicts for BMC
94     int            nStableMax;         // the number of stable frames to quit
95     int            nRatio;             // ratio of flops to quit
96     int            TimeOut;            // approximate timeout in seconds
97     int            TimeOutVT;          // approximate timeout in seconds
98     int            nBobPar;            // Bob's parameter
99     int            fUseBdds;           // use BDDs to refine abstraction
100     int            fUseDprove;         // use 'dprove' to refine abstraction
101     int            fUseStart;          // use starting frame
102     int            fVerbose;           // verbose output
103     int            fVeryVerbose;       // printing additional information
104     int            Status;             // the problem status
105     int            nFramesDone;        // the number of frames covered