To find a stable model of the Lparse program stored in file ${filename} we use the command % lparse ${filename} | smodels Option 0 instructs smodels to find all stable models of the program. |
Для нахождения устойчивой модели в Lparse-программе, которая хранится в файле ${filename} используется команда % lparse ${filename} | smodels Параметр 0 заставляет smodels найти все устойчивые модели программы. |
H[elp] [Option] |
H[elp] [Параметр] |
The field Signature File determines the file, the content of which is appended to each of your articles. The field is only enabled if the option Use a signature from file is selected. |
Поле Файл подписи определяет файл, содержимое которого будет добавляться в каждую вашу статью. Это поле доступно, только если установлен параметр Использовать подпись из файла. |
The "Table name. " option selects all data fields and the criteria is valid for all table fields. |
Параметр "Имя таблицы. " определяет все поля данных и условия, доступные для всех полей таблицы. |
If you do not want to use the code folding feature, you can disable the Show folding markers (if available) option in the Appearance page of the editor configuration. |
Если вы не хотите использовать функцию сворачивания, можно отключить параметр Показать маркеры сворачивания (если доступны) на странице настройки внешнего вида редактора |
This package option already exists. |
Такой параметр пакета уже существует. |
This document class option already exists. |
Такой параметр класса уже существует. |
Global option is already set. |
Глобальный параметр уже установлен. |
Invalid argument: option missing. |
Недопустимый аргумент: пропущен параметр. |
The option cannot be specified multiple times. |
Параметр нельзя указывать несколько раз. |
Must set IgnoreRoot option. |
Необходимо установить параметр IgnoreRoot. |
This option is active as default. |
Этот параметр включен по умолчанию. |
Select a sorting option for the language. |
Выберите параметр сортировки для языка. |
This option is not available for frames. |
Для рамок этот параметр недоступен. |
This option is not available if |
Этот параметр недоступен, если на вкладке |
This option corresponds to the function of the |
Этот параметр соответствует функции кнопки |
The -e option is useful for terminating your search immediately when a match is found. |
Параметр -ё используется для немедленной остановки поиска когда найдено первое соответствие. |
This option determines which day will be considered as the last working day of the week. |
Этот параметр позволяет выбрать день, в который заканчивается рабочая неделя. |
Use this option to switch display of username and password information on or off in the above table. |
Включите этот параметр для показа имени пользователя и пароля в таблице. |
Select this option if you want window icons to appear along with their titles in the taskbar. By default this option is selected. |
Включите этот параметр, если хотите чтобы показывались значки приложений на панели задач. По умолчанию параметр включен. |
Selecting this option causes the taskbar to show windows in order of the desktop they appear on. By default this option is selected. |
При включении этого параметра панель задач будет показывать окна отсортированные по рабочим столам. По умолчанию параметр включен. |
Check this option if you want a grab bar to be drawn below windows. When this option is not selected only a thin border will be drawn in its place. |
Установите этот параметр, если хотите, чтобы в нижней части окон отображалась полоса захвата. Без этого параметра на этом месте будет отображаться обычная тонкая рамка. |
If you want to print more days at once, you can define a range of dates with this option and the Start date option. This option is used to define the end date. |
Если вы хотите печатать сразу несколько дней, определите период этим параметром и датой начала. Этот параметр определяет дату окончания. |
If supported, this option allows you to set the delay after which a pressed key will start generating keycodes. The'Repeat rate 'option controls the frequency of these keycodes. |
Если поддерживается, этот параметр позволяет установить задержку, после которой нажатая клавиша начинает генерировать коды. Параметр «Частота» определяет частоту автоповтора. |
Turning this option off will cause the taskbar to display only the windows on the current desktop. By default, this option is selected and all windows are shown. |
Отключите этот параметр, если вы хотите, чтобы на панели задач отображались окна только с текущего рабочего стола. По умолчанию показываются окна со всех рабочих столов. |