Release coccinelle-0.1.2

[bpt/coccinelle.git] / ctl / ctl_engine.mli

diff --git a/ctl/ctl_engine.mli b/ctl/ctl_engine.mli
index 05e2f5e..ba21a17 100644 (file)
--- a/ctl/ctl_engine.mli
+++ b/ctl/ctl_engine.mli
@@ -20,6 +20,8 @@ module type GRAPH =
     val extract_is_loop : cfg -> node -> bool
     val print_node :      node -> unit
     val size :            cfg -> int
+    val print_graph :     cfg -> string option ->
+      (node * string) list -> (node * string) list -> string -> unit
   end
 
 module OGRAPHEXT_GRAPH :
@@ -62,3 +64,7 @@ module CTL_ENGINE :
 
        val print_bench : unit -> unit
       end
+
+val get_graph_files : unit -> string list
+val get_graph_comp_files : string -> string list
+