Pcond.seqengine
inherit engine
method set_sequence : Wp__.Conditions.sequence -> unit
Initialize state with this sequence
method set_goal : Wp__.Lang.F.pred -> unit
Adds goal to state domain
method set_sequent : Wp__.Conditions.sequent -> unit
Set sequence and goal
method get_state : bool
If true, states are rendered when printing sequences.
true
method set_state : bool -> unit
If set to false, states rendering is deactivated.
false