Home
last modified time | relevance | path

Searched defs:Buchi (Results 1 – 4 of 4) sorted by relevance

/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dpostproc.hh91 Buchi = 256, // introduced in Spot 2.10, does not imply SBAcc enumerator
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dpostproc.hh91 Buchi = 256, // introduced in Spot 2.10, does not imply SBAcc enumerator
/dports/math/spot/spot-2.10.2/python/spot/
H A Dimpl.py2866 Buchi = _impl.postprocessor_Buchi variable in postprocessor
/dports/math/py-spot/spot-2.10.2/python/spot/
H A Dimpl.py2866 Buchi = _impl.postprocessor_Buchi variable in postprocessor