← Back to branch summary

~ubuntu-branches/ubuntu/breezy/ocamlgraph/breezy

« back to all changes in this revision

Viewing changes to imperative.ml

  • Committer: Bazaar Package Importer
  • Author(s): Sylvain Le Gall
  • Date: 2005-03-23 23:17:46 UTC
  • mfrom: (2.1.1 hoary)
  • Revision ID: james.westby@ubuntu.com-20050323231746-8rmzgp3zyslg4me5
Tags: 0.90-2
http://bugs.debian.org/294806
http://bugs.debian.org/289138
* Transition to ocaml 3.08.3 : depends on ocaml-nox-3.08.3
* Patch 03_META use graph.cma and graph.cmxa ( Closes: #294806 )
* Correct the patch 01_makefile to install graph.a ( Closes: #289138 )

Show diffs side-by-side

added added

removed removed

Lines of Context:
imperative.ml
15
15
 * (enclosed in the file LGPL).
16
16
 *)
17
17
 
18
 
(* $Id: imperative.ml,v 1.18 2004/02/20 09:26:29 filliatr Exp $ *)
 
18
(* $Id: imperative.ml,v 1.21 2004/11/02 15:17:28 conchon Exp $ *)
19
19
 
20
20
open Sig
21
21
open Per_imp
372
372
 
373
373
end
374
374
 
375
 
 
376
375
module Matrix = struct
377
376
 
378
377
  module type S = sig
395
394
 
396
395
    module E = struct
397
396
      type t = V.t * V.t
 
397
      type vertex = V.t
398
398
      let compare = Pervasives.compare
399
399
      type label = unit
400
400
      let create v1 _ v2 = (v1, v2)
402
402
      let dst = snd
403
403
      let label _ = ()
404
404
    end
405
 
                 
 
405
 
406
406
    type t = Bitv.t array
407
 
               
 
407
    type vertex = V.t
 
408
    type edge = E.t
 
409
 
408
410
    let create () = [||]
409
411
                      
410
412
    let make n =
546
548
        g a
547
549
 
548
550
  end
549
 
                     
 
551
 
550
552
  module Graph = struct
551
553
 
552
554
    module G = Digraph 
553
555
 
554
 
    include Per_imp.Graph.Concrete(G)
555
 
                 
 
556
    include Per_imp.Graph.Concrete(G)            
556
557
    (* Export some definitions of [G] *)
557
558
 
558
559
    let create = G.create
576
577
    let remove_edge_e g (v1, v2) = remove_edge g v1 v2
577
578
 
578
579
  end
 
580
 
579
581
end
 
582