pyuppaal:用于处理UPPAAL xml文件的Python库。 目前可以导入，导出和布局模型
需积分: 18 192 浏览量
2021-05-10
23:47:22
上传
评论
收藏 111KB ZIP 举报
pyuppaal-master.zip （83个子文件） 
pyuppaal-master 
COPYING 34KB TODO-template-editor 65B debian compat 2B pycompat 2B changelog 575B rules 149B control 598B copyright 355B pyuppaal __init__.py 23B pyuppaal.py 21KB ulp node.py 6KB util.py 2KB _build_tables.py 1KB parser.py 36KB __init__.py 0B expressionParser.py 15KB lexer.py 4KB systemdec_parser.py 4KB compiler.py 1KB updateStatementParser.py 3KB LICENSE 34KB setup.py 398B README.md 1KB data pyuppaal.gladep 261B pyuppaal.glade 20KB tedit.glade 18KB tests small_nocoords.xml 928B petur_boegholm_testcase_minimal.xml 7KB noinit_minimal.xml 552B minimal.xml 568B small.xml 689B test_api.py 3KB minimal_0coord.xml 597B urgent.xml 577B tapaal-simple.xml 621B run_tests.sh 117B small_all_labels.xml 1KB tga.xml 904B small_verify.xml 711B petur_boegholm_testcase.xml 151KB parameter_minimal.xml 598B ulp test_systemdec_parser.py 11KB
test_assignments.txt 163B test_for_loop.txt 94B test_conditional_operator.txt 105B test_brackets.txt 129B test_extern.txt 94B test_parse_constants.txt 140B test_array_types.txt 78B test_simple_declarations.txt 104B test_if_elseif.txt 112B test_while_loop.txt 66B test_simple_declarations2.txt 436B test_empty.txt 0B test_extern_octagon.txt 70B test_while_loop_nobraces.txt 75B test_function.txt 90B test_function_ref_arg.txt 25B __init__.py 0B test_array.txt 120B test_comments.txt 87B test_extern2.txt 94B test_function_typedef_return.txt 62B test_basic.py 59KB test_typedef_simple.txt 97B test_struct_initializer.txt 230B test_updatestatement.py 746B test_extern_dbm.txt 138B test_do_while_loop.txt 79B test_struct.txt 36B test_simple_function.txt 177B test_typedef.txt 152B test_operators.txt 296B test_declare_intrange.txt 21B test_extern3.txt 121B test_import.py 8KB strangeguard.xml 720B location_no_xypos.xml 542B minimal_name.xml 601B .gitignore 702B bin layout_uppaal 1KB pyuppaal_gui 22KB template-editor 12KB资源评论
