engine/ctlcocci_integration.mli

   1 open Ograph_extended
   2
   3 val labels_for_ctl :
   4   string list (* dropped isos *) ->
   5   (nodei * Control_flow_c.node) list -> Lib_engine.metavars_binding ->
   6   Lib_engine.label_ctlcocci
   7
   8
   9 val fix_flow_ctl : Control_flow_c.cflow -> Control_flow_c.cflow
  10
  11 val model_for_ctl :
  12   string list (* dropped isos *) ->
  13   Control_flow_c.cflow -> Lib_engine.metavars_binding -> Lib_engine.model
  14
  15
  16 type pred = Lib_engine.predicate * Ast_cocci.meta_name Ast_ctl.modif
  17
  18 val mysat :
  19   Lib_engine.model ->
  20   (Lib_engine.ctlcocci * (pred list list)) ->
  21   (Lib_engine.mvar list * Lib_engine.metavars_binding) ->
  22   (Lib_engine.numbered_transformation_info *  bool *
  23      Lib_engine.metavars_binding * Lib_engine.metavars_binding list)
  24
  25
  26 val print_bench : unit -> unit