没有合适的资源?快使用搜索试试~ 我知道了~
tla-typeof:tla-edn的用法示例
共10个文件
tla:3个
adoc:1个
makefile:1个
需积分: 5 0 下载量 80 浏览量
2021-03-22
12:55:21
上传
评论
收藏 6KB ZIP 举报
温馨提示
TLA Edn的用法 在这里,我们将基于称为TypeOf创建一个新的运算符。 这将是一个快速的讨论。 您应该至少了解一点TLA +。 对于Clojure,那里有大量的文档资料,请随时阅读。 这将是使用覆盖的运算符,该运算符返回值类型(此处只是一个字符串)。 当然,对于这样一个简单的示例,您可以毫无问题地使用Java,但是我们想展示其用法,因此暂时不要置疑。 启动REPL并在comment内评估spec/run行,您应该有类似以下内容 [ " TLC2 Version 2.15 of Day Month 20?? " " Running breadth-first search Model-Checking with fp 101 and seed -8784868898657545149 with 1 worker on 16 cores with 16384MB heap and
资源推荐
资源详情
资源评论
收起资源包目录
tla-typeof-master.zip (10个子文件)
tla-typeof-master
deps.edn 260B
src
tla_typeof
core.clj 810B
Example
Eita.tla 611B
Eita.cfg 66B
Types.tla 251B
README.adoc 4KB
Makefile 225B
pom.xml 972B
resources
Types.tla 177B
.gitignore 49B
共 10 条
- 1
资源评论
雯儿ccu
- 粉丝: 20
- 资源: 4587
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功