Class Wp.Pcond.sequence

class sequence : #state -> object .. end
Inherits
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.