文件名称：一个静态Web应用程序，用于浏览TLA +状态图并对其进行动画处理。-JavaScript开发
文件大小：3.02MB
文件格式：ZIP
更新时间：2024-06-14 20:37:56
JavaScript Miscellaneous
TLA + Graph Explorer这是一个静态Web应用程序，用于浏览TLA +状态图并为其设置动画。 该应用程序通过解析生成的点文件来工作TLA + Graph Explorer这是一个静态Web应用程序，用于浏览和设置TLA +状态图的动画。 该应用程序的工作方式是解析TLA +规范生成的点文件，然后使用可视化表示形式更轻松地理解并经历可达状态。 编写该应用程序是为了支持大点文件，而不是将整个文件加载到内存中。 这是通过分块读取文件并将节点的位置仅存储在文件中来实现的。 保存点头的结构
【文件预览】：
tlaplus-graph-explorer-main
----src()
--------tla-state.js(984B)
--------tla-state-template.js(168B)
--------js()
--------tla-state.css(258B)
--------css()
--------index.html(3KB)
--------lib()
--------trace-explorer.html(2KB)
----LICENSE(1KB)
----expr-parser()
--------parser.jison(2KB)
--------parser.js(24KB)
--------test.js(1KB)
----examples()
--------missionaries-and-cannibals()
--------ceph-consensus()
--------README.md(1KB)
--------default()
--------ceph-consensus-3mon()
----README.md(2KB)