alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

product: fix handling of output_aborter

Browse source 
* spot/twaalgos/product.cc: The res pointer should be
passed by reference since we reset it to nullptr when
output_aborter says "too large".
* python/spot/impl.i: Add binding for powerset.hh,
so we can use output_aborter in Python.
* tests/python/prodexpt.py: Test it.
This commit is contained in:
Alexandre Duret-Lutz 2019-07-09 14:05:06 +02:00
parent 396dcabd7d
commit 1d7ad07c83
3 changed files with 71 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/product.cc
View file

@ -48,7 +48,7 @@ namespace spot
const const_twa_graph_ptr& right,
unsigned left_state,
unsigned right_state,
twa_graph_ptr res, T merge_acc,
twa_graph_ptr& res, T merge_acc,
const output_aborter* aborter)
{
std::unordered_map<product_state, unsigned, product_state_hash> s2n;