Searched defs:generalized_buchi (Results 1 – 4 of 4) sorted by relevance
781 static acc_code generalized_buchi(unsigned n) in generalized_buchi() function
1274 generalized_buchi = _swig_new_static_method(_impl.acc_code_generalized_buchi) variable in acc_code