Searched defs:TGTA (Results 1 – 2 of 2) sorted by relevance
| /dports/math/spot/spot-2.10.2/bin/ | ||
| H A D | ltl2tgta.cc | 99 enum ta_types { TGTA, GTA, TA }; enumerator |
| /dports/math/py-spot/spot-2.10.2/bin/ | ||
| H A D | ltl2tgta.cc | 99 enum ta_types { TGTA, GTA, TA }; enumerator |