Home
last modified time | relevance | path

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

/dports/math/spot/spot-2.10.2/spot/twa/
H A Dacc.hh37 class mark_container;
440 spot::internal::mark_container sets() const;
2398 class SPOT_API mark_container class
2401 mark_container(spot::acc_cond::mark_t m) noexcept in mark_container() function in spot::internal::mark_container
2419 inline spot::internal::mark_container acc_cond::mark_t::sets() const in sets()
/dports/math/py-spot/spot-2.10.2/spot/twa/
H A Dacc.hh37 class mark_container;
440 spot::internal::mark_container sets() const;
2398 class SPOT_API mark_container class
2401 mark_container(spot::acc_cond::mark_t m) noexcept in mark_container() function in spot::internal::mark_container
2419 inline spot::internal::mark_container acc_cond::mark_t::sets() const in sets()
/dports/math/spot/spot-2.10.2/python/spot/
H A Dimpl.i1071 %extend spot::internal::mark_container {
H A Dimpl.py1399 class mark_container(object): class
1411 _impl.mark_container_swigregister(mark_container)
H A Dimpl_wrap.cxx49160 SwigValueWrapper< spot::internal::mark_container > result; in _wrap_mark_t_sets()
53901 spot::internal::mark_container *result = 0 ; in _wrap_new_mark_container()
53920 result = (spot::internal::mark_container *)new spot::internal::mark_container(arg1); in _wrap_new_mark_container()
53936 spot::internal::mark_container *arg1 = (spot::internal::mark_container *) 0 ; in _wrap_mark_container_begin()
53948 arg1 = reinterpret_cast< spot::internal::mark_container * >(argp1); in _wrap_mark_container_begin()
53967 spot::internal::mark_container *arg1 = (spot::internal::mark_container *) 0 ; in _wrap_mark_container_end()
53979 arg1 = reinterpret_cast< spot::internal::mark_container * >(argp1); in _wrap_mark_container_end()
53982 result = ((spot::internal::mark_container const *)arg1)->end(); in _wrap_mark_container_end()
53998 spot::internal::mark_container *arg1 = (spot::internal::mark_container *) 0 ; in _wrap_mark_container___iter__()
54012 arg1 = reinterpret_cast< spot::internal::mark_container * >(argp1); in _wrap_mark_container___iter__()
[all …]
/dports/math/py-spot/spot-2.10.2/python/spot/
H A Dimpl.i1071 %extend spot::internal::mark_container {
H A Dimpl.py1399 class mark_container(object): class
1411 _impl.mark_container_swigregister(mark_container)
H A Dimpl_wrap.cxx49160 SwigValueWrapper< spot::internal::mark_container > result; in _wrap_mark_t_sets()
53901 spot::internal::mark_container *result = 0 ; in _wrap_new_mark_container()
53920 result = (spot::internal::mark_container *)new spot::internal::mark_container(arg1); in _wrap_new_mark_container()
53936 spot::internal::mark_container *arg1 = (spot::internal::mark_container *) 0 ; in _wrap_mark_container_begin()
53948 arg1 = reinterpret_cast< spot::internal::mark_container * >(argp1); in _wrap_mark_container_begin()
53967 spot::internal::mark_container *arg1 = (spot::internal::mark_container *) 0 ; in _wrap_mark_container_end()
53979 arg1 = reinterpret_cast< spot::internal::mark_container * >(argp1); in _wrap_mark_container_end()
53982 result = ((spot::internal::mark_container const *)arg1)->end(); in _wrap_mark_container_end()
53998 spot::internal::mark_container *arg1 = (spot::internal::mark_container *) 0 ; in _wrap_mark_container___iter__()
54012 arg1 = reinterpret_cast< spot::internal::mark_container * >(argp1); in _wrap_mark_container___iter__()
[all …]
/dports/math/spot/spot-2.10.2/
H A DChangeLog15613 * python/spot/impl.i: Declares mark_container as iterable to SWIG.
/dports/math/py-spot/spot-2.10.2/
H A DChangeLog15613 * python/spot/impl.i: Declares mark_container as iterable to SWIG.