From 42e079f64d06307ad219690ebc892f1b8d58a823 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 5 Jun 2003 16:24:55 +0000 Subject: [PATCH] whitespace changes --- src/tgba/bddprint.cc | 4 ++-- src/tgba/dictunion.cc | 18 +++++++++--------- src/tgbaalgos/Makefile.am | 1 - 3 files changed, 11 insertions(+), 12 deletions(-) diff --git a/src/tgba/bddprint.cc b/src/tgba/bddprint.cc index b02069188..6eb68b7f1 100644 --- a/src/tgba/bddprint.cc +++ b/src/tgba/bddprint.cc @@ -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 << "]"; diff --git a/src/tgba/dictunion.cc b/src/tgba/dictunion.cc index 302c8a98b..3a9f31cc8 100644 --- a/src/tgba/dictunion.cc +++ b/src/tgba/dictunion.cc @@ -52,21 +52,21 @@ namespace spot std::set::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); diff --git a/src/tgbaalgos/Makefile.am b/src/tgbaalgos/Makefile.am index d897a3847..72a219153 100644 --- a/src/tgbaalgos/Makefile.am +++ b/src/tgbaalgos/Makefile.am @@ -7,4 +7,3 @@ libtgbaalgos_la_SOURCES = \ dotty.hh \ save.cc \ save.hh -