Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/MLRISC/graphs/graph-comb.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/graphs/graph-comb.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (view) (download) (as text)

1 : monnier 411 (*
2 :     * This module implements some combinators that joins two graphs
3 :     * into a single view.
4 :     *
5 :     *)
6 :    
7 : monnier 245 signature GRAPH_COMBINATIONS =
8 :     sig
9 :    
10 :     (* disjoint union *)
11 :     val sum : ('n,'e,'g) Graph.graph * ('n,'e,'g) Graph.graph ->
12 :     ('n,'e,'g) Graph.graph
13 :     val union : ('n,'e,'g) Graph.graph list -> ('n,'e,'g) Graph.graph
14 :     val sums : ('n,'e,'g) Graph.graph list -> ('n,'e,'g) Graph.graph
15 :    
16 :     end
17 :    

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0