Project

General

Profile

Actions

Task #5229

closed

[transformer] Упрощение выражений с LOGIC_BOOLEAN

Added by Sergey Smolov about 10 years ago. Updated about 10 years ago.

Status:
Closed
Priority:
High
Category:
-
Target version:
Start date:
08/29/2014
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Published in build:
140915

Description

Сейчас в Fortress реализовано упрощение выражений, использующих только значения типа LOGIC_INTEGER.

Необходимо реализовать упрощение (Transformer.reduce) выражений, использующих значения типа LOGIC_BOOLEAN.

Для этого можно реализовать класс StandardOperationsBoolean (по аналогии с классом StandardOperationsInt) и зарегистрировать в классе Calculator.

Actions

Also available in: Atom PDF