Home
last modified time | relevance | path

Searched defs:simul_max_ (Results 1 – 2 of 2) sorted by relevance

/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dpostproc.hh270 int simul_max_ = 4096; member in spot::postprocessor
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dpostproc.hh270 int simul_max_ = 4096; member in spot::postprocessor