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

* src/sanity/style.test: Check the iface/ tree too.

Browse source 
* iface/gspn/gspn.cc, iface/gspn/ssp.cc: Fix style.
This commit is contained in:
Alexandre Duret-Lutz 2004-05-21 11:55:36 +00:00
parent da2d2e19b1
commit 3e968a3c9d
4 changed files with 67 additions and 61 deletions
Download patch file Download diff file Expand all files Collapse all files

2
iface/gspn/gspn.cc
View file

@ -201,7 +201,7 @@ namespace spot
assert(successors_);
// GSPN is expected to return a looping "dead" transition where
// there is no successor.
assert(size_> 0);
assert(size_ > 0);
}
virtual

24
iface/gspn/ssp.cc
View file

@ -40,7 +40,7 @@ namespace spot
assert(new_size);
bdd* tmp = new bdd[new_size];
for(int i = 0; i < size; i++)
for (int i = 0; i < size; i++)
tmp[i] = t[i];
delete[] t;
@ -195,7 +195,7 @@ namespace spot
~tgba_succ_iterator_gspn_ssp()
{
for(size_t i = 0; i < size_states_; i++)
for (size_t i = 0; i < size_states_; i++)
delete state_array_[i];
delete[] bdd_array_;
@ -216,8 +216,8 @@ namespace spot
virtual void
first()
{
if(!successors_)
return ;
if (!successors_)
return;
current_succ_=0;
}
@ -385,10 +385,10 @@ namespace spot
state_array = (state**) realloc(state_array,
(size_states + 1) * sizeof(state*));
state_array[size_states] = i->current_state();
props_[nb_arc_props].arc->curr_state = size_states ;
props_[nb_arc_props].arc->curr_state = size_states;
size_states++;
while (all_conds_ != bddfalse )
while (all_conds_ != bddfalse)
{
cond = bdd_satone(all_conds_);
cond = bdd_simplify(cond, cond | outside_);
@ -444,16 +444,16 @@ namespace spot
for (j = 0; j < nb_arc_props; j++)
{
for (conj = 0 ; conj < props_[j].nb_conj ; conj++)
for (conj = 0; conj < props_[j].nb_conj; conj++)
free(props_[j].prop[conj]);
free(props_[j].prop);
}
delete i;
return new tgba_succ_iterator_gspn_ssp(succ_tgba_, size_tgba_,
bdd_array, state_array,
size_states, props_,
nb_arc_props);
bdd_array, state_array,
size_states, props_,
nb_arc_props);
}
bdd
@ -672,7 +672,7 @@ namespace spot
if (old_state->left()
&& new_state->left()
&& spot_inclusion(new_state->left(),old_state->left()))
&& spot_inclusion(new_state->left(), old_state->left()))
break;
}
}
@ -715,7 +715,7 @@ namespace spot
if (old_state->left()
&& new_state->left()
&& spot_inclusion(new_state->left(),old_state->left()))
&& spot_inclusion(new_state->left(), old_state->left()))
break;
}
}