alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Remove unused argument in constructor.

Browse source 
* src/taalgos/tgba2ta.cc, src/ta/taexplicit.hh (state_ta_explicit):
Remove unused argument in constructor.
This commit is contained in:
Alexandre Duret-Lutz 2011-08-31 18:32:33 +02:00
parent 422bb842bf
commit 29ee11cfd3
2 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/ta/taexplicit.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2010 Laboratoire de Recherche et Developpement // Copyright (C) 2010, 2011 Laboratoire de Recherche et Developpement
// de l Epita_explicit (LRDE). // de l Epita_explicit (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -164,8 +164,7 @@ namespace spot
state_ta_explicit(const state* tgba_state, const bdd tgba_condition, state_ta_explicit(const state* tgba_state, const bdd tgba_condition,
bool is_initial_state = false, bool is_accepting_state = false, bool is_initial_state = false, bool is_accepting_state = false,
bool is_livelock_accepting_state = false, transitions* trans = 0, bool is_livelock_accepting_state = false, transitions* trans = 0) :
bool is_the_artificial_livelock_accepting_state = false) :
tgba_state_(tgba_state), tgba_condition_(tgba_condition), tgba_state_(tgba_state), tgba_condition_(tgba_condition),
is_initial_state_(is_initial_state), is_accepting_state_( is_initial_state_(is_initial_state), is_accepting_state_(
is_accepting_state), is_livelock_accepting_state_( is_accepting_state), is_livelock_accepting_state_(

2
src/taalgos/tgba2ta.cc
View file

@ -175,7 +175,7 @@ namespace spot
state_ta_explicit* artificial_livelock_accepting_state = state_ta_explicit* artificial_livelock_accepting_state =
new state_ta_explicit(ta->get_tgba()->get_init_state(), bddfalse, new state_ta_explicit(ta->get_tgba()->get_init_state(), bddfalse,
false, false, true, 0, true); false, false, true, 0);
add_artificial_livelock_accepting_state(ta, add_artificial_livelock_accepting_state(ta,
artificial_livelock_accepting_state); artificial_livelock_accepting_state);