1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
(** {1 Actions for Plugins} *)
open Solver_types
type t = actions
let[@inline] push_clause acts c = acts.act_push_clause c
let[@inline] level acts = acts.act_level ()
let[@inline] propagate_bool_eval acts t b ~subs = acts.act_propagate_bool_eval t b ~subs
let[@inline] propagate_bool_lemma acts t b c l = acts.act_propagate_bool_lemma t b c l
let[@inline] raise_conflict acts atoms lemma = acts.act_raise_conflict atoms lemma
let[@inline] on_backtrack acts f = acts.act_on_backtrack f
let[@inline] propagate_bool_lemma acts t b c l =
acts.act_propagate_bool_lemma t b c l