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 nested Alphabet.alphabet ->
'd Tcsbasedata.Domain.t ->
'a ->
('a -> 'b nested -> 'a Tcsbasedata.Iterators.iterator) ->
('a -> 'b nested -> ('a * 'd) Tcsbasedata.Iterators.iterator) ->
('a -> 'b nested -> 'd option -> 'a Tcsbasedata.Iterators.iterator) ->
'c ->
('a, 'b, 'c, 'd) tval states : ('a, 'b, 'c, 'd) t -> 'a Tcsbasedata.Domain.tval alphabet : ('a, 'b, 'c, 'd) t -> 'b nested Alphabet.alphabetval stack : ('a, 'b, 'c, 'd) t -> 'd Tcsbasedata.Domain.tval initial : ('a, 'b, 'c, 'd) t -> 'aval delta_internal :
('a, 'b, 'c, 'd) t ->
'a ->
'b nested ->
'a Tcsbasedata.Iterators.iteratorval delta_push :
('a, 'b, 'c, 'd) t ->
'a ->
'b nested ->
('a * 'd) Tcsbasedata.Iterators.iteratorval delta_pop :
('a, 'b, 'c, 'd) t ->
'a ->
'b nested ->
'd option ->
'a Tcsbasedata.Iterators.iteratorval accept : ('a, 'b, 'c, 'd) t -> 'c