object
  method add_interface_variable : Term.term -> unit
  method backjump : int -> unit
  method conflict_clause : Term.term list
  method conflict_detected : bool
  method decision_level : int
  method final_check : unit
  method get_lemma : Term.term list
  method get_lemma_possible : bool
  method get_literal : Term.term
  method get_literal_possible : bool
  method increment_level : unit
  method infer : unit
  method inference_possible : bool
  method is_interface_literal : Term.term -> bool
  method is_true : Term.term -> bool
  method literal_explanation : Term.term -> Term.term list
  method owns_constant : Term.term -> bool
  method proxy : Term.term -> Term.term
  method restart : unit
  method set_literal : Term.term -> unit
  method variables : Term.Term_set.t
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.