YAS representation rfl1(graph(term))

Language

FL

---

Dependencies

• languages/FL/RFL1: membership
  • Representation rfl1(graph(term))
  • Goal mmlChecker
  • File languages/FL/RFL1/mm.graph

---

Files

• languages/FL/RFL1/empty-family.graph
• languages/FL/RFL1/singleton-family.graph
• languages/FL/RFL1/small-family.graph

---