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
Updated by Alexander Kamkin about 11 years ago
- Project changed from 80 to Retrascope
Updated by Sergey Smolov almost 10 years ago
- Status changed from New to Closed
есть более актуальная постановка задачи в #4661
Actions