Module `Libzipperposition.ClauseQueue`

Priority Queue of clauses

type profile = ClauseQueue_intf.profile

val profile_of_string : string -> profile

raises Invalid_argument: if the string is not recognized

val get_profile : unit -> profile
val set_profile : profile -> unit
val ignore_orphans : unit -> bool

module type S = ClauseQueue_intf.S

module Make : functor (C : Clause.S) -> S with module C = C