Module Machines


module Machines: sig .. end
Machines implements basic functions of any type of finite state machine. Thus when building particular types of finite state machines, instead of recoding the same functions, they can just be called on here.

author: Jeff Heinz last updated: July 15, 2006


module type MACHINE_TYPE = sig .. end
The output signature of Machines.Make.
module Make: 
functor (Node : X.X_TYPE) ->
functor (NodeSet : Xset.XSET_TYPE with type elt = Node.t) ->
functor (Edge : Edges.EDGE_TYPE with type node = Node.t) ->
functor (EdgeSet : Xset.XSET_TYPE with type elt = Edge.t) ->
functor (D : Delim.DELIM_TYPE) -> MACHINE_TYPE with type nodeSet = NodeSet.t and type edgeSet = EdgeSet.t
The functor takes the arguments below and returns a module of type MACHINE_TYPE.