object
method
add :
WpStrategy
.strategy list
->
unit
method
compute :
Wpo
.t list
end