文件名称：State Machine Generator-开源
文件大小：74KB
文件格式：ZIP
更新时间：2024-06-03 09:11:44
开源软件
用于从直接嵌入到输入源代码文件中的简短指令集中生成状态机框架代码的工具。 该工具还将生成GraphViz图形描述和Spin / Promela建模输出。
【文件预览】：
SMG-1.7.5
----PKG-INFO(2KB)
----sm-mode.el(13KB)
----LICENSE(2KB)
----README(265B)
----INSTALL(3KB)
----setup.py(953B)
----smg()
--------graphviz.py(20KB)
--------entitle_ps.py(5KB)
--------smg_input.py(12KB)
--------strblock.py(11KB)
--------__init__.py(123B)
--------smg_output.py(6KB)
--------smg.py(68KB)
--------smg_defs.py(5KB)
--------smg_figure.py(8KB)
----Doc()
--------smg_kw_full.tex(31KB)
--------smg_lib.tex(5KB)
--------smg_examples.tex(6KB)
--------smg_lib_example.tex(4KB)
--------smg_spin2003.tex(4KB)
--------smg_maint.tex(7KB)
--------README(511B)
--------smg_kw_brief.tex(162B)
--------smg_lib_impl.tex(6KB)
--------smg_kw_syntax.tex(2KB)
--------smg_trace_intro.tex(433B)
--------smg_guide.tex(796B)
--------smg_maindesc.tex(21KB)