From 42680e82bf0774b4806220ac5ce39f499912a687 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 1 Jul 2003 11:41:17 +0000 Subject: [PATCH] * src/tgba/tgbabddtranslatefactory.cc (tgba_bdd_translate_factory::tgba_bdd_translate_factory): Translate varandnext_set. --- ChangeLog | 6 ++++++ src/tgba/tgbabddtranslatefactory.cc | 1 + 2 files changed, 7 insertions(+) diff --git a/ChangeLog b/ChangeLog index 09393903f..cb946aea9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2003-07-01 Alexandre Duret-Lutz + + * src/tgba/tgbabddtranslatefactory.cc + (tgba_bdd_translate_factory::tgba_bdd_translate_factory): Translate + varandnext_set. + 2003-06-30 Alexandre Duret-Lutz * src/tgbaparse/tgbaparse.yy (lines): Expect at last one line. diff --git a/src/tgba/tgbabddtranslatefactory.cc b/src/tgba/tgbabddtranslatefactory.cc index 44ba04216..6ae4bd976 100644 --- a/src/tgba/tgbabddtranslatefactory.cc +++ b/src/tgba/tgbabddtranslatefactory.cc @@ -21,6 +21,7 @@ namespace spot data_.notnext_set = bdd_replace(in.notnext_set, rewrite); data_.notvar_set = bdd_replace(in.notvar_set, rewrite); data_.var_set = bdd_replace(in.var_set, rewrite); + data_.varandnext_set = bdd_replace(in.varandnext_set, rewrite); data_.notacc_set = bdd_replace(in.notacc_set, rewrite); init_ = bdd_replace(from.get_init_bdd(), rewrite);