Searched defs:LBTT (Results 1 – 4 of 4) sorted by relevance
| /dports/math/spot/spot-2.10.2/spot/parseaut/ |
| H A D | public.hh | 47 enum class parsed_aut_type { HOA, NeverClaim, LBTT, DRA, DSA, Unknown }; enumerator
|
| H A D | parseaut.hh | 455 LBTT = 302, // "LBTT header" enumerator
|
| /dports/math/py-spot/spot-2.10.2/spot/parseaut/ |
| H A D | public.hh | 47 enum class parsed_aut_type { HOA, NeverClaim, LBTT, DRA, DSA, Unknown }; enumerator
|
| H A D | parseaut.hh | 455 LBTT = 302, // "LBTT header" enumerator
|