H A D | options.hpp | 27 OPTION( blockocclim, 1e2, 1,1e9, 1, "occurrence limit") \ 28 OPTION( bump, 1, 0, 1, 0, "bump variables") \ 55 OPTION( elimands, 1, 0, 1, 0, "find AND gates") \ 82 OPTION( flushint, 1e5, 1,1e9, 0, "initial limit") \ 126 OPTION( seed, 0, 0,1e9, 0, "random seed") \ 184 #define LOGOPT OPTION 192 #define QUTOPT OPTION 217 #define OPTION(N,V,L,H,O,D) 1 + macro 219 #undef OPTION 251 # define OPTION(N,V,L,H,O,D) \ macro [all …]
|