From 908b6129f4193bc557bccdae7d7fbb4f184ed50f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 9 Nov 2004 10:41:25 +0000 Subject: [PATCH] * src/tgbaalgos/emptiness.cc (print_tgba_run): Output the labels as formulae rather than bdd sets. --- ChangeLog | 5 +++++ src/tgbaalgos/emptiness.cc | 4 ++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 404bf2b4f..6af1b26f9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2004-11-09 Alexandre Duret-Lutz + + * src/tgbaalgos/emptiness.cc (print_tgba_run): Output the + labels as formulae rather than bdd sets. + 2004-11-08 Alexandre Duret-Lutz * src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_path): diff --git a/src/tgbaalgos/emptiness.cc b/src/tgbaalgos/emptiness.cc index cffd9428e..90a96291f 100644 --- a/src/tgbaalgos/emptiness.cc +++ b/src/tgbaalgos/emptiness.cc @@ -61,7 +61,7 @@ namespace spot { os << " " << a->format_state(i->s) << std::endl; os << " | "; - bdd_print_set(os, d, i->label); + bdd_print_formula(os, d, i->label); os << "\t"; bdd_print_accset(os, d, i->acc); os << std::endl; @@ -72,7 +72,7 @@ namespace spot { os << " " << a->format_state(i->s) << std::endl; os << " | "; - bdd_print_set(os, d, i->label); + bdd_print_formula(os, d, i->label); os << "\t"; bdd_print_accset(os, d, i->acc); os << std::endl;