YAS representation term

Language

Term

---

Dependencies

• languages/BGL: function
  • Function acceptBottomUp
  • Languages
    • Representation bgl(term)
    • Representation term
  • Languages: None
  • Goal bglAcceptBottomUp:accept
  • Files: None
• languages/BGL: function
  • Function acceptTopDown
  • Languages
    • Representation bgl(term)
    • Representation term
  • Languages: None
  • Goal bglAcceptTopDown:accept
  • Files: None
• languages/BGL: function
  • Function parseTopDown
  • Languages
    • Representation bgl(term)
    • Representation term
  • Representation term
  • Goal bglParseTopDown:parse
  • Files: None
• languages/BSL: function
  • Function conformsTo
  • Languages
    • Representation term
    • Representation bsl(term)
  • Languages: None
  • Goal bslConformance
  • Files: None
• languages/BSTL: function
  • Function interpret
  • Languages
    • Representation bstl(term)
    • Representation term
  • Representation term
  • Goal bstlTerm:interpret
  • Files: None
• languages/EIPL/Prolog: function
  • Function executeDynamic
  • Representation eipl(term)
  • Representation term
  • Goal eiplDynamic:main
  • Files: None
• languages/EIPL/Prolog: function
  • Function executeMixed
  • Representation eipl(term)
  • Representation term
  • Goal eiplMixed:main
  • Files: None
• languages/EIPL/Prolog: function
  • Function executeStatic
  • Representation eipl(term)
  • Representation term
  • Goal eiplStatic:main
  • Files: None
• languages/EL/tests: function
  • Function evaluate
  • Representation el(term)
  • Representation term
  • Goal elEvaluate:evaluate
  • Files: None
• languages/ESL: membership
  • Representation term
  • Goal appliedTerm
  • Files: None
• languages/ESL: function
  • Function conformsTo
  • Languages
    • Representation term
    • Representation esl(term)
  • Languages: None
  • Goal eslConformance
  • Files: None
• languages/FL/NFL: function
  • Function atomToRef
  • Languages
    • Representation term
    • Representation term
    • Representation term
  • Languages
    • Representation term
    • Representation term
  • Goal atomToRef
  • Files: None
• languages/FSML/Prolog: function
  • Function simulateFsm
  • Languages
    • Representation fsml(term)
    • Representation term
  • Representation term
  • Goal simulateFsm
  • Files: None
• languages/FSML/Prolog: function
  • Function acceptFsm
  • Languages
    • Representation fsml(term)
    • Representation term
  • Languages: None
  • Goal acceptFsm
  • Files: None
• languages/FSML/Prolog: function
  • Function notAcceptFsm
  • Languages
    • Representation fsml(term)
    • Representation term
  • Languages: None
  • Goal notAcceptFsm
  • Files: None
• languages/FSML/tests: function
  • Function rename
  • Languages
    • Representation term
    • Representation fsml(term)
  • Representation fsml(term)
  • Goal fsmlRename:rename
  • Files: None
• languages/Hinzu: function
  • Function hinzuDump
  • Languages: None
  • Representation term
  • Goal hinzuDump:main
  • Files: None
• languages/MMDL: function
  • Function diff
  • Languages
    • Representation term
    • Representation term
  • Representation mmdl(term)
  • Goal mmdlDiff:diff
  • Files: None
• languages/MML: function
  • Function count
  • Representation mml(term)
  • Representation term
  • Goal mmlCount:count
  • Files: None
• languages/Prolog: function
  • Function applyIO
  • Languages
    • Representation term
    • Representation term
  • Representation term
  • Goal applyIO
  • Files: None
• languages/TDL: function
  • Function diff
  • Languages
    • Representation term
    • Representation term
  • Representation tdl(term)
  • Goal tdlDiff:diff
  • Files: None
• languages/TDL: function
  • Function applyDiff
  • Languages
    • Representation tdl(term)
    • Representation term
  • Representation term
  • Goal tdlApply:apply
  • Files: None
• languages/Text: function
  • Function loc
  • Representation text
  • Representation term
  • Goal textLoc:loc
  • Files: None
• languages/Ueber: function
  • Function ueberDump
  • Languages: None
  • Representation term
  • Goal ueberDump:main
  • Files: None
• languages/Ueber: function
  • Function languages
  • Representation term
  • Representation dgl(term)
  • Goal ueberGraphLanguages:graph
  • Files: None
• languages/Ueber: function
  • Function functions
  • Representation term
  • Representation dgl(term)
  • Goal ueberGraphFunctions:graph
  • Files: None

---

Files

• languages/BL/gbl.count
• languages/BL/samples/empty.loc
• languages/BL/samples/singleton.loc
• languages/BL/samples/small-world.loc
• languages/BSTL/tests/term1.term
• languages/BSTL/tests/term2.term
• languages/EIPL/Prolog/dynamic.output
• languages/EIPL/Prolog/mixed.output
• languages/EIPL/Prolog/static.output
• languages/EL/tests/no-vars.value
• languages/FL/NFL/atomToRef.config
• languages/FSML/Prolog/sample.input
• languages/FSML/Prolog/sample.output
• languages/FSML/tests/illegalSymbol.input
• languages/FSML/tests/infeasibleSymbol.input
• languages/FSML/tests/renaming.term
• languages/Hinzu/dump.term
• languages/MML/mm.count
• languages/Ueber/dump.term
• samples/obsolete/expr/editing/classes.config
• samples/obsolete/expr/editing/classes.term
• samples/obsolete/expr/editing/new-expr.config

---