Searched defs:degen_order_ (Results 1 – 2 of 2) sorted by relevance
| /dports/math/spot/spot-2.10.2/spot/twaalgos/ | ||
| H A D | postproc.hh | 244 bool degen_order_ = false; member in spot::postprocessor |
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/ | ||
| H A D | postproc.hh | 244 bool degen_order_ = false; member in spot::postprocessor |