|
check, первая дата окончания голосования является действительной, но не обязана быть конечной, т.к. нигде не определено что признак окончания голосования не может быть сдвинут по оси времени вперед на детерминированное количество времени. Следовательно, при изменении значения признака окончания голосования, пролонгируется и недетерминированное состояние признака победителя, до тех пор пока пролонгированный признак окончания не вступит в фазу завершения.
|