/dports/math/spot/spot-2.10.2/tests/python/ |
H A D | parsetgba.py | 35 a = spot.parse_aut(filename, spot.make_bdd_dict())
|
/dports/math/py-spot/spot-2.10.2/tests/python/ |
H A D | parsetgba.py | 35 a = spot.parse_aut(filename, spot.make_bdd_dict())
|
/dports/math/spot/spot-2.10.2/bin/ |
H A D | common_hoaread.cc | 44 auto p = spot::parse_aut(filename, dict, in read_automaton()
|
H A D | ltldo.cc | 268 auto aut = spot::parse_aut(output.val()->name(), dict, in translate()
|
H A D | autcross.cc | 470 auto aut = spot::parse_aut(output.val()->name(), dict, in run_tool()
|
/dports/math/py-spot/spot-2.10.2/bin/ |
H A D | common_hoaread.cc | 44 auto p = spot::parse_aut(filename, dict, in read_automaton()
|
H A D | ltldo.cc | 268 auto aut = spot::parse_aut(output.val()->name(), dict, in translate()
|
H A D | autcross.cc | 470 auto aut = spot::parse_aut(output.val()->name(), dict, in run_tool()
|
/dports/math/spot/spot-2.10.2/spot/parseaut/ |
H A D | public.hh | 192 parse_aut(const std::string& filename,
|
/dports/math/py-spot/spot-2.10.2/spot/parseaut/ |
H A D | public.hh | 192 parse_aut(const std::string& filename,
|
/dports/math/spot/spot-2.10.2/tests/core/ |
H A D | safra.cc | 126 auto aut = spot::parse_aut(input, dict); in main()
|
H A D | ikwiad.cc | 470 auto paut = spot::parse_aut(argv[formula_index] + 3, dict, env, opts); in checked_main() 523 auto daut = spot::parse_aut(argv[formula_index] + 2, dict, env, opts); in checked_main() 873 auto daut = spot::parse_aut(input, dict, env, opts); in checked_main()
|
/dports/math/py-spot/spot-2.10.2/tests/core/ |
H A D | safra.cc | 126 auto aut = spot::parse_aut(input, dict);
|
H A D | ikwiad.cc | 470 auto paut = spot::parse_aut(argv[formula_index] + 3, dict, env, opts); in checked_main() 523 auto daut = spot::parse_aut(argv[formula_index] + 2, dict, env, opts); in checked_main() 873 auto daut = spot::parse_aut(input, dict, env, opts); in checked_main()
|
/dports/math/spot/spot-2.10.2/doc/org/ |
H A D | tut20.org | 130 =parse_aut()= function takes a filename and a BDD dictionary (to be 149 spot::parsed_aut_ptr pa = parse_aut("tut20.never", dict); 220 read. The =parse_aut()= function is actually a simple convenience
|
H A D | tut31.org | 140 spot::parsed_aut_ptr pa = parse_aut("tut31.hoa", spot::make_bdd_dict());
|
H A D | upgrade2.org | 610 | ~dstar_parse()~ | ~parse_aut()~ … 620 | ~kripke_parse()~ | ~parse_aut()~ … 623 | ~lbtt_parse()~ | ~parse_aut()~ … 638 | ~neverclaim_parse()~ | ~parse_aut()~ … 656 | ~tgba_parse()~ | ~parse_aut()~ …
|
H A D | tut30.org | 189 spot::parsed_aut_ptr pa = parse_aut("tut30.hoa", spot::make_bdd_dict());
|
H A D | tut24.org | 88 spot::parsed_aut_ptr pa = parse_aut("tut24.hoa", spot::make_bdd_dict());
|
H A D | tut40.org | 366 spot::parsed_aut_ptr pa = parse_aut("tut40.hoa", spot::make_bdd_dict());
|
/dports/math/py-spot/spot-2.10.2/doc/org/ |
H A D | tut20.org | 130 =parse_aut()= function takes a filename and a BDD dictionary (to be 149 spot::parsed_aut_ptr pa = parse_aut("tut20.never", dict); 220 read. The =parse_aut()= function is actually a simple convenience
|
H A D | tut31.org | 140 spot::parsed_aut_ptr pa = parse_aut("tut31.hoa", spot::make_bdd_dict());
|
H A D | upgrade2.org | 610 | ~dstar_parse()~ | ~parse_aut()~ … 620 | ~kripke_parse()~ | ~parse_aut()~ … 623 | ~lbtt_parse()~ | ~parse_aut()~ … 638 | ~neverclaim_parse()~ | ~parse_aut()~ … 656 | ~tgba_parse()~ | ~parse_aut()~ …
|
H A D | tut30.org | 189 spot::parsed_aut_ptr pa = parse_aut("tut30.hoa", spot::make_bdd_dict());
|
H A D | tut24.org | 88 spot::parsed_aut_ptr pa = parse_aut("tut24.hoa", spot::make_bdd_dict());
|