package TCSLib

  1. Overview
  2. Docs
package TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ('a, 'b, 'c) t
val make : ('a, 'b, 'c) Tcsautomata.NMA.t -> ('a, 'b, 'c) t
val automaton : ('a, 'b, 'c) t -> (int, 'b, 'c) Tcsautomata.NMA.t
val encode : ('a, 'b, 'c) t -> 'a -> int
val decode : ('a, 'b, 'c) t -> int -> 'a
val iterate : ('a, 'b, 'c) t -> (int * 'a) Tcsbasedata.Iterators.iterator
val state_size : ('a, 'b, 'c) t -> Tcsautomata.NMAFunctions.state_size
val build : ('a, 'b, 'c) t -> 'a Tcsautomata.NMAFunctions.delta_image -> unit
val build_by_alphabet : ('a, 'b, 'c) t -> 'b Tcsbasedata.Iterators.iterator -> unit
type ('a, 'b, 'c) t2
val make2 : ('a, 'b, 'a -> 'c) Tcsautomata.NMA.t -> ('a, 'b, 'c) t2
val automaton2 : ('a, 'b, 'c) t2 -> (int, 'b, int -> 'c) Tcsautomata.NMA.t
val encode2 : ('a, 'b, 'c) t2 -> 'a -> int
val decode2 : ('a, 'b, 'c) t2 -> int -> 'a
val iterate2 : ('a, 'b, 'c) t2 -> (int * 'a) Tcsbasedata.Iterators.iterator
val state_size2 : ('a, 'b, 'c) t2 -> Tcsautomata.NMAFunctions.state_size
val build2 : ('a, 'b, 'c) t2 -> 'a Tcsautomata.NMAFunctions.delta_image -> unit
val build2_by_alphabet : ('a, 'b, 'c) t2 -> 'b Tcsbasedata.Iterators.iterator -> unit