/dports/math/spot/spot-2.10.2/bin/ |
H A D | common_aoutput.cc | 215 OPTION_DOC | OPTION_NO_USAGE, doc_g, 0 }, 217 OPTION_DOC | OPTION_NO_USAGE, 223 OPTION_DOC | OPTION_NO_USAGE, 233 { "%r", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 236 OPTION_DOC | OPTION_NO_USAGE, 242 OPTION_DOC | OPTION_NO_USAGE, 244 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 246 { "%<", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 280 OPTION_DOC | OPTION_NO_USAGE, doc_g, 0 }, 287 OPTION_DOC | OPTION_NO_USAGE, [all …]
|
H A D | common_output.hh | 52 { "%s", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 54 { "%b", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 57 { "%h, %[vw]h", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 61 { "%[OP]n", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 68 OPTION_DOC | OPTION_NO_USAGE, \
|
H A D | common_r.hh | 35 { " 0", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 37 { " 1", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 39 { " 2", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 41 { " 3", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \
|
H A D | ltlgrind.cc | 86 { "%f", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 88 { "%F", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 90 { "%L", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 92 { "%<", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 95 { "%>", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 98 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
|
H A D | ltl2tgba.cc | 54 { "%f", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 56 { "%<", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 59 { "%>", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
|
H A D | ltlfilt.cc | 245 { "%f", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 247 { "%F", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 249 { "%L", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 251 { "%r", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 254 OPTION_DOC | OPTION_NO_USAGE, 258 { "%<", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 261 { "%>", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 264 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
|
H A D | genltl.cc | 189 { "%f", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 191 { "%F", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 193 { "%L", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 195 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
|
H A D | common_trans.cc | 880 { "%f,%s,%l,%w", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 883 { "%F,%S,%L,%W", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 885 { "%O", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 888 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, "a single %", 0 }, 961 { "%H,%S,%L", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 964 { "%M, %[val]M", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 966 { "%O", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 969 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, "a single %", 0 },
|
H A D | ltldo.cc | 89 { "%#", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 91 { "%T", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 93 { "%f", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 95 { "%<", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 98 { "%>", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
|
H A D | randltl.cc | 117 { "%f", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 119 { "%L", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 121 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
|
H A D | spot.cc | 29 #define DOC(NAME, TXT) NAME, 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, TXT, 0
|
H A D | spot-x.cc | 36 #define DOC(NAME, TXT) NAME, 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, TXT, 0
|
/dports/math/py-spot/spot-2.10.2/bin/ |
H A D | common_aoutput.cc | 215 OPTION_DOC | OPTION_NO_USAGE, doc_g, 0 }, 217 OPTION_DOC | OPTION_NO_USAGE, 223 OPTION_DOC | OPTION_NO_USAGE, 233 { "%r", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 236 OPTION_DOC | OPTION_NO_USAGE, 242 OPTION_DOC | OPTION_NO_USAGE, 244 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 246 { "%<", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 280 OPTION_DOC | OPTION_NO_USAGE, doc_g, 0 }, 287 OPTION_DOC | OPTION_NO_USAGE, [all …]
|
H A D | common_output.hh | 52 { "%s", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 54 { "%b", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 57 { "%h, %[vw]h", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 61 { "%[OP]n", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 68 OPTION_DOC | OPTION_NO_USAGE, \
|
H A D | common_r.hh | 35 { " 0", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 37 { " 1", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 39 { " 2", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \ 41 { " 3", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, \
|
H A D | ltlgrind.cc | 86 { "%f", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 88 { "%F", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 90 { "%L", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 92 { "%<", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 95 { "%>", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 98 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
|
H A D | ltl2tgba.cc | 54 { "%f", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 56 { "%<", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 59 { "%>", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
|
H A D | ltlfilt.cc | 245 { "%f", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 247 { "%F", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 249 { "%L", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 251 { "%r", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 254 OPTION_DOC | OPTION_NO_USAGE, 258 { "%<", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 261 { "%>", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 264 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
|
H A D | genltl.cc | 189 { "%f", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 191 { "%F", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 193 { "%L", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 195 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
|
H A D | common_trans.cc | 880 { "%f,%s,%l,%w", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 883 { "%F,%S,%L,%W", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 885 { "%O", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 888 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, "a single %", 0 }, 961 { "%H,%S,%L", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 964 { "%M, %[val]M", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 966 { "%O", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 969 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, "a single %", 0 },
|
H A D | ltldo.cc | 89 { "%#", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 91 { "%T", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 93 { "%f", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 95 { "%<", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 98 { "%>", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
|
H A D | randltl.cc | 117 { "%f", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 119 { "%L", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, 121 { "%%", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
|
H A D | spot.cc | 29 #define DOC(NAME, TXT) NAME, 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, TXT, 0
|
H A D | spot-x.cc | 36 #define DOC(NAME, TXT) NAME, 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, TXT, 0
|
/dports/lang/zig/zig-0.9.0/lib/libc/include/generic-glibc/ |
H A D | argp.h | 106 #define OPTION_NO_USAGE 0x10 macro
|