Home
last modified time | relevance | path

Searched refs:otf_product (Results 1 – 25 of 26) sorted by relevance

12

/dports/math/spot/spot-2.10.2/tests/python/
H A Dotfcrash.py51 p = spot.otf_product(k, a)
H A Dprodexpt.py35 spot.otf_product(aut1, aut2)
H A Dltsmin-dve.ipynb1269 …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 Dhighlighting.ipynb2620 "prod2 = spot.otf_product(left2, right2) # Note \"otf_product()\"\n",
/dports/math/py-spot/spot-2.10.2/tests/python/
H A Dotfcrash.py51 p = spot.otf_product(k, a)
H A Dprodexpt.py35 spot.otf_product(aut1, aut2)
H A Dltsmin-dve.ipynb1269 …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 Dhighlighting.ipynb2620 "prod2 = spot.otf_product(left2, right2) # Note \"otf_product()\"\n",
/dports/math/spot/spot-2.10.2/spot/twa/
H A Dtwa.cc157 return !otf_product(self, other)->is_empty(); in intersects()
182 auto run = otf_product(self, other)->accepting_run(); in intersecting_run()
H A Dtwaproduct.hh131 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 Dtwa.cc157 return !otf_product(self, other)->is_empty(); in intersects()
182 auto run = otf_product(self, other)->accepting_run(); in intersecting_run()
H A Dtwaproduct.hh131 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 Dmodelcheck.cc343 product = spot::otf_product(model, prop); in checked_main()
/dports/math/py-spot/spot-2.10.2/tests/ltsmin/
H A Dmodelcheck.cc343 product = spot::otf_product(model, prop); in checked_main()
/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dstutter.cc605 return otf_product(make_tgbasl(std::move(aut_f)), in do_si_check()
/dports/math/spot/spot-2.10.2/tests/core/
H A Dikwiad.cc1270 a = spot::otf_product(system_aut, a); in checked_main()
/dports/math/py-spot/spot-2.10.2/tests/core/
H A Dikwiad.cc1270 a = spot::otf_product(system_aut, a); in checked_main()
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dstutter.cc605 return otf_product(make_tgbasl(std::move(aut_f)), in do_si_check()
/dports/math/spot/spot-2.10.2/python/spot/
H A Dimpl.py1976 otf_product = _impl.otf_product variable
H A Dimpl_wrap.cxx70370 …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 Dimpl.py1976 otf_product = _impl.otf_product variable
/dports/math/spot/spot-2.10.2/
H A DNEWS2554 - 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 DChangeLog21109 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 DNEWS2554 - 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 DChangeLog21109 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.

12