Class CfgWP.Computer.thecomputer

class thecomputer : Model.t -> object .. end

val mutable lemmas : LogicUsage.logic_lemma Bag.t
val mutable annots : WpStrategy.strategy Bag.t
method lemma : bool
method add_lemma : LogicUsage.logic_lemma -> unit
method add_strategy : WpStrategy.strategy -> unit
method compute : Wpo.t Bag.t