YAS representation ok(fsml(term))

Language

None

---

Dependencies

• languages/FSML/Prolog: membership
  • Representation ok(fsml(term))
  • Goal fsmlConstraints:ok
  • Files: None

---

Files

• languages/FSML/sample.term
• languages/FSML/tests/sampleRenamed.term
• languages/FSML/tests/simple.term

---