Universal Quantification
Quantification in effects: explode breaks all objects
Quantification in preconditions/goals:
explode
+: (forall (x)
(when fragile(x) (broken (x)))
cleanup
P: (forall (x)
(when fragile(x) (broken (x)))
+: tidy
Previous slide
Back to first slide
View graphic version