Searched refs:tgba_to_tgta (Results 1 – 14 of 14) sorted by relevance
/dports/math/spot/spot-2.10.2/spot/taalgos/ |
H A D | tgba2ta.hh | 89 tgba_to_tgta(const const_twa_ptr& tgba_to_convert,
|
H A D | tgba2ta.cc | 568 tgba_to_tgta(const const_twa_ptr& tgba_, bdd atomic_propositions_set_) in tgba_to_tgta() function
|
/dports/math/py-spot/spot-2.10.2/spot/taalgos/ |
H A D | tgba2ta.hh | 89 tgba_to_tgta(const const_twa_ptr& tgba_to_convert,
|
H A D | tgba2ta.cc | 568 tgba_to_tgta(const const_twa_ptr& tgba_, bdd atomic_propositions_set_)
|
/dports/math/spot/spot-2.10.2/tests/core/ |
H A D | checkta.cc | 103 auto t = spot::tgba_to_tgta(a, ap_set); in main()
|
H A D | ikwiad.cc | 1234 auto tgta = tgba_to_tgta(a, atomic_props_set_bdd); in checked_main()
|
/dports/math/py-spot/spot-2.10.2/tests/core/ |
H A D | checkta.cc | 103 auto t = spot::tgba_to_tgta(a, ap_set); in main()
|
H A D | ikwiad.cc | 1234 auto tgta = tgba_to_tgta(a, atomic_props_set_bdd); in checked_main()
|
/dports/math/spot/spot-2.10.2/bin/ |
H A D | ltl2tgta.cc | 210 auto tgta = tgba_to_tgta(aut, ap_set); in process_formula()
|
/dports/math/py-spot/spot-2.10.2/bin/ |
H A D | ltl2tgta.cc | 210 auto tgta = tgba_to_tgta(aut, ap_set); in process_formula()
|
/dports/math/spot/spot-2.10.2/python/spot/ |
H A D | impl.py | 3561 tgba_to_tgta = _impl.tgba_to_tgta variable
|
H A D | impl_wrap.cxx | 135625 result = spot::tgba_to_tgta((std::shared_ptr< spot::twa const > const &)*arg1,arg2); in _wrap_tgba_to_tgta()
|
/dports/math/py-spot/spot-2.10.2/python/spot/ |
H A D | impl.py | 3561 tgba_to_tgta = _impl.tgba_to_tgta variable
|
H A D | impl_wrap.cxx | 135625 result = spot::tgba_to_tgta((std::shared_ptr< spot::twa const > const &)*arg1,arg2); in _wrap_tgba_to_tgta()
|