Actions
Task #5177
closed[solver] Implement function templates
Start date:
07/31/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
140915
Description
Реализовать возможность расширять фонкциональность солвера операциями, основанными на шаблонах функций (Описывают семейство похожих функций, опрерирующих разными типами данных. Например, битовыми векторами разной длины). Солвер должен генерировать нужную функцию из семейства, описанного шаблоном, в зависимости от типа операндов.
Actions