Project

General

Profile

Actions

Task #4802

closed

[solver][constraint] создание Constraint без указания variables

Added by Sergey Smolov almost 10 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Andrei Tatarnikov
Category:
-
Target version:
Start date:
03/31/2014
Due date:
% Done:

100%

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

Description

При создании объекта Constraint с помощью вызова метода ConstraintBuilder.build() требуется подать на вход билдеру Node-выражение (с помощью метода setInnerRep) и набор деклараций переменных (с помощью методов addVariable\addVariables). Это не всегда удобно и, отчасти, избыточно, т.к. информация об используемых переменных уже, по сути, хранится в объектах класса Node.

Предлагаю реализовать создание Constraint с возможностью не указывать переменные. Т.е. если билдеру не дали ни одной переменной, то он должен выполнить обход Formulas и достать оттуда декларации переменных самостоятельно.

Actions

Also available in: Atom PDF