Actions
Task #3708
closedМетоды makeNegation, makeConjunction, makeDisjunction класса Constraint
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,
но было бы удобно иметь и дизъюнкцию в чистом виде, чтобы не усложнять код там, где это не требуется.
Actions