Home
last modified time | relevance | path

Searched refs:acc_code_buchi (Results 1 – 2 of 2) sorted by relevance

/dports/math/spot/spot-2.10.2/python/spot/
H A Dimpl.py1272 buchi = _swig_new_static_method(_impl.acc_code_buchi)
1334 acc_code_buchi = _impl.acc_code_buchi variable
/dports/math/py-spot/spot-2.10.2/python/spot/
H A Dimpl.py1272 buchi = _swig_new_static_method(_impl.acc_code_buchi)
1334 acc_code_buchi = _impl.acc_code_buchi variable