Поведение команд AMPL зависит не только от того, что пользователь вводит напрямую, но и от множества настроек самих решателей, установленных значений настроек AMPL и т.д.
Параметры AMPL
Каждый параметр настроек имеет имя и значение, которое может быть числом или строкой. Например, параметры prompt1 и prompt2 являются строками, которые определяют вид приглашения. Опция display_width; имеет числовое значение, которое задает количество отображаемых командой display символов в ширину. Команда option устанавливает и отображает значения настроек. Если за option следует список имен настроек, AMPL выводит текущие значения этих настроек:
option prompt1, display_width; option prompt1 ’ampl: ’; option display_width 79;
Использование подстановочного знака «*» вместо имени настройки соответствует любой последовательности символов:
option prom*; option prompt1 ’ampl: ’; option prompt2 ’ampl? ’;
Команда option
Команда option* или просто option, выводит список всех текущих параметров и их значения. Когда за option следует имя параметра и значение, тогда значение этого параметра устанавливаются равным введенному. Следующий пример демонстрирует изменение отображаемой подсказки и ширины отображения:
option prompt1 "A> ", display_width 60; A> option display_width; option display_width 60; A>
Можно указать любое строковое значение, заключив строку в соответствующие кавычки '...' или "..." как указано выше. Кавычки могут быть опущены, если строка выглядит как имя или число. Две последовательные кавычки ("" или '') обозначают пустую строку, которая имеет значение для некоторых параметров. С другой стороны, если необходимо разбить длинную строку на несколько коротких, нужно поместить символ обратной косой черты «\» в конце каждой промежуточной строки. Когда AMPL запускается, он устанавливает множество параметров в начальные или стандартные значения. Например, опция prompt1 инициализируется как ampl:. Опция display_width имеет значение по умолчанию 79. Другие опции, особенно те, которые относятся к определенным решателям, изначально не установлены:
option cplex_options; option cplex_options ’’; #not defined
Чтобы вернуть все параметры к их значениям по умолчанию, нужно использовать команду reset options. AMPL не поддерживает основной список допустимых настроек, но принимает любые новые значения настроек, которые определит пользователь. Таким образом, неправильный ввод имени настроек, скорее всего, приведет к определению новой. Например:
option display_wdith 60; option display_w*; option display_wdith 60; option display_width 79;
Оператор option не проверяет, присвоено ли опции правильное значение. AMPL сообщит об ошибке, только когда опция используется какой-либо командой. В этом отношении параметры AMPL очень похожи на «переменные среды» environment variable операционной системы. Фактически можно использовать настройки переменных среды, чтобы переопределить значения по умолчанию для параметров AMPL. Подробности необходимо искать в документации к установленной на компьютере операционной системе.
