Example of a Unfolding Action

Action: 


unfolding
||give true
|then
||||check true and then complete
|||and then
||||unfold
||or
|||check false and then complete
Informal description:

Incomplete...

Try this action using Java ANI.

RAT| People

[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]