diff --git a/victim.asl b/victim.asl index cb37cfe..8c9bae8 100644 --- a/victim.asl +++ b/victim.asl @@ -12,8 +12,11 @@ life(500). +!send_init_pos : not pos(_,_) // if I do not know my position yet <- .wait("+pos(X,Y)", 500); // wait for it and try again !!send_init_pos(S). -+free : pos(AgX,AgY) & life > 0 + ++free : pos(AgX,AgY) & life(L) > 0 <- victim.get_direction(AgX, AgY, D); do(D); + -+life(L-1); + .wait("",500); -+free.