Commit 44546021 authored by Etienne Renault's avatar Etienne Renault

mc: clarify method name

* 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.
parent 7732418b
......@@ -424,7 +424,7 @@ namespace spot
using shared_struct = uf;
using shared_map = typename uf::shared_map;
static shared_struct* make_shared_st(shared_map m, unsigned i)
static shared_struct* make_shared_structure(shared_map m, unsigned i)
{
return new uf(m, i);
}
......
......@@ -461,7 +461,7 @@ namespace spot
using shared_struct = uf;
using shared_map = typename uf::shared_map;
static shared_struct* make_shared_st(shared_map m, unsigned i)
static shared_struct* make_shared_structure(shared_map m, unsigned i)
{
return new uf(m, i);
}
......
......@@ -101,7 +101,7 @@ namespace spot
state_hasher>;
using shared_struct = shared_map;
static shared_struct* make_shared_st(shared_map m, unsigned i)
static shared_struct* make_shared_structure(shared_map m, unsigned i)
{
return nullptr; // Useless here.
}
......
......@@ -86,7 +86,7 @@ namespace spot
pair_hasher>;
using shared_struct = shared_map;
static shared_struct* make_shared_st(shared_map, unsigned)
static shared_struct* make_shared_structure(shared_map, unsigned)
{
return nullptr; // Useless
}
......
......@@ -70,7 +70,7 @@ namespace spot
using shared_map = int; // Useless here.
using shared_struct = int; // Useless here.
static shared_struct* make_shared_st(shared_map m, unsigned i)
static shared_struct* make_shared_structure(shared_map m, unsigned i)
{
return nullptr; // Useless
}
......
......@@ -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");
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment