Module Acceptors


module Acceptors: sig .. end
Acceptors implements finite state acceptors.

author: Jeff Heinz last updated : July 25,206


module type ACCEPTOR_TYPE = sig .. end
The output signature of 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: 
functor (Vocab : Symbols.SYMBOL_SEED) ->
functor (Node : X.X_TYPE) -> ACCEPTOR_TYPE with type node = Node.t
This functor also returns a module of 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) ->
functor (D : Delim.DELIM_TYPE) -> ACCEPTOR_TYPE with type node = Node.t
This functor takes only arguments of type Delim.DELIM_TYPE (a Tools module).