Feature #3965: Переопределение метода toString() для классов Formula, Operation, Variable - Fortress - Open-Source Projects

Actions

Copy link

Feature #3965

closed

Переопределение метода toString() для классов Formula, Operation, Variable

Added by Igor Melnichenko over 11 years ago. Updated over 11 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Igor Melnichenko

Category:

Target version:

0.1

Start date:

02/25/2013

Due date:

% Done:

100%

Estimated time:

Published in build:

0.2

Description

Хотелось бы, чтобы у классов Formula, Operation, Variable был переопределён метод toString(), который бы возвращал инфиксный вариант выражения в случае с Formula и Operation и текстовое представление значения переменной в случае с Variable.

Actions

Copy link

Updated by Sergey Smolov over 11 years ago

Assignee changed from Andrei Tatarnikov to Sergey Smolov

Actions

Copy link

Updated by Alexander Kamkin over 11 years ago

Target version set to 0.1

Actions

Copy link

Updated by Sergey Smolov over 11 years ago

Status changed from New to Feedback
Assignee changed from Sergey Smolov to Igor Melnichenko

Игорь, устроит ли тебя вариант с префиксной формой записи выражений? Дело в том, что он значительно проще в реализации, чем инфиксная, и обладает, по сути, той же информативностью. Стоит также сказать, что язык SMT-LIB, в который библиотекой транслируются все выражения, исповедует именно префиксную форму.

Actions

Copy link