Для входа в просмотр описания примененного приема нажимаем «б», и после прорисовки приема нажимаем клавишу «п» ("переменные"). Тогда все окна приема, кроме первого, удаляются с экрана, и под теоремой прорисовывается равенство а — 2 — т. е. теоремная переменная а идентифицирована с двойкой Чтобы перейти к просмотру следующей переменной, нажимаем «PageDown» — появляется равенство х = Ь, т. е теоремная переменная х идентифицирована с термом Ь. Для возвращения к ранее просмотренным переменным используется клавиша «PageUp». Для обрыва просмотра нажимаем любую другую клавишу, например, пробел. В бизнесе часто нужно получать грузы с других стран, в этом помогут посреднические фирмы, например http://transgood.ru/ru/serv/dost_turkish/ тут недорого.
Описанная возможность уточнения идентификации переменных при срабатывании приема — отладочная и обычно дополняется информацией, предоставляемой отладчиком ЛОСа. При наличии подробного поясняющего срабатывание приема текста она становится излишней. По окончании упражнения выходим из трассировки и возвращаемся в просмотр приема.
Опубликовал vovan666
February 04 2013 19:04:10 ·
0 Комментариев ·
4059 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
