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

SCM Repository

[smlnj] Diff of /sml/trunk/src/MLRISC/graphs/graph-minor.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/graphs/graph-minor.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 429, Wed Sep 8 09:47:00 1999 UTC revision 498, Tue Dec 7 15:44:50 1999 UTC
# Line 11  Line 11 
11     val minor : ('n,'e,'g) Graph.graph     val minor : ('n,'e,'g) Graph.graph
12              -> ('n * 'n * 'e Graph.edge list -> 'n)              -> ('n * 'n * 'e Graph.edge list -> 'n)
13              -> { view  : ('n,'e,'g) Graph.graph,              -> { view  : ('n,'e,'g) Graph.graph,
14                   union : Graph.node_id * Graph.node_id -> unit,                   union : Graph.node_id * Graph.node_id -> bool,
15                   ==    : Graph.node_id * Graph.node_id -> bool,                   ==    : Graph.node_id * Graph.node_id -> bool,
16                   partition : Graph.node_id -> Graph.node_id list                   partition : Graph.node_id -> Graph.node_id list
17                 }                 }

Legend:
Removed from v.429  
changed lines
  Added in v.498

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