Mercurial > repos > sybila > ebcsgen_generate_transition_system

annotate test-data/simple.bcsl.model @ 0:f13bdc5f4409 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit e26adecc1caf5c8fe966a5c891cc7941324d73bb
author sybila
date Fri, 09 Sep 2022 13:22:58 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
f13bdc5f4409 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit e26adecc1caf5c8fe966a5c891cc7941324d73bb
sybila
parents:
diff changeset
1 #! rules
f13bdc5f4409 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit e26adecc1caf5c8fe966a5c891cc7941324d73bb
sybila
parents:
diff changeset
2 r1_S ~ P(S{i})::cell => P(S{a})::cell
f13bdc5f4409 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit e26adecc1caf5c8fe966a5c891cc7941324d73bb
sybila
parents:
diff changeset
3 r1_T ~ P(T{i})::cell => P(T{a})::cell
f13bdc5f4409 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit e26adecc1caf5c8fe966a5c891cc7941324d73bb
sybila
parents:
diff changeset
4 r2 ~ P()::cell => P()::out
f13bdc5f4409 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit e26adecc1caf5c8fe966a5c891cc7941324d73bb
sybila
parents:
diff changeset
5
f13bdc5f4409 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit e26adecc1caf5c8fe966a5c891cc7941324d73bb
sybila
parents:
diff changeset
6 #! inits
f13bdc5f4409 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit e26adecc1caf5c8fe966a5c891cc7941324d73bb
sybila
parents:
diff changeset
7 1 P(S{i},T{i})::cell