Searched refs:testing_automaton (Results 1 – 6 of 6) sorted by relevance
| /dports/math/spot/spot-2.10.2/bin/ |
| H A D | ltl2tgta.cc | 199 auto testing_automaton = in process_formula() local
205 testing_automaton = spot::minimize_ta(testing_automaton); in process_formula()
206 spot::print_dot(std::cout, testing_automaton); in process_formula()
|
| /dports/math/py-spot/spot-2.10.2/bin/ |
| H A D | ltl2tgta.cc | 199 auto testing_automaton = in process_formula() local
205 testing_automaton = spot::minimize_ta(testing_automaton); in process_formula()
206 spot::print_dot(std::cout, testing_automaton); in process_formula()
|
| /dports/math/spot/spot-2.10.2/spot/ta/ |
| H A D | taproduct.hh | 132 ta_product(const const_ta_ptr& testing_automaton,
198 inline ta_product_ptr product(const const_ta_ptr& testing_automaton, in product() argument
201 return std::make_shared<ta_product>(testing_automaton, kripke_structure); in product()
|
| /dports/math/py-spot/spot-2.10.2/spot/ta/ |
| H A D | taproduct.hh | 132 ta_product(const const_ta_ptr& testing_automaton,
198 inline ta_product_ptr product(const const_ta_ptr& testing_automaton, in product() argument
201 return std::make_shared<ta_product>(testing_automaton, kripke_structure); in product()
|
| /dports/math/spot/spot-2.10.2/tests/core/ |
| H A D | ikwiad.cc | 1198 auto testing_automaton in checked_main() local
1208 testing_automaton = minimize_ta(testing_automaton); in checked_main()
1218 spot::print_dot(std::cout, testing_automaton); in checked_main()
1221 stats_reachable(testing_automaton).dump(std::cout); in checked_main()
|
| /dports/math/py-spot/spot-2.10.2/tests/core/ |
| H A D | ikwiad.cc | 1198 auto testing_automaton in checked_main() local
1208 testing_automaton = minimize_ta(testing_automaton); in checked_main()
1218 spot::print_dot(std::cout, testing_automaton); in checked_main()
1221 stats_reachable(testing_automaton).dump(std::cout); in checked_main()
|