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

* iface/gspn/ssp.cc: Typos.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2004-07-16 11:52:19 +00:00
parent 44ebe5a746
commit bec7402a67
2 changed files with 12 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ChangeLog
View file

@ -1,5 +1,7 @@
2004-07-16 Alexandre Duret-Lutz <adl@src.lip6.fr>
* iface/gspn/ssp.cc: Typos.
* iface/gspn/gspn.cc (tgba_succ_iterator_gspn::tgba_succ_iterator_gspn):
Set size_ to 1 when stuttering is needed, so that done() does not
return true immediately.

13
iface/gspn/ssp.cc
View file

@ -176,16 +176,16 @@ namespace spot
public:
tgba_succ_iterator_gspn_ssp(Succ_* succ_tgba,
size_t size_tgba,
bdd* bdd_arry,
state** state_arry,
bdd* bdd_array,
state** state_array,
size_t size_states,
Props_* prop,
int size_prop)
: successors_(succ_tgba),
size_succ_(size_tgba),
current_succ_(0),
bdd_array_(bdd_arry),
state_array_(state_arry),
bdd_array_(bdd_array),
state_array_(state_array),
size_states_(size_states),
props_(prop),
size_prop_(size_prop)
@ -253,10 +253,7 @@ namespace spot
current_acceptance_conditions() const
{
// There is no acceptance conditions in GSPN systems, so we just
// return those from OPERAND_.
// return operand_->current_acceptance_conditions();
// bdd * ac=(bdd *)successors_[current_succ_].arc->curr_acc_conds;
//return (*ac);
// return those from operand_.
return bdd_array_[successors_[current_succ_].arc->curr_acc_conds];
}
private: