| /dports/math/spot/spot-2.10.2/tests/python/ |
| H A D | simstate.py | 84 daut = spot.tgba_determinize(aut, True) variable
85 assert daut.to_str() == """HOA: v1
112 del daut
131 daut = spot.tgba_determinize(aut, True) variable
132 assert daut.to_str() == """HOA: v1
|
| /dports/math/py-spot/spot-2.10.2/tests/python/ |
| H A D | simstate.py | 84 daut = spot.tgba_determinize(aut, True)
85 assert daut.to_str() == """HOA: v1
112 del daut
131 daut = spot.tgba_determinize(aut, True)
132 assert daut.to_str() == """HOA: v1
|
| /dports/math/spot/spot-2.10.2/tests/core/ |
| H A D | ikwiad.cc | 523 auto daut = spot::parse_aut(argv[formula_index] + 2, dict, env, opts); in checked_main() local
524 if (daut->format_errors(std::cerr)) in checked_main()
526 daut->aut->merge_edges(); in checked_main()
527 system_aut = daut->aut; in checked_main()
873 auto daut = spot::parse_aut(input, dict, env, opts); in checked_main() local
875 if (daut->format_errors(std::cerr)) in checked_main()
877 daut->aut->merge_edges(); in checked_main()
878 a = daut->aut; in checked_main()
881 a = spot::to_generalized_buchi(daut->aut); in checked_main()
|
| /dports/math/py-spot/spot-2.10.2/tests/core/ |
| H A D | ikwiad.cc | 523 auto daut = spot::parse_aut(argv[formula_index] + 2, dict, env, opts); in checked_main() local
524 if (daut->format_errors(std::cerr)) in checked_main()
526 daut->aut->merge_edges(); in checked_main()
527 system_aut = daut->aut; in checked_main()
873 auto daut = spot::parse_aut(input, dict, env, opts); in checked_main() local
875 if (daut->format_errors(std::cerr)) in checked_main()
877 daut->aut->merge_edges(); in checked_main()
878 a = daut->aut; in checked_main()
881 a = spot::to_generalized_buchi(daut->aut); in checked_main()
|
| /dports/astro/weather/weather-2.4.2/ |
| H A D | slist | 652 daut
|
| H A D | airports | 10282 station = daut
|
| /dports/chinese/wenju/wenju-1.6/src/tim/tables/FirstStep/ |
| H A D | shuangpin.tim | 2870 daut=达成
|
| /dports/textproc/scim-openvanilla/openvanilla-0.7.2.20070514/Modules/SharedData/ |
| H A D | shuangpin.cin | 2901 daut 达成
|
| /dports/textproc/openvanilla-framework/openvanilla-0.7.2.20070514/Modules/SharedData/ |
| H A D | shuangpin.cin | 2901 daut 达成
|
| /dports/print/py-frescobaldi/frescobaldi-3.1.3/frescobaldi_app/hyphdicts/ |
| H A D | hyph_nn_NO.dic | 4194 2daut
|
| /dports/textproc/py-pyphen/Pyphen-0.10.0/pyphen/dictionaries/ |
| H A D | hyph_nb_NO.dic | 4194 2daut
|
| H A D | hyph_nn_NO.dic | 4194 2daut
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/liblouis/src/tables/ |
| H A D | hyph_nb_NO.dic | 4194 2daut
|
| H A D | hyph_nn_NO.dic | 4194 2daut
|
| /dports/devel/liblouis/liblouis-3.20.0/tables/ |
| H A D | hyph_nb_NO.dic | 4194 2daut
|
| H A D | hyph_nn_NO.dic | 4194 2daut
|
| /dports/print/scribus-devel/scribus-1.5.7/resources/dicts/ |
| H A D | hyph_nn_NO.dic | 4194 2daut
|
| H A D | hyph_nb_NO.dic | 4194 2daut
|
| /dports/japanese/scim-tables/scim-tables-0.5.10/tables/zh/ |
| H A D | Wubi.txt.in | 15691 daut 左道 23
15692 daut 左首 20
|
| /dports/chinese/wenju/wenju-1.6/src/tim/tables/ |
| H A D | wubi.tim | 7074 daut=左道
7075 daut=左首
|
| /dports/chinese/scim-tables/scim-tables-0.5.10/tables/zh/ |
| H A D | Wubi.txt.in | 15691 daut 左道 23
15692 daut 左首 20
|
| /dports/textproc/scim-table-imengine/scim-tables-0.5.10/tables/zh/ |
| H A D | Wubi.txt.in | 15691 daut 左道 23
15692 daut 左首 20
|
| /dports/korean/scim-tables/scim-tables-0.5.10/tables/zh/ |
| H A D | Wubi.txt.in | 15691 daut 左道 23
15692 daut 左首 20
|
| /dports/www/firefox-esr/firefox-91.8.0/intl/locales/nb/hyphenation/ |
| H A D | hyph_nb.dic | 6097 2daut
|
| /dports/www/firefox-esr/firefox-91.8.0/intl/locales/nn/hyphenation/ |
| H A D | hyph_nn.dic | 6097 2daut
|