LDS: Implementation

fun {Probe S N}

case {Space.ask S} of failed then nil

[] succeeded then [S]

[] alternatives(2) then

case Nɬ then C={Space.clone S} in

{Space.commit S 2}

case {Probe S N-1} of nil

then {Space.commit C 1} {Probe C N}

[] [T] then [T]

end

else {Space.commit S 1} {Probe S 0}

end

end

end

Previous slide

Next slide

Back to first slide

View graphic version