sig
type token =
Label of string
| Name of string
| Float of float
| Int of int
| Eof
| WHEN
| EQUAL
| AND
| OR
| NOT
| IN
| ARROW
| INFTY
| Initial_state
| Initial_context
| COMMA
| LBRACKET
| LCURLY
| LPAREN
| RBRACKET
| RCURLY
| RPAREN
| SEMI
| SHARP
| STAR
| AT
| Sign of char
val main :
(Lexing.lexbuf -> An_parser.token) ->
Lexing.lexbuf -> AutomataNetwork.t * Ph_types.ctx
val local_state :
(Lexing.lexbuf -> An_parser.token) ->
Lexing.lexbuf -> AutomataNetwork.sig_local_state
val local_state_list :
(Lexing.lexbuf -> An_parser.token) ->
Lexing.lexbuf -> AutomataNetwork.sig_local_state list
val automata_set :
(Lexing.lexbuf -> An_parser.token) -> Lexing.lexbuf -> PintTypes.SSet.t
val goals :
(Lexing.lexbuf -> An_parser.token) ->
Lexing.lexbuf -> AutomataNetwork.sig_local_state list list list
end