Searched defs:want_kripke (Results 1 – 6 of 6) sorted by relevance
98 bool want_kripke = false; ///< Parse as a Kripke structure. member
552 want_kripke=False): argument
3434 …want_kripke = property(_impl.automaton_parser_options_want_kripke_get, _impl.automaton_parser_opti… variable in automaton_parser_options