Please enable JavaScript in your browser!
首页
发现
帮助
登录
projects
/
muMLE
关注
1
点赞
0
派生
0
文件
工单管理
0
合并请求
0
Wiki
目录树:
51b8bdb001
分支列表
标签列表
development
master
mde2425
optimize-matcher
muMLE
/
examples
/
semantics
/
operational
/
port
/
rules
Joeri Exelmans
42757ddc4f
add examples
9 月之前
..
README.txt
42757ddc4f
add examples
9 月之前
r_ship_appears_in_berth_lhs.od
42757ddc4f
add examples
9 月之前
r_ship_appears_in_berth_rhs.od
42757ddc4f
add examples
9 月之前
r_ship_sinks_lhs.od
42757ddc4f
add examples
9 月之前
r_ship_sinks_rhs.od
42757ddc4f
add examples
9 月之前
README.txt
The names of the files in this directory are important.
A rule must always be named:
r__.od
It is allowed to have more than one NAC. In this case, the NACs must be named:
r__nac.od
r__nac2.od
r__nac3.od
...
For the assignment, you can delete the existing rules (they are nonsense) and start fresh.