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

mc: clarify method name

Browse source 
* spot/mc/bloemen.hh,
spot/mc/bloemen_ec.hh,
spot/mc/cndfs.hh,
spot/mc/deadlock.hh,
spot/mc/lpar13.hh,
spot/mc/mc_instanciator.hh: Here.
This commit is contained in:
Etienne Renault 2020-05-13 11:51:10 +02:00
parent ee01fdf209
commit 2d59a5c752
6 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/mc/mc_instanciator.hh
View file

@ -58,7 +58,7 @@ namespace spot
tm.start("Initialisation");
for (unsigned i = 0; i < nbth; ++i)
{
ss[i] = algo_name::make_shared_st(map, i);
ss[i] = algo_name::make_shared_structure(map, i);
swarmed[i] = new algo_name(*sys, prop, map, ss[i], i, stop);
}
tm.stop("Initialisation");