Viewing all changes in revision 19.
- Committer: Mads Chr. Olesen
- Date: 2010-06-21 13:12:50 UTC
- Revision ID: launchpad@shiyee.dk-20100621131250-8b2w9kz6vqh4quc2
Pyuppaal Simplify: Expand system declarations into templates, expand select transitions.
Add support for arrays.
Add support for arrays.
- files added:
- opaal/model_parsers/pyuppaal/simplify.py
- files modified:
- opaal/model_parsers/pyuppaal/successor_generator.py
expand all
collapse all
added
removed
