Module Cmd_encoding.Make

Parameters

module S : sig ... end

Signature

type group = S.lit list
type cmd_tree =
  1. | Leaf of group
  2. | Node of (S.lit * cmd_tree) list
type params = {
  1. t : int;
  2. g : int;
}
val defaults : params
val add_at_most_naive : S.solver -> S.lit list -> unit
val group : 'a list -> int -> int -> 'a list list option
val cmd_init : group -> params -> S.solver -> cmd_tree
val add_cmd_c1 : S.solver -> cmd_tree -> unit
val add_cmd_c2 : S.solver -> cmd_tree -> unit
val add_cmd_c3 : S.solver -> cmd_tree -> unit