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 build :
'a Tcsbasedata.Domain.t ->
'b Alphabet.alphabet ->
'a ->
('a -> 'b -> 'a) ->
'c ->
('a, 'b, 'c) tval states : ('a, 'b, 'c) t -> 'a Tcsbasedata.Domain.tval alphabet : ('a, 'b, 'c) t -> 'b Alphabet.alphabetval initial : ('a, 'b, 'c) t -> 'aval delta : ('a, 'b, 'c) t -> 'a -> 'b -> 'aval accept : ('a, 'b, 'c) t -> 'c