Commit | Line | Data |
---|---|---|
34e49164 C |
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) -> | |
708f4980 C |
22 | (Lib_engine.numbered_transformation_info * bool * |
23 | Lib_engine.metavars_binding * Lib_engine.metavars_binding list) | |
34e49164 C |
24 | |
25 | ||
26 | val print_bench : unit -> unit |