class seqengine :Inherits#state ->
object
..end
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.
method set_state : bool -> unit
If set to false
, states rendering is deactivated.