Commit c18ee329 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

determinize: rename the main function

* spot/twaalgos/determinize.cc, spot/twaalgos/determinize.hh,
tests/core/safra.cc (tgba_determinisation): Rename as...
(twa_determinisation): ... this.
parent 4635ce44
......@@ -607,9 +607,9 @@ namespace spot
}
twa_graph_ptr
tgba_determinisation(const const_twa_graph_ptr& a,
bool pretty_print, bool use_scc,
bool use_simulation, bool use_stutter)
tgba_determinize(const const_twa_graph_ptr& a,
bool pretty_print, bool use_scc,
bool use_simulation, bool use_stutter)
{
// Degeneralize
twa_graph_ptr aut = spot::degeneralize_tba(a);
......
......@@ -73,9 +73,9 @@ namespace spot
/// spot::check_stutter_invariance() first if
/// possible.)
SPOT_API twa_graph_ptr
tgba_determinisation(const const_twa_graph_ptr& aut,
bool pretty_print = false,
bool use_scc = true,
bool use_simulation = true,
bool use_stutter = true);
tgba_determinize(const const_twa_graph_ptr& aut,
bool pretty_print = false,
bool use_scc = true,
bool use_simulation = true,
bool use_stutter = true);
}
......@@ -118,16 +118,16 @@ int main(int argc, char* argv[])
spot::translator trans(dict);
trans.set_pref(spot::postprocessor::Deterministic);
auto tmp = trans.run(f);
res = spot::tgba_determinisation(tmp, pretty_print, scc_opt,
use_bisim, use_stutter);
res = spot::tgba_determinize(tmp, pretty_print, scc_opt,
use_bisim, use_stutter);
}
else if (in_hoa)
{
auto aut = spot::parse_aut(input, dict);
if (aut->format_errors(std::cerr))
return 2;
res = tgba_determinisation(aut->aut, pretty_print, scc_opt,
use_bisim, use_stutter);
res = tgba_determinize(aut->aut, pretty_print, scc_opt,
use_bisim, use_stutter);
}
if (sim)
res = simulation(res);
......
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