Project

General

Profile

Task #3708

Методы makeNegation, makeConjunction, makeDisjunction класса Constraint

Added by Sergey Smolov over 7 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Target version:
-
Start date:
11/23/2012
Due date:
% Done:

0%

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

Description

1. Реализовать методы makeNegation и makeConjunction класса Constraint.

Сейчас на их месте заглушки.

2. В интерфейсе IConstraint задекларировать, а в классе Constraint - реализовать метод makeDisjunction.

Сигнатура: public IConstraint makeDisjunction(IConstraint a)

Метод возвращает дизъюнкцию двух constraint'ов.

В принципе, метод легко реализовать и самостоятельно посредством методов makeNegation и makeConjunction,
но было бы удобно иметь и дизъюнкцию в чистом виде, чтобы не усложнять код там, где это не требуется.

History

#1

Updated by Sergey Smolov about 7 years ago

  • Status changed from New to Open
  • Assignee changed from Andrei Tatarnikov to Sergey Smolov
#2

Updated by Sergey Smolov about 7 years ago

  • Status changed from Open to Closed

Сделано. Тикет закрываю.
r38

Also available in: Atom PDF