package TCSLib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a t
val make : 'a Tcsautomata.Alphabet.alphabet -> 'a -> 'a t
val alphabet : 'a t -> int Tcsautomata.Alphabet.alphabet
val encode : 'a t -> 'a -> int
val decode : 'a t -> int -> 'a
val size : 'a t -> int
val transform_nma : ('a, 'b, 'c) Tcsautomata.NMA.t -> 'b t -> ('a, int, 'c) Tcsautomata.NMA.t
val transform_dma : ('a, 'b, 'c) Tcsautomata.DMA.t -> 'b t -> ('a, int, 'c) Tcsautomata.DMA.t