Сравнение двух значений анонимного строкового

Сравнение двух значений анонимного строкового типа производится следующим образом. Пусть Rx и Ry обозначают строки-операнды, а Rxi и Ryi - i-тые элементы Rx и Ry соответственно. Вот как определяется результат сравнения Rx comp_op Ry:

Rx = Ry есть true тогда и только тогда, когда Rxi = Ryi есть true для всех i;

Rx <> Ry есть true тогда и только тогда, когда Rxi <> Ryi есть true для некоторого i;

Rx < Ry есть true тогда и только тогда, когда Rxi = Ryi есть true для всех i < n, и Rxn < Ryn есть true для некоторого n;

Rx > Ry есть true тогда и только тогда, когда Rxi = Ryi есть true для всех i < n, и Rxn > Ryn есть true для некоторого n;

Rx <= Ry есть true тогда и только тогда, когда Rx = Ry есть true или Rx < Ry есть true;

Rx >= Ry есть true тогда и только тогда, когда Rx = Ry есть true или Rx > Ry есть true;

Rx = Ry есть false тогда и только тогда, когда Rx <> Ry есть true;

Rx <> Ry есть false тогда и только тогда, когда Rx = Ry есть true;

Rx < Ry есть false тогда и только тогда, когда Rx >= Ry есть true;

Rx > Ry есть false тогда и только тогда, когда Rx <= Ry есть true;

Rx <= Ry есть false тогда и только тогда, когда Rx > Ry есть true;

Rx >= Ry есть false тогда и только тогда, когда Rx < Ry есть true;

Rx comp_op Ry есть unknown тогда и только тогда, когда Rx comp_op Ry не есть true или false.

Содержание раздела

---

Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий

---