Searched refs:OPT_SPNO (Results 1 – 2 of 2) sorted by relevance
| /dports/math/spot/spot-2.10.2/bin/ |
| H A D | ltl2tgta.cc | 60 OPT_SPNO, enumerator
77 { "single-pass", OPT_SPNO, nullptr, 0,
146 case OPT_SPNO: in parse_opt()
|
| /dports/math/py-spot/spot-2.10.2/bin/ |
| H A D | ltl2tgta.cc | 60 OPT_SPNO, enumerator
77 { "single-pass", OPT_SPNO, nullptr, 0,
146 case OPT_SPNO: in parse_opt()
|