Module Topllib.ToplAutomaton

type t
type vindex = int

from 0 to vcount()-1, inclusive

val compare_vindex : vindex -> vindex -> int
val equal_vindex : vindex -> vindex -> bool
type tindex = int

from 0 to tcount()-1, inclusive

type transition = {
  1. source : vindex;
  2. target : vindex;
  3. label : IBase.ToplAst.label option;
}
val make : IBase.ToplAst.t list -> t
val vcount : t -> int
val tcount : t -> int
val tfilter_mapi : t -> f:(tindex -> transition -> 'a option) -> 'a list
val registers : t -> IBase.ToplAst.register_name list
val message : t -> vindex -> string
val start_name : string
val error_name : string
val is_start : t -> vindex -> bool
val is_error : t -> vindex -> bool
val pp_transition : t -> Stdlib.Format.formatter -> transition -> unit
val pp_tindex : t -> Stdlib.Format.formatter -> tindex -> unit