Task #4071
closed
Thoughts/questions on EVerilogOperation
Added by Alexander Kamkin over 11 years ago.
Updated over 11 years ago.
Description
- Is it really required to separate
EVerilogOperation
from EStandardOperation
?
- There is a naming convention in
EStandardOperation
to start all bit-vector operation with BV
. The same could be applied to EVerilogOperation
.
- I suggest replacing the postfix
_REDUCED
into the prefix BVR
.
- Target version set to 0.1
- Status changed from New to Resolved
- Assignee changed from Sergey Smolov to Alexander Kamkin
По пункту 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...))
- % Done changed from 0 to 100
- Published in build set to 0.2
- Status changed from Resolved to Closed
Also available in: Atom
PDF