В ТК Solver поддерживается использование функций следующих типов:
функции-списки, задают различные виды соответствий между элементами двух списков;
процедуры-функции, содержат описания алгоритмов решения подзадач на бейсикоподобном языке программирования и представляют из себя множество операторов (условных, безусловных, циклов и др.), выполнение которых определяется индуцируемым в процедуре алгоритмом;
функции-вычислительные модели (ВМ-функции), задают описания вычислительных моделей в виде объектов и отношений между ними. При обращении к такой функции в ТК Solver возникает подзадача, заданная на множестве фактических параметров функции, при этом подзадача будет разрешима в том случае, когда множество входных (значения которых известны до вызова функции) переменных позволит вычислить на определенных в теле функции отношениях значения выходных (результатов функции) переменных модели. В свою очередь, в теле функции могут быть обращения к другим ВМ-функциям, а также к процедурам-функциям и функциям-спискам.
342
В системе ТК Solver имеется библиотека, которая содержит более 100 различных встроенных функций и процедур-функций: тригонометрические и гиперболические функции, функции для действий над комплексными данными, булевы функции, функции и процедуры для работы со списками, функции для обработки строковых данных, функции для преобразования полярных и прямоугольных координат, функции для работы с файлами. Кроме того, имеются функции вычисления квадратного корня, возведения в степень, определения знака, вычисления ближайшего целого и ряд других. В состав библиотеки входят математические константы: РI() - константа ?= 3.141592653589793 и Е() - константа е = 2.718281828459045.
Примеры использования в уравнениях встроенных тригонометрических функций:
l.y-y0 = sin(x)/x;
a/sind(A) = b/sind(B);
ехр(-t^2) = рhi
circumference = 2*pi()*radius.
Кроме использования встроенных функций, можно описывать и использовать функции пользователя.
