YAS representation gbl(graph(term))

Language

BL

---

Dependencies

• languages/BL: membership
  • Representation gbl(graph(term))
  • Goal mmlChecker
  • File languages/BL/gbl.graph
• languages/BL: function
  • Function mapping
  • Representation tbl(graph(term))
  • Representation gbl(graph(term))
  • Goal tblToGbl: (=>)
  • Files: None

---

Files

• languages/BL/samples/empty.graph
• languages/BL/samples/singleton.graph
• languages/BL/samples/small-world.graph

---