Actions
Task #4337
closedреализовать заглушки для методов преобразования в ограничения
Start date:
07/11/2013
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
1. Реализовать интерфейс ISymbolic
2. В классах, реализующих данный интерфейс (CFG, Node, что-то ещё?), создать заглушки для соответствующих методов.
Actions