From 23f1a6f2c69079c4542b13abdca2de70792a5c26 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 6 Jan 2004 10:12:00 +0000 Subject: [PATCH] * iface/gspn/ltleesrg.cc: Emptinesscheck the full product, not the control automaton. --- ChangeLog | 3 +++ iface/gspn/ltleesrg.cc | 6 +++--- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index ac38e6319..21d40e7f2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2004-01-06 Alexandre Duret-Lutz + * iface/gspn/ltleesrg.cc: Emptinesscheck the full product, not + the control automaton. + * iface/gspn/eesrg.cc (tgba_gspn_eesrg::project_state): New method. * iface/gspn/eesrg.hh: Likewise. diff --git a/iface/gspn/ltleesrg.cc b/iface/gspn/ltleesrg.cc index 734aafbeb..91618593f 100644 --- a/iface/gspn/ltleesrg.cc +++ b/iface/gspn/ltleesrg.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // @@ -69,12 +69,12 @@ main(int argc, char **argv) { spot::tgba_gspn_eesrg a(dict, env, prod); - spot::emptiness_check ec(prod); + spot::emptiness_check ec(&a); bool res = ec.check(); if (!res) { ec.counter_example(); - ec.print_result(std::cout, prod); + ec.print_result(std::cout, &a); exit(1); } else