| /dports/math/spot/spot-2.10.2/bin/ |
| H A D | common_hoaread.cc | 82 opt_parse.trust_hoa = parse_bool("--trust-hoa", arg); in parse_opt_hoaread()
|
| /dports/math/py-spot/spot-2.10.2/bin/ |
| H A D | common_hoaread.cc | 82 opt_parse.trust_hoa = parse_bool("--trust-hoa", arg); in parse_opt_hoaread()
|
| /dports/math/spot/spot-2.10.2/spot/parseaut/ |
| H A D | public.hh | 96 bool trust_hoa = true; ///< Trust properties in HOA files member
|
| H A D | parseaut.cc | 1293 if (res.opts.trust_hoa) in parse()
|
| H A D | parseaut.yy | 575 if (res.opts.trust_hoa)
|
| /dports/math/py-spot/spot-2.10.2/spot/parseaut/ |
| H A D | public.hh | 96 bool trust_hoa = true; ///< Trust properties in HOA files member
|
| H A D | parseaut.cc | 1293 if (res.opts.trust_hoa) in parse()
|
| H A D | parseaut.yy | 575 if (res.opts.trust_hoa)
|
| /dports/math/spot/spot-2.10.2/python/spot/ |
| H A D | __init__.py | 551 trust_hoa=True, no_sid=False, debug=False, argument
632 o.trust_hoa = trust_hoa
|
| H A D | impl.py | 3432 …trust_hoa = property(_impl.automaton_parser_options_trust_hoa_get, _impl.automaton_parser_options_… variable in automaton_parser_options
|
| H A D | impl_wrap.cxx | 131397 if (arg1) (arg1)->trust_hoa = arg2; in _wrap_automaton_parser_options_trust_hoa_set()
131420 result = (bool) ((arg1)->trust_hoa); in _wrap_automaton_parser_options_trust_hoa_get()
|
| /dports/math/py-spot/spot-2.10.2/python/spot/ |
| H A D | __init__.py | 551 trust_hoa=True, no_sid=False, debug=False, argument
632 o.trust_hoa = trust_hoa
|
| H A D | impl.py | 3432 …trust_hoa = property(_impl.automaton_parser_options_trust_hoa_get, _impl.automaton_parser_options_… variable in automaton_parser_options
|
| H A D | impl_wrap.cxx | 131397 if (arg1) (arg1)->trust_hoa = arg2; in _wrap_automaton_parser_options_trust_hoa_set()
131420 result = (bool) ((arg1)->trust_hoa); in _wrap_automaton_parser_options_trust_hoa_get()
|
| /dports/math/spot/spot-2.10.2/tests/python/ |
| H A D | _autparserr.ipynb | 236 ….py\u001b[0m in \u001b[0;36mautomata\u001b[0;34m(timeout, ignore_abort, trust_hoa, no_sid, debug, …
259 ….py\u001b[0m in \u001b[0;36mautomata\u001b[0;34m(timeout, ignore_abort, trust_hoa, no_sid, debug, …
350 ….py\u001b[0m in \u001b[0;36mautomata\u001b[0;34m(timeout, ignore_abort, trust_hoa, no_sid, debug, …
|
| /dports/math/py-spot/spot-2.10.2/tests/python/ |
| H A D | _autparserr.ipynb | 236 ….py\u001b[0m in \u001b[0;36mautomata\u001b[0;34m(timeout, ignore_abort, trust_hoa, no_sid, debug, …
259 ….py\u001b[0m in \u001b[0;36mautomata\u001b[0;34m(timeout, ignore_abort, trust_hoa, no_sid, debug, …
350 ….py\u001b[0m in \u001b[0;36mautomata\u001b[0;34m(timeout, ignore_abort, trust_hoa, no_sid, debug, …
|
| /dports/math/spot/spot-2.10.2/ |
| H A D | NEWS | 3797 "trust_hoa": when true (the default) supported properties declared
3839 - trust_hoa: can be set to False to ignore HOA properties
|
| H A D | ChangeLog | 23297 parseaut: Add a trust_hoa option.
23301 * src/parseaut/public.hh: Add support for a trust_hoa option.
23302 * src/parseaut/parseaut.yy: If trust_hoa is set, recognize the
23315 * wrap/python/spot.py (automata): Add option trust_hoa.
|
| /dports/math/py-spot/spot-2.10.2/ |
| H A D | NEWS | 3797 "trust_hoa": when true (the default) supported properties declared
3839 - trust_hoa: can be set to False to ignore HOA properties
|
| H A D | ChangeLog | 23297 parseaut: Add a trust_hoa option.
23301 * src/parseaut/public.hh: Add support for a trust_hoa option.
23302 * src/parseaut/parseaut.yy: If trust_hoa is set, recognize the
23315 * wrap/python/spot.py (automata): Add option trust_hoa.
|