Up
–
frama-c-wp
»
Wp
»
Ptip
» plang
Class
Ptip.plang
inherit
Wp__.Pcond.state
method
set_target :
F.term
->
unit
method
clear_target : unit