package fsml

  1. Overview
  2. Docs
type token =
  1. | WITH
  2. | WHEN
  3. | VARS
  4. | UID of string
  5. | TYUINT
  6. | TYINT
  7. | TYBOOL
  8. | TRANS
  9. | TIMES
  10. | STATES
  11. | SEMICOLON
  12. | RPAREN
  13. | PLUS
  14. | OUTPUTS
  15. | NOTEQUAL
  16. | NAME
  17. | MINUS
  18. | LTE
  19. | LT
  20. | LPAREN
  21. | LID of string
  22. | ITRANS
  23. | INT of int
  24. | INPUTS
  25. | GTE
  26. | GT
  27. | EQUAL
  28. | EOF
  29. | DOTDOT
  30. | DIV
  31. | COMMA
  32. | COLON
  33. | COLEQ
  34. | BOOL of bool
  35. | ARROW
  36. | AND
exception Error
val transition_top : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Transition.t
val stimuli : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Tevents.t list
val guards_top : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Valuation.value list
val fsm : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Fsm.t
val actions_top : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Action.t list
val action_top : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Action.t