> Notice the phrase "since last call"; I suspect the proportion argument
> has the following properties:
> 
> 1) When called for the first time in a round, proportion is the
>    time-proportion of the round thus far (or the proportion of time
>    since begin_round was called?)
> 
> 2) When called for the second or later times, proportion is the
>    proportion of time passed since the last call to advance_time

Your interpretation is right. As begin_round does not "consume" time, the 2 
cases are about the same.


> I am curious to know if there are any guarantees for the calling of
> advance_time --- for instance, will it always be called at least once
> in a round?

Yes.

Jiba

Reply via email to