search

MyersResearchGroup / ATACS

Apache License 2.0
9 stars 1 forks source link

Dotty doesn't display transition labels when loading RSG files. #42

Open buggsley opened 7 years ago

buggsley commented 7 years ago

Example RSG File:

atacs -odlsds small.rsg

small.rsg: SG: STATEVECTOR:INP a INP b STATES: 0:R0 1:F0 2:RR 3:0F EDGES: 0:R0 -> 1:F0 1:F0 -> 2:RR 2:RR -> 3:0F 3:0F -> 0:R0 2:RR -> 1:F0