没有合适的资源?快使用搜索试试~ 我知道了~
VisualGraph:ProPPR 图形的 GUI 可视化工具
共48个文件
asc:12个
java:11个
jar:9个
需积分: 13 2 下载量 181 浏览量
2021-07-07
09:11:03
上传
评论
收藏 18.72MB ZIP 举报
温馨提示
欢迎使用 Visual ProPPR 工具 该工具用于可视化 ProPPR 证明图。 关于这个包 Visual ProPPR 内置于 Java SDK 6 中,使用名为“Graph Stream”的图形可视化库,可在查看 该项目的工作区在 Eclipse 中。 关于#visual ProPPR 其主要功能包括 GUI,它允许您以指定格式获取图形并导入它。 运行应用程序 除了获取在 eclipse 工作区中设置的所有相对文件路径之外,应用程序还应该通过运行 Main 类来开箱即用。 导入图形 要导入图形,加载 UI 后,只需单击“浏览图形”并选择图形并选择“加载图形”将其加载到 UI 中。 我们注意到图形必须采用程序中指定的格式。 使用 src/scripts/parse_graph.py 转换接地文件。 每个示例都放置在单独的图形文件中,以便在 Visual ProPPR 中显示。 文
资源推荐
资源详情
资源评论
收起资源包目录
VisualGraph-master.zip (48个子文件)
VisualGraph-master
.gitignore 195B
graph2.txt 24KB
src
java
style
StyleImporter.java 1KB
graph_style.css 409B
gsim
SimFunction.java 290B
ImportEdgeDetails.java 602B
SimJob.java 747B
GraphSim.java 8KB
GraphSimAlgorithm.java 5KB
main
MainLogic.java 647B
images
ProPPR.png 8KB
GraphUIProperty.java 251B
NodeClickListener.java 4KB
Main.java 3KB
ControlUI.java 9KB
scripts
parse_graph.py 4KB
.classpath 505B
LICENSE 11KB
export.txt 1KB
.settings
org.eclipse.jdt.core.prefs 587B
README.md 1KB
graph.txt 43B
.project 370B
build.xml 1KB
lib
gs-ui-1.2
gs-ui-1.2.pom 10KB
gs-ui-1.2.jar 7.13MB
gs-ui-1.2-sources.jar.asc 490B
gs-ui-1.2.pom.asc 490B
gs-ui-1.2-javadoc.jar.asc 490B
gs-ui-1.2.jar.asc 490B
gs-ui-1.2-sources.jar 6.85MB
gs-ui-1.2-javadoc.jar 1.12MB
gs-algo-1.2
gs-algo-1.2.pom 8KB
gs-algo-1.2.jar 311KB
gs-algo-1.2-sources.jar.asc 490B
gs-algo-1.2-javadoc.jar 1014KB
gs-algo-1.2.pom.asc 490B
gs-algo-1.2-sources.jar 308KB
gs-algo-1.2.jar.asc 490B
gs-algo-1.2-javadoc.jar.asc 490B
gs-core-1.2
gs-core-1.2-javadoc.jar 2.11MB
gs-core-1.2.jar.asc 490B
gs-core-1.2-sources.jar 702KB
gs-core-1.2.jar 866KB
gs-core-1.2-sources.jar.asc 490B
gs-core-1.2.pom 9KB
gs-core-1.2-javadoc.jar.asc 490B
gs-core-1.2.pom.asc 490B
共 48 条
- 1
资源评论
weixin_42156940
- 粉丝: 18
- 资源: 4629
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功