| /dports/math/spot/spot-2.10.2/tests/python/ |
| H A D | ecfalse.py | 46 assert a.accepting_run() is None
54 print(res.accepting_run())
73 r = a.accepting_run()
79 s = a.accepting_run()
85 s = a.accepting_run()
|
| H A D | misc-ec.py | 28 print(res.accepting_run())
36 print(ec.check().accepting_run())
|
| H A D | 471.py | 26 r2 = a.accepting_run()
|
| H A D | bdditer.py | 28 run = spot.translate('a & !b').accepting_run()
|
| /dports/math/py-spot/spot-2.10.2/tests/python/ |
| H A D | ecfalse.py | 46 assert a.accepting_run() is None
54 print(res.accepting_run())
73 r = a.accepting_run()
79 s = a.accepting_run()
85 s = a.accepting_run()
|
| H A D | misc-ec.py | 28 print(res.accepting_run())
36 print(ec.check().accepting_run())
|
| H A D | 471.py | 26 r2 = a.accepting_run()
|
| H A D | bdditer.py | 28 run = spot.translate('a & !b').accepting_run()
|
| /dports/math/spot/spot-2.10.2/spot/twa/ |
| H A D | twa.cc | 116 twa::accepting_run() const in accepting_run() function in spot::twa
124 return res->accepting_run(); in accepting_run()
130 if (auto run = accepting_run()) in accepting_word()
182 auto run = otf_product(self, other)->accepting_run(); in intersecting_run()
|
| /dports/math/py-spot/spot-2.10.2/spot/twa/ |
| H A D | twa.cc | 116 twa::accepting_run() const in accepting_run() function in spot::twa
124 return res->accepting_run(); in accepting_run()
130 if (auto run = accepting_run()) in accepting_word()
182 auto run = otf_product(self, other)->accepting_run(); in intersecting_run()
|
| /dports/math/spot/spot-2.10.2/spot/twaalgos/gtec/ |
| H A D | ce.hh | 41 virtual twa_run_ptr accepting_run() override;
|
| H A D | ce.cc | 96 couvreur99_check_result::accepting_run() in accepting_run() function in spot::couvreur99_check_result
|
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/gtec/ |
| H A D | ce.hh | 41 virtual twa_run_ptr accepting_run() override;
|
| /dports/math/spot/spot-2.10.2/tests/core/ |
| H A D | ikwiad.cc | 262 bool accepting_run = false; in checked_main() local
336 accepting_run = true; in checked_main()
340 accepting_run = true; in checked_main()
444 accepting_run = true; in checked_main()
1502 else if (accepting_run) in checked_main()
1506 auto run = res->accepting_run(); in checked_main()
|
| H A D | emptchk.cc | 163 if (auto run = res->accepting_run()) in main()
|
| /dports/math/py-spot/spot-2.10.2/tests/core/ |
| H A D | ikwiad.cc | 262 bool accepting_run = false; in checked_main() local
336 accepting_run = true; in checked_main()
340 accepting_run = true; in checked_main()
444 accepting_run = true; in checked_main()
1502 else if (accepting_run) in checked_main()
1506 auto run = res->accepting_run(); in checked_main()
|
| H A D | emptchk.cc | 163 if (auto run = res->accepting_run())
|
| /dports/math/spot/spot-2.10.2/spot/twaalgos/ |
| H A D | couvreurnew.cc | 367 accepting_run() override;
498 couvreur99_new_result<is_explicit>::accepting_run() in accepting_run() function in spot::__anon375c87fa0111::couvreur99_new_result
596 accepting_run() in accepting_run() function in spot::__anon375c87fa0111::couvreur99_new
598 return check_impl<true>()->accepting_run(); in accepting_run()
|
| H A D | magic.cc | 340 virtual twa_run_ptr accepting_run() override in accepting_run() function in spot::__anon6c4be9d60111::magic_search_::result_from_stack
420 virtual twa_run_ptr accepting_run() override in accepting_run() function in spot::__anon6c4be9d60111::magic_search_::magic_search_result
422 return computer->accepting_run(); in accepting_run()
|
| H A D | se05.cc | 345 virtual twa_run_ptr accepting_run() override in accepting_run() function in spot::__anon621c74120111::se05_search::result_from_stack
431 virtual twa_run_ptr accepting_run() override in accepting_run() function in spot::__anon621c74120111::se05_search::se05_result
433 return computer->accepting_run(); in accepting_run()
|
| H A D | emptiness.hh | 110 virtual twa_run_ptr accepting_run();
|
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
| H A D | couvreurnew.cc | 367 accepting_run() override;
498 couvreur99_new_result<is_explicit>::accepting_run() in accepting_run() function in spot::__anon566c55100111::couvreur99_new_result
596 accepting_run() in accepting_run() function in spot::__anon566c55100111::couvreur99_new
598 return check_impl<true>()->accepting_run(); in accepting_run()
|
| H A D | magic.cc | 340 virtual twa_run_ptr accepting_run() override in accepting_run() function in spot::__anonbda51e6c0111::magic_search_::result_from_stack
420 virtual twa_run_ptr accepting_run() override in accepting_run() function in spot::__anonbda51e6c0111::magic_search_::magic_search_result
422 return computer->accepting_run(); in accepting_run()
|
| H A D | se05.cc | 345 virtual twa_run_ptr accepting_run() override in accepting_run() function in spot::__anonf0366de80111::se05_search::result_from_stack
431 virtual twa_run_ptr accepting_run() override in accepting_run() function in spot::__anonf0366de80111::se05_search::se05_result
433 return computer->accepting_run(); in accepting_run()
|
| H A D | emptiness.hh | 110 virtual twa_run_ptr accepting_run();
|