← Back to branch summary

~yrke/+junk/discrete

~yrke/+junk/discrete

Viewing all changes in revision 40.

Committer: Kenneth Yrke Joergensen
Date: 2011-05-02 06:09:06 UTC
Revision ID: kenneth@yrke.dk-20110502060906-i2cpgs2vnsa76w73

now returns sucessor states

files modified:
bin/opaal_singlecore

opaal/model_parsers/pyuppaal/successor_generator.py

opaal/model_parsers/state.py

opaal/modelchecking_algorithms/reachability.py

opaal/passed_waiting_list/simple_pwlist.py

Show diffs side-by-side

added added

removed removed

bin/opaal_singlecore

opaal/model_parsers/pyuppaal/successor_generator.py

opaal/model_parsers/state.py

opaal/modelchecking_algorithms/reachability.py

opaal/passed_waiting_list/simple_pwlist.py

Older »