Шаблоны
Портал предоставляет быстрый доступ к часто используемым выражениям с помощью функции создания конституенты из
шаблона
Источником шаблонов является Банк выражений, содержащий параметризованные понятия и утверждения,
сгруппированные по разделам
- Сначала выбирается шаблон выражения (вкладка Шаблон)
-
Далее для аргументов можно зафиксировать значения, выбрав из конституент текущей схемы или указав выражения
(вкладка Аргументы)
- Значения аргументов будут подставлены в выражение, включая корректировку перечня аргументов
- Если значения указаны для всех аргументов, то тип создаваемой конституенты будет автоматически обновлён
- На вкладке Конституента можно скорректировать все атрибуты, создаваемой конституенты
-
Кнопка Создать инициирует добавление выбранной конституенты в схему
);
}