Lines Matching defs:Limit
6 struct Limit { struct
8 bool initialized;
10 int64_t conflicts; // conflict limit if non-negative
11 int64_t decisions; // decision limit if non-negative
12 int64_t preprocessing; // limit on preprocessing rounds
13 int64_t localsearch; // limit on local search rounds
15 int64_t compact; // conflict limit for next 'compact'
16 int64_t elim; // conflict limit for next 'elim'
17 int64_t flush; // conflict limit for next 'flush'
18 int64_t probe; // conflict limit for next 'probe'
19 int64_t reduce; // conflict limit for next 'reduce'
20 int64_t rephase; // conflict limit for next 'rephase'
21 int64_t report; // report limit for header
22 int64_t restart; // conflict limit for next 'restart'
23 int64_t stabilize; // conflict limit for next 'stabilize'
24 int64_t subsume; // conflict limit for next 'subsume'
26 int keptsize; // maximum kept size in 'reduce'
27 int keptglue; // maximum kept glue in 'reduce'
31 int64_t rephased[2];
35 int64_t elimbound;