Actions
Task #5220
closed[solver] Переименовые SolverUtils
Start date:
08/25/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
140915
Description
Есть идея переименовать SolverUtils во что-нибудь еще. Там есть методы (например, getConjuction), которые с солвером никак не связаны.
Updated by Andrei Tatarnikov over 10 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Сделано в r612: класс SolverUtils из пакета "solver" переименован в ExprUtils и перемещён в пакет "expression".
Updated by Andrei Tatarnikov over 10 years ago
- Status changed from Resolved to Closed
- Published in build set to 140915
Actions