Commit 42e079f6 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

whitespace changes

parent 19e47ee6
......@@ -6,7 +6,7 @@ namespace spot
{
/// Global dictionary used by print_handler() to lookup variables.
static const tgba_bdd_dict* dict;
/// Global flag to enable Prom[x] output (instead of `x').
static bool want_prom;
......@@ -24,7 +24,7 @@ namespace spot
if (isi != dict->prom_formula_map.end())
{
if (want_prom)
o << "Prom[";
o << "Prom[";
to_string(isi->second, o);
if (want_prom)
o << "]";
......
......@@ -52,21 +52,21 @@ namespace spot
std::set<const ltl::formula*>::const_iterator f;
for (f = prom.begin(); f != prom.end(); ++f)
{
res.prom_map[*f] = v;
res.prom_formula_map[v] = *f;
++v;
res.prom_map[*f] = v;
res.prom_formula_map[v] = *f;
++v;
}
for (f = var.begin(); f != var.end(); ++f)
{
res.var_map[*f] = v;
res.var_formula_map[v] = *f;
++v;
res.var_map[*f] = v;
res.var_formula_map[v] = *f;
++v;
}
for (f = now.begin(); f != now.end(); ++f)
{
res.now_map[*f] = v;
res.now_formula_map[v] = *f;
v += 2;
res.now_map[*f] = v;
res.now_formula_map[v] = *f;
v += 2;
}
assert (v == want);
......
......@@ -7,4 +7,3 @@ libtgbaalgos_la_SOURCES = \
dotty.hh \
save.cc \
save.hh
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