fsml

A library for describing and describing synchronous finite state machines
IN THIS PACKAGE
Module Fsml . Fsm_parser
type token =
| WITH
| WHEN
| VARS
| UID of string
| TYUINT
| TYINT
| TYBOOL
| TRANS
| TIMES
| STATES
| SEMICOLON
| RPAREN
| PLUS
| OUTPUTS
| NOTEQUAL
| NAME
| MINUS
| LTE
| LT
| LPAREN
| LID of string
| ITRANS
| INT of int
| INPUTS
| GTE
| GT
| EQUAL
| EOF
| DOTDOT
| DIV
| COMMA
| COLON
| COLEQ
| BOOL of bool
| ARROW
| 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 guard_top : ( Lexing.lexbuf -> token ) -> Lexing.lexbuf -> Valuation.value
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