Added by Alexander Kamkin about 11 years ago. Updated almost 11 years ago.
100%
Description
EVerilogOperation from EStandardOperation?EStandardOperation to start all bit-vector operation with BV. The same could be applied to EVerilogOperation._REDUCED into the prefix BVR.По пункту 1: в EStandardOperation находятся идентификаторы "родных" (т.е. стандартных) операций языка SMT-LIB. EverilogOperation, по замыслу создателя, хранит идентификаторы операций языка Verilog (VHDL). Мне пока не очевидна необходимость их слияния.
По пунктам 2 и 3: в среду 10.04 пришли к консенсусу, идентификаторы переименованы
r58
По первому пункту. Слияние EStandardOperation и EVerilogOperation все же выполнил. Так проще пользоваться билиотекой - нет нужды выискивать, где именно определены требуемые custom operations.
Лучше даже сделать так: завести отдельный enum ECustomOperation на все custom-ные операции (не входящие в множество стандартных операций языка SMT-LIB). При таком подходе вызовы методов класса CustomOperations будут выглядеть красивее (makeCustomOperation(ECusotmOperatiom.ID...))