Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/alt/01050400.html
Дата изменения: Mon Sep 24 15:06:32 2007 Дата индексирования: Tue Oct 2 01:16:07 2012 Кодировка: IBM-866 Поисковые слова: п п п п п п п п п п п п п п п п п п п п п р п р п р п р п р п р п р п р п р п р п р п р п р п п р п п р п п р п п р п |
Построение пространства поиска осуществляется в результате доказательства конструкторов экземпляров классов и реализуется посредством построения новых экземпляров классов.
Последовательность действий, создающих пространство поиска и слоты отдельного экземпляра класса, называется "формированием" экземпляра класса.
Построение экземпляра класса (создание нового экземпляра класса) включает следующие этапы:
Этапы формирования экземпляра класса и доказательства предикатов goal не зависят друг от друга и относятся к разным этапам построения процесса. Выполнение этих операций осуществляется в соответствии со следующими правилами:
Ссылки: актор 7.1, атрибут 4.1.1, вложенность миров 5, исполнение предиката 6.3.1, класс 4.1, конструктор мира 4.1.3, мир 5.1, переменная 2.1.1, подцель доказательства 6.3.1, построение миров 5.4.1, построение процесса 5.4.1, слот 5.1, формирование миров 5.4.1, goal 5.4.1.
Следующий:
5.4.1. ИСПОЛНЕНИЕ КОНСТРУКТОРОВ
Предыдущий:
5.3. РЕЗИДЕНТЫ
5. СТРУКТУРА ПРОСТРАНСТВА ПОИСКА
5.4.1. ИСПОЛНЕНИЕ КОНСТРУКТОРОВ
5.4.2. ПОСТРОЕНИЕ СЛОТОВ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)