Actions
Task #3637
closedПространство состояний
Start date:
10/30/2012
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
Для определения пространства состояний - собрать все guard'ы, использующие переменные из набора, полученного из предыдущего алгоритма.
Задача выделена из #3598
Actions