module Acceptors:Acceptors implements finite state acceptors.sig
..end
author: Jeff Heinz
last updated : July 25,206
module type ACCEPTOR_TYPE =sig
..end
Acceptors.Make
, Acceptors.Make_Q
and
Acceptors.Make_DQ
.
module Make:functor (
Vocab
:
Symbols.SYMBOL_SEED
) ->
functor (
Word
:
Xlist.XLIST_TYPE
with type elt = Vocab.t
) ->
functor (
WordSet
:
Xset.XSET_TYPE
with type elt = Word.t
) ->
functor (
Symbol
:
Symbols.SYMBOL_TYPE
with type x = Vocab.t
) ->
functor (
Node
:
X.X_TYPE
) ->
functor (
NodeSet
:
Xset.XSET_TYPE
with type elt = Node.t
) ->
functor (
NodeSetSet
:
Xset.XSET_TYPE
with type elt = NodeSet.t
) ->
functor (
Edge
:
Edges.EDGE_TYPE
with type node = Node.t and type label = Symbol.t
) ->
functor (
EdgeSet
:
Xset.XSET_TYPE
with type elt = Edge.t
) ->
functor (
D
:
Delim.DELIM_TYPE
) ->
ACCEPTOR_TYPE
with type node = Node.t and type nodeSet = NodeSet.t and type edge = Edge.t and type edgeSet = EdgeSet.t and type label = Symbol.t and type word = Word.t and type wordSet = WordSet.t
module Make_Q:
ACCEPTOR_TYPE
, but it only takes
two arguments.
module Make_DQ:functor (
Vocab
:
Symbols.SYMBOL_SEED
) ->
functor (
Node
:
X.X_TYPE
) ->
functor (
WordD
:
Delim.DELIM_TYPE
) ->
functor (
WordSetD
:
Delim.DELIM_TYPE
) ->
functor (
EdgeD
:
Delim.DELIM_TYPE
) ->
functor (
NodeSetD
:
Delim.DELIM_TYPE
) ->
functor (
NodeSetSetD
:
Delim.DELIM_TYPE
) ->
functor (
EdgeSetD
:
Delim.DELIM_TYPE
) ->
Delim.DELIM_TYPE
(a Tools module).