没有合适的资源?快使用搜索试试~ 我知道了~
StateSpaceMapper:用于映射用BPjs编写的b程序的状态空间的实用程序
共51个文件
java:15个
js:12个
dot:4个
需积分: 5 0 下载量 75 浏览量
2021-04-05
03:22:55
上传
评论
收藏 1.25MB ZIP 举报
温馨提示
StateSpaceMapper 用于映射用BPjs编写的b程序的状态空间的实用程序。 安装 创建一个Maven项目,并将以下内容添加到pom.xml中: < repositories> < repository> < id>jitpack.io</ id> < url>https://jitpack.io</ url> </ repository> </ repositories> < dependencies> < dependency> < groupId>com.github.bThink-BGU</ groupId> < artifactId>StateSpaceMapper</ artifactId> < version>0.1.12</ version> </ dependency> </ dependenci
资源详情
资源评论
资源推荐
收起资源包目录
StateSpaceMapper-master.zip (51个子文件)
StateSpaceMapper-master
pom.xml 4KB
src
test
java
il
ac
bgu
cs
bp
statespacemapper
RegularExpressionGeneratorTest.java 670B
main
resources
test.js 308B
hot-cold.js 439B
vault.js 661B
elevator.js 843B
moodle.js 3KB
TTT.js 2KB
noam.js 125KB
java
il
ac
bgu
cs
bp
bpjs
analysis
DfsForStateMapper.java 13KB
statespacemapper
SpaceMapperRunner.java 1KB
Neo4JInspection.java 4KB
AcceptingStateProxy.java 663B
writers
TraceResultJsonWriter.java 4KB
TraceResultNeo4JWriter.java 4KB
TraceResultGoalWriter.java 5KB
TraceResultWriter.java 3KB
TraceResultNoamWriter.java 2KB
TraceResultGVWriter.java 4KB
GenerateAllTracesInspection.java 8KB
RegularExpressionGenerator.java 7KB
StateSpaceMapper.java 4KB
AcceptingState.java 739B
WORK
pancake-core.js 1KB
linear-progress.js 198B
pancake-core.png 1.42MB
round.js 783B
double-linear.js 750B
new.pdf 15KB
self-loop.js 172B
pancake-core.pdf 28KB
.gitignore 4KB
graphs
moodle.dot 19KB
vault.noam 324B
moodle.gff 51KB
moodle.json 111KB
hot-cold.noam 326B
elevator.noam 311B
elevator.gff 2KB
vault.gff 6KB
elevator.dot 419B
elevator.json 5KB
moodle.noam 3KB
hot-cold.dot 1KB
moodle-simplified.re 19KB
hot-cold.gff 6KB
vault.dot 874B
vault.json 6KB
hot-cold.re 90B
hot-cold.json 8KB
README.md 3KB
共 51 条
- 1
狛绝的追随者
- 粉丝: 24
- 资源: 4611
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0