Module ProofState_intf.S.PassiveSet

module PassiveSet: sig .. end

include ProofState_intf.S.CLAUSE_SET

val clauses : unit -> C.ClauseSet.t

Current set of clauses

val queue : ProofState_intf.S.CQueue.t

Current state of the clause queue

val next : unit -> C.t option

Get-and-remove the next passive clause to process

val num_clauses : unit -> int