文件名称：Construction:软件构造LTL生成器
文件大小：3.66MB
文件格式：ZIP
更新时间：2024-06-06 21:15:32
Java
建造 ** Git中心链接： ： Software Construction LTL生成器 运行main.java文件。 接下来，选择CP类型，程序将询问多个命题。 输入l的命题数： 然后程序将询问您想要该提议的CP的类型 1＃AtleastOneC 2＃AtleastOneH 3＃AtleastOneE 4＃ParallelC 5＃ParallelH 6＃ParallelE 7＃ConsecutiveC 8＃ConsecutiveH 9＃ConsecutiveE 10＃EventualC 11＃EventualH 12＃EventualE选择CP的类型： 输入数量后，程序将针对Pltl，Qltl，Rltl询问相同的问题。 然后程序将要求用户选择“全局范围”的类型。 全局范围1＃缺少P 2＃存在P 3＃Q响应P 4＃Q严格优先Pc 5＃Q严格优先Pe 6＃Q优先Pc * 7
【文件预览】：
Construction-master
----Team 3 LTL Generator.zip(1.84MB)
----.gitignore(4B)
----AndDiagnosticLog.txt(4KB)
----src()
--------edu()
----.classpath(379B)
----Final Project Presentation.pptx(1.81MB)
----.settings()
--------org.eclipse.core.resources.prefs(290B)
--------org.eclipse.jdt.core.prefs(598B)
----README.md(2KB)
----.project(389B)
----README.md.bak(2KB)