package TCSLib
-
TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val make : 'a Tcsautomata.Alphabet.alphabet -> 'a -> 'a tval alphabet : 'a t -> int Tcsautomata.Alphabet.alphabetval encode : 'a t -> 'a -> intval decode : 'a t -> int -> 'aval size : 'a t -> intval transform_nma :
('a, 'b, 'c) Tcsautomata.NMA.t ->
'b t ->
('a, int, 'c) Tcsautomata.NMA.tval transform_dma :
('a, 'b, 'c) Tcsautomata.DMA.t ->
'b t ->
('a, int, 'c) Tcsautomata.DMA.tval iterate :
'a t ->
'a Tcsbasedata.Iterators.iterator ->
int Tcsbasedata.Iterators.iterator