YAS representation fsml(term)

Language

Dependencies

languages/FSML: function
- Function parse
- Representation fsml(text)
- Representation fsml(term)
- Goal eglParser(fsmlAbstract: (~>))
- Files
  - File languages/FSML/cs.term
  - File languages/FSML/ls.term
languages/FSML: membership
- Representation fsml(term)
- Goal eslLanguage
- File languages/FSML/as.term
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/Prolog: function
- Function statesOfFsm
- Representation fsml(term)
- Representation java(text)
- Goal statesOfFsm
- Files: None
languages/FSML/Prolog: function
- Function inputsOfFsm
- Representation fsml(term)
- Representation java(text)
- Goal inputsOfFsm
- Files: None
languages/FSML/Prolog: function
- Function actionsOfFsm
- Representation fsml(term)
- Representation java(text)
- Goal actionsOfFsm
- Files: None
languages/FSML/Prolog: function
- Function stepperOfFsm
- Representation fsml(term)
- Representation java(text)
- Goal stepperOfFsm
- Files: None
languages/FSML/Prolog/dot: function
- Function fsmToDgl
- Representation fsml(term)
- Representation dgl(term)
- Goal fsmToDgl
- Files: None
languages/FSML/tests: function
- Function rename
- Languages
  - Representation term
  - Representation fsml(term)
- Representation fsml(term)
- Goal fsmlRename:rename
- Files: None

Files