From 94d1c57ed4271f2143e049d763459617cde94280 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 14 Feb 2011 21:09:04 +0100 Subject: [PATCH] Correct tgba_explicit::compute_support_conditions. * src/tgba/tgbaexplicit.cc (tgba_explicit::compute_support_conditions): Fix logic. This function has always been returning bddtrue instead of the actual computed value... --- ChangeLog | 8 ++++++++ src/tgba/tgbaexplicit.cc | 4 ++-- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 6114c949c..d87bba056 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,11 @@ +2011-02-14 Alexandre Duret-Lutz + + Correct tgba_explicit::compute_support_conditions. + + * src/tgba/tgbaexplicit.cc (tgba_explicit::compute_support_conditions): + Fix logic. This function has always been returning bddtrue instead + of the actual computed value... + 2011-02-10 Alexandre Duret-Lutz Enable VERBOSE logs for nips, greatspn, and python tests. diff --git a/src/tgba/tgbaexplicit.cc b/src/tgba/tgbaexplicit.cc index 88917cbae..613aba1e7 100644 --- a/src/tgba/tgbaexplicit.cc +++ b/src/tgba/tgbaexplicit.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2009, 2010 Laboratoire de Recherche et Développement +// Copyright (C) 2009, 2010, 2011 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre @@ -242,7 +242,7 @@ namespace spot assert(s); const state* st = s->get_state(); - bdd res = bddtrue; + bdd res = bddfalse; tgba_explicit::state::const_iterator i; for (i = st->begin(); i != st->end(); ++i) res |= (*i)->condition;