/dports/math/spot/spot-2.10.2/tests/python/ |
H A D | otfcrash.py | 51 p = spot.otf_product(k, a)
|
H A D | prodexpt.py | 35 spot.otf_product(aut1, aut2)
|
H A D | ltsmin-dve.ipynb | 1269 …onize that automaton with the Kripke structure using `spot.otf_product()`. This `otf_product()` f… 1539 "spot.otf_product(k, a)" 1581 " return spot.otf_product(ss, nf.translate()).is_empty() " 1608 …"Instead of `otf_product(x, y).is_empty()` we prefer to call `!x.intersects(y)`. There is also `x…
|
H A D | highlighting.ipynb | 2620 "prod2 = spot.otf_product(left2, right2) # Note \"otf_product()\"\n",
|
/dports/math/py-spot/spot-2.10.2/tests/python/ |
H A D | otfcrash.py | 51 p = spot.otf_product(k, a)
|
H A D | prodexpt.py | 35 spot.otf_product(aut1, aut2)
|
H A D | ltsmin-dve.ipynb | 1269 …onize that automaton with the Kripke structure using `spot.otf_product()`. This `otf_product()` f… 1539 "spot.otf_product(k, a)" 1581 " return spot.otf_product(ss, nf.translate()).is_empty() " 1608 …"Instead of `otf_product(x, y).is_empty()` we prefer to call `!x.intersects(y)`. There is also `x…
|
H A D | highlighting.ipynb | 2620 "prod2 = spot.otf_product(left2, right2) # Note \"otf_product()\"\n",
|
/dports/math/spot/spot-2.10.2/spot/twa/ |
H A D | twa.cc | 157 return !otf_product(self, other)->is_empty(); in intersects() 182 auto run = otf_product(self, other)->accepting_run(); in intersecting_run()
|
H A D | twaproduct.hh | 131 inline twa_product_ptr otf_product(const const_twa_ptr& left, in otf_product() function
|
/dports/math/py-spot/spot-2.10.2/spot/twa/ |
H A D | twa.cc | 157 return !otf_product(self, other)->is_empty(); in intersects() 182 auto run = otf_product(self, other)->accepting_run(); in intersecting_run()
|
H A D | twaproduct.hh | 131 inline twa_product_ptr otf_product(const const_twa_ptr& left, in otf_product() function
|
/dports/math/spot/spot-2.10.2/tests/ltsmin/ |
H A D | modelcheck.cc | 343 product = spot::otf_product(model, prop); in checked_main()
|
/dports/math/py-spot/spot-2.10.2/tests/ltsmin/ |
H A D | modelcheck.cc | 343 product = spot::otf_product(model, prop); in checked_main()
|
/dports/math/spot/spot-2.10.2/spot/twaalgos/ |
H A D | stutter.cc | 605 return otf_product(make_tgbasl(std::move(aut_f)), in do_si_check()
|
/dports/math/spot/spot-2.10.2/tests/core/ |
H A D | ikwiad.cc | 1270 a = spot::otf_product(system_aut, a); in checked_main()
|
/dports/math/py-spot/spot-2.10.2/tests/core/ |
H A D | ikwiad.cc | 1270 a = spot::otf_product(system_aut, a); in checked_main()
|
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
H A D | stutter.cc | 605 return otf_product(make_tgbasl(std::move(aut_f)), in do_si_check()
|
/dports/math/spot/spot-2.10.2/python/spot/ |
H A D | impl.py | 1976 otf_product = _impl.otf_product variable
|
H A D | impl_wrap.cxx | 70370 …result = spot::otf_product((std::shared_ptr< spot::twa const > const &)*arg1,(std::shared_ptr< spo… in _wrap_otf_product()
|
/dports/math/py-spot/spot-2.10.2/python/spot/ |
H A D | impl.py | 1976 otf_product = _impl.otf_product variable
|
/dports/math/spot/spot-2.10.2/ |
H A D | NEWS | 2554 - spot::otf_product() was incorrectly registering atomic 2846 !otf_product(aut, other)->is_empty() 2847 otf_product(aut, other)->accepting_run()->project(aut) 2848 otf_product(aut, other)->accepting_word() 3503 * destroying the operands of an otf_product() before the product
|
H A D | ChangeLog | 21109 otf_product: fix deletion of iter_cache_ 29058 product: rename the one-the-fly version as otf_product 29064 (otf_product, otf_product_at): ... this.
|
/dports/math/py-spot/spot-2.10.2/ |
H A D | NEWS | 2554 - spot::otf_product() was incorrectly registering atomic 2846 !otf_product(aut, other)->is_empty() 2847 otf_product(aut, other)->accepting_run()->project(aut) 2848 otf_product(aut, other)->accepting_word() 3503 * destroying the operands of an otf_product() before the product
|
H A D | ChangeLog | 21109 otf_product: fix deletion of iter_cache_ 29058 product: rename the one-the-fly version as otf_product 29064 (otf_product, otf_product_at): ... this.
|