Actions
Task #6349
closed[MapBasedPrinter] Добавить возможность задавать формат вывода констант
Start date:
10/14/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
0.4.11
Description
Необходима возможность определять формат вывода констант различных типов.
Например, формат бит-вектора в NuXMV выглядит следующим образом:
word_constant ::
0 [word_sign_specifier] word_base [word_width] _ word_value
0sb5_10111 - signed word5
0d11_9 - unsigned word11
Тип boolean:
boolean_constant :: one of
FALSE TRUE
и т.д.
Actions