| /dports/math/spot/spot-2.10.2/spot/parseaut/ |
| H A D | public.hh | 120 class SPOT_API automaton_stream_parser final class
131 automaton_stream_parser(const std::string& filename,
141 automaton_stream_parser(int fd, const std::string& filename,
149 automaton_stream_parser(const char* data,
153 ~automaton_stream_parser();
|
| H A D | parseaut.cc | 4404 automaton_stream_parser::automaton_stream_parser(const std::string& name, in automaton_stream_parser() function in spot::automaton_stream_parser
4418 automaton_stream_parser::automaton_stream_parser(int fd, in automaton_stream_parser() function in spot::automaton_stream_parser
4433 automaton_stream_parser::automaton_stream_parser(const char* data, in automaton_stream_parser() function in spot::automaton_stream_parser
4447 automaton_stream_parser::~automaton_stream_parser() in ~automaton_stream_parser()
4467 automaton_stream_parser::parse(const bdd_dict_ptr& dict, in parse()
4537 automaton_stream_parser p(filename, localopts); in parse_aut()
|
| H A D | parseaut.yy | 2553 automaton_stream_parser::automaton_stream_parser(const std::string& name,
2567 automaton_stream_parser::automaton_stream_parser(int fd,
2582 automaton_stream_parser::automaton_stream_parser(const char* data,
2596 automaton_stream_parser::~automaton_stream_parser()
2616 automaton_stream_parser::parse(const bdd_dict_ptr& dict,
2686 automaton_stream_parser p(filename, localopts);
|
| /dports/math/py-spot/spot-2.10.2/spot/parseaut/ |
| H A D | public.hh | 120 class SPOT_API automaton_stream_parser final class
131 automaton_stream_parser(const std::string& filename,
141 automaton_stream_parser(int fd, const std::string& filename,
149 automaton_stream_parser(const char* data,
153 ~automaton_stream_parser();
|
| H A D | parseaut.cc | 4404 automaton_stream_parser::automaton_stream_parser(const std::string& name, in automaton_stream_parser() function in spot::automaton_stream_parser
4418 automaton_stream_parser::automaton_stream_parser(int fd, in automaton_stream_parser() function in spot::automaton_stream_parser
4433 automaton_stream_parser::automaton_stream_parser(const char* data, in automaton_stream_parser() function in spot::automaton_stream_parser
4447 automaton_stream_parser::~automaton_stream_parser() in ~automaton_stream_parser()
4467 automaton_stream_parser::parse(const bdd_dict_ptr& dict, in parse()
4537 automaton_stream_parser p(filename, localopts); in parse_aut()
|
| H A D | parseaut.yy | 2553 automaton_stream_parser::automaton_stream_parser(const std::string& name,
2567 automaton_stream_parser::automaton_stream_parser(int fd,
2582 automaton_stream_parser::automaton_stream_parser(const char* data,
2596 automaton_stream_parser::~automaton_stream_parser()
2616 automaton_stream_parser::parse(const bdd_dict_ptr& dict,
2686 automaton_stream_parser p(filename, localopts);
|
| /dports/math/spot/spot-2.10.2/bin/ |
| H A D | common_hoaread.hh | 72 (spot::automaton_stream_parser(input.c_str(), locstr, opt_parse)); in process_string()
121 return process_automaton_stream(spot::automaton_stream_parser(filename, in process_file()
125 int process_automaton_stream(spot::automaton_stream_parser&& hp) in process_automaton_stream()
|
| /dports/math/py-spot/spot-2.10.2/bin/ |
| H A D | common_hoaread.hh | 72 (spot::automaton_stream_parser(input.c_str(), locstr, opt_parse)); in process_string()
121 return process_automaton_stream(spot::automaton_stream_parser(filename, in process_file()
125 int process_automaton_stream(spot::automaton_stream_parser&& hp) in process_automaton_stream()
|
| /dports/math/spot/spot-2.10.2/tests/core/ |
| H A D | kripkecat.cc | 34 spot::automaton_stream_parser parser(argv[1], opts); in main()
|
| /dports/math/py-spot/spot-2.10.2/tests/core/ |
| H A D | kripkecat.cc | 34 spot::automaton_stream_parser parser(argv[1], opts); in main()
|
| /dports/math/spot/spot-2.10.2/python/spot/ |
| H A D | __init__.py | 653 p = automaton_stream_parser(proc.stdout.fileno(),
670 p = automaton_stream_parser(out, filename, o)
672 p = automaton_stream_parser(filename, "<string>", o)
674 p = automaton_stream_parser(filename, o)
|
| H A D | impl.py | 3443 class automaton_stream_parser(object): class
3453 _impl.automaton_stream_parser_swigregister(automaton_stream_parser)
|
| H A D | impl_wrap.cxx | 131601 spot::automaton_stream_parser *result = 0 ; in _wrap_new_automaton_stream_parser__SWIG_0()
131630 …result = (spot::automaton_stream_parser *)new spot::automaton_stream_parser((std::string const &)*… in _wrap_new_automaton_stream_parser__SWIG_0()
131650 spot::automaton_stream_parser *result = 0 ; in _wrap_new_automaton_stream_parser__SWIG_1()
131666 …result = (spot::automaton_stream_parser *)new spot::automaton_stream_parser((std::string const &)*… in _wrap_new_automaton_stream_parser__SWIG_1()
131692 spot::automaton_stream_parser *result = 0 ; in _wrap_new_automaton_stream_parser__SWIG_2()
131726 …result = (spot::automaton_stream_parser *)new spot::automaton_stream_parser(arg1,(std::string cons… in _wrap_new_automaton_stream_parser__SWIG_2()
131749 spot::automaton_stream_parser *result = 0 ; in _wrap_new_automaton_stream_parser__SWIG_3()
131770 …result = (spot::automaton_stream_parser *)new spot::automaton_stream_parser(arg1,(std::string cons… in _wrap_new_automaton_stream_parser__SWIG_3()
131984 spot::automaton_stream_parser *arg1 = (spot::automaton_stream_parser *) 0 ; in _wrap_delete_automaton_stream_parser()
132014 spot::automaton_stream_parser *arg1 = (spot::automaton_stream_parser *) 0 ; in _wrap_automaton_stream_parser_parse__SWIG_0()
[all …]
|
| /dports/math/py-spot/spot-2.10.2/python/spot/ |
| H A D | __init__.py | 653 p = automaton_stream_parser(proc.stdout.fileno(),
670 p = automaton_stream_parser(out, filename, o)
672 p = automaton_stream_parser(filename, "<string>", o)
674 p = automaton_stream_parser(filename, o)
|
| H A D | impl.py | 3443 class automaton_stream_parser(object): class
3453 _impl.automaton_stream_parser_swigregister(automaton_stream_parser)
|
| H A D | impl_wrap.cxx | 131601 spot::automaton_stream_parser *result = 0 ; in _wrap_new_automaton_stream_parser__SWIG_0()
131630 …result = (spot::automaton_stream_parser *)new spot::automaton_stream_parser((std::string const &)*… in _wrap_new_automaton_stream_parser__SWIG_0()
131650 spot::automaton_stream_parser *result = 0 ; in _wrap_new_automaton_stream_parser__SWIG_1()
131666 …result = (spot::automaton_stream_parser *)new spot::automaton_stream_parser((std::string const &)*… in _wrap_new_automaton_stream_parser__SWIG_1()
131692 spot::automaton_stream_parser *result = 0 ; in _wrap_new_automaton_stream_parser__SWIG_2()
131726 …result = (spot::automaton_stream_parser *)new spot::automaton_stream_parser(arg1,(std::string cons… in _wrap_new_automaton_stream_parser__SWIG_2()
131749 spot::automaton_stream_parser *result = 0 ; in _wrap_new_automaton_stream_parser__SWIG_3()
131770 …result = (spot::automaton_stream_parser *)new spot::automaton_stream_parser(arg1,(std::string cons… in _wrap_new_automaton_stream_parser__SWIG_3()
131984 spot::automaton_stream_parser *arg1 = (spot::automaton_stream_parser *) 0 ; in _wrap_delete_automaton_stream_parser()
132014 spot::automaton_stream_parser *arg1 = (spot::automaton_stream_parser *) 0 ; in _wrap_automaton_stream_parser_parse__SWIG_0()
[all …]
|
| /dports/math/spot/spot-2.10.2/doc/org/ |
| H A D | tut20.org | 217 =spot::automaton_stream_parser= object and call its =parse()= method
221 wrapper that instantiates an =automaton_stream_parser= and calls its
|
| /dports/math/py-spot/spot-2.10.2/doc/org/ |
| H A D | tut20.org | 217 =spot::automaton_stream_parser= object and call its =parse()= method
221 wrapper that instantiates an =automaton_stream_parser= and calls its
|
| /dports/math/spot/spot-2.10.2/ |
| H A D | NEWS | 2310 using multiple spot::automaton_stream_parser instances at once).
2873 * When the automaton_stream_parser reads an automaton from an
3800 automaton_stream_parser::parse_strict().
4240 spot::automaton_stream_parser object or spot::parse_aut()
|
| H A D | ChangeLog | 25417 automaton_stream_parser, and hoa_parse() has become parse_aut().
|
| /dports/math/py-spot/spot-2.10.2/ |
| H A D | NEWS | 2310 using multiple spot::automaton_stream_parser instances at once).
2873 * When the automaton_stream_parser reads an automaton from an
3800 automaton_stream_parser::parse_strict().
4240 spot::automaton_stream_parser object or spot::parse_aut()
|
| H A D | ChangeLog | 25417 automaton_stream_parser, and hoa_parse() has become parse_aut().
|