Язык спецификации вычислительных задач - часть 3

340

• AND () - логическое И;
• IMPLY(x,y) - логическая импликация;
• ОР() - логическое ИЛИ.

Здесь х и у - логические выражения, а - последовательность логических выражений, разделенных запятыми. К символьным выражениям относятся:

• переменные символьного типа;
• выражения, в которых используются символьные переменные.

Объекты (переменные) в ТК Solver связываются между собой отношениями. В моделях допускается применение следующих видов отношений:

• реляционные отношения, задаются путем явного перечисления элементов отношений и представляются в ТК Solver в форме таблиц или (при геометрической интерпретации бинарных таблиц) графиков;
• отношения вычислимости, задаются в функциональной форме в виде предложений вычислимости, которые могут безусловными и условными.