Searched refs:exclusive_word (Results 1 – 14 of 14) sorted by relevance
232 twa::exclusive_word(const_twa_ptr other) const in exclusive_word() function in spot::twa
927 virtual twa_word_ptr exclusive_word(const_twa_ptr other) const;
313 …accepted by one of the two automata but not by both. The method `a1.exclusive_word(a2)` will retu…338 "aut_f.exclusive_word(aut_g)"
1598 exclusive_word = _swig_new_instance_method(_impl.twa_exclusive_word) variable in twa
57050 result = ((spot::twa const *)arg1)->exclusive_word(arg2); in _wrap_twa_exclusive_word()
556 intersecting_word(), exclusive_word(), which all call reduce().1571 - aut1->exclusive_word(aut2) is a new method that returns a word
9960 twa: introduce exclusive_word() and exclusive_run()