package TCSLib

You can search for identifiers within the package.

in-package search v0.2.0

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