blob: 4f75cad226a40b7f55f2a45515d001dfee3314a3 (
plain) (
tree)
|
|
This module implements a deterministic, rectifying variant on Dijkstra's
guarded commands. Each named step is passed two blocks: an "ensure"
block that defines a test for a necessary and sufficient condition of
the step, and a "using" block that will cause that condition to obtain.
WWW: http://search.cpan.org/dist/Commands-Guarded/
|
