Commit be78c82e authored by Guillaume Sadegh's avatar Guillaume Sadegh
Browse files

* src/saba/sabacomplementtgba.cc: Fix a bug.

parent 1f19198d
2010-01-16 Guillaume Sadegh <sadegh@lrde.epita.fr>
* src/saba/sabacomplementtgba.cc: Fix a bug.
2010-01-16 Damien Lefortier <dam@lrde.epita.fr>
Use taa_tgba_formula instead of taa_tgba_string in ltl_to_taa to
......
// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2009, 2010 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
......@@ -228,6 +228,9 @@ namespace spot
// Make the conjunction with ranks.
std::vector<int> current_ranks(state_list.size(), max_rank);
if (state_list.empty())
return;
do
{
explicit_state_conjunction* conj = new explicit_state_conjunction();
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment