Home
last modified time | relevance | path

Searched refs:acceptance_states (Results 1 – 10 of 10) sorted by relevance

/dports/math/spot/spot-2.10.2/spot/taalgos/
H A Dstats.hh35 unsigned acceptance_states; member
H A Dstats.cc47 ++s_.acceptance_states; in process_state()
/dports/math/py-spot/spot-2.10.2/spot/taalgos/
H A Dstats.hh35 unsigned acceptance_states; member
H A Dstats.cc47 ++s_.acceptance_states; in process_state()
/dports/math/spot/spot-2.10.2/tests/core/
H A Dcheckta.cc52 << std::setw(6) << s.acceptance_states << '\n'; in stats()
/dports/math/py-spot/spot-2.10.2/tests/core/
H A Dcheckta.cc52 << std::setw(6) << s.acceptance_states << '\n'; in stats()
/dports/math/spot/spot-2.10.2/python/spot/
H A Dimpl.py3568acceptance_states = property(_impl.ta_statistics_acceptance_states_get, _impl.ta_statistics_accept… variable in ta_statistics
H A Dimpl_wrap.cxx135958 if (arg1) (arg1)->acceptance_states = arg2; in _wrap_ta_statistics_acceptance_states_set()
135981 result = (unsigned int) ((arg1)->acceptance_states); in _wrap_ta_statistics_acceptance_states_get()
/dports/math/py-spot/spot-2.10.2/python/spot/
H A Dimpl.py3568acceptance_states = property(_impl.ta_statistics_acceptance_states_get, _impl.ta_statistics_accept… variable in ta_statistics
H A Dimpl_wrap.cxx135958 if (arg1) (arg1)->acceptance_states = arg2; in _wrap_ta_statistics_acceptance_states_set()
135981 result = (unsigned int) ((arg1)->acceptance_states); in _wrap_ta_statistics_acceptance_states_get()