diff --git a/.vscode/settings.json b/.vscode/settings.json
index 960cc2e5..9271082f 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -169,6 +169,7 @@
"Биективная",
"биективной",
"Булеан",
+ "булеана",
"Бурбаки",
"Бурбакизатор",
"Версионирование",
@@ -186,12 +187,14 @@
"конституент",
"Конституента",
"конституентами",
+ "конституентах",
"конституенте",
"конституенту",
"конституенты",
"Крайнев",
"Кучкаров",
"Кучкарова",
+ "мультиграфа",
"неинтерпретируемый",
"неитерируемого",
"Никанорова",
diff --git a/rsconcept/frontend/src/dialogs/DlgShowTypification/DlgShowTypification.tsx b/rsconcept/frontend/src/dialogs/DlgShowTypification/DlgShowTypification.tsx
index b2ab466f..3cc2b59f 100644
--- a/rsconcept/frontend/src/dialogs/DlgShowTypification/DlgShowTypification.tsx
+++ b/rsconcept/frontend/src/dialogs/DlgShowTypification/DlgShowTypification.tsx
@@ -5,6 +5,7 @@ import { toast } from 'react-toastify';
import { ReactFlowProvider } from 'reactflow';
import Modal, { ModalProps } from '@/components/ui/Modal';
+import { HelpTopic } from '@/models/miscellaneous';
import { IArgumentInfo } from '@/models/rslang';
import { TMGraph } from '@/models/TMGraph';
import { errors } from '@/utils/labels';
@@ -36,6 +37,7 @@ function DlgShowTypification({ hideWindow, alias, resultTypification, args }: Dl
readonly
hideWindow={hideWindow}
className='flex flex-col justify-stretch w-[calc(100dvw-3rem)] h-[calc(100dvh-6rem)]'
+ helpTopic={HelpTopic.UI_TYPE_GRAPH}
>
diff --git a/rsconcept/frontend/src/models/miscellaneous.ts b/rsconcept/frontend/src/models/miscellaneous.ts
index f643ac49..fe0b4e34 100644
--- a/rsconcept/frontend/src/models/miscellaneous.ts
+++ b/rsconcept/frontend/src/models/miscellaneous.ts
@@ -90,6 +90,7 @@ export enum HelpTopic {
UI_RS_EDITOR = 'ui-rsform-editor',
UI_GRAPH_TERM = 'ui-graph-term',
UI_FORMULA_TREE = 'ui-formula-tree',
+ UI_TYPE_GRAPH = 'ui-type-graph',
UI_CST_STATUS = 'ui-rsform-cst-status',
UI_CST_CLASS = 'ui-rsform-cst-class',
UI_OSS_GRAPH = 'ui-oss-graph',
@@ -140,6 +141,7 @@ export const topicParent = new Map([
[HelpTopic.UI_RS_EDITOR, HelpTopic.INTERFACE],
[HelpTopic.UI_GRAPH_TERM, HelpTopic.INTERFACE],
[HelpTopic.UI_FORMULA_TREE, HelpTopic.INTERFACE],
+ [HelpTopic.UI_TYPE_GRAPH, HelpTopic.INTERFACE],
[HelpTopic.UI_CST_STATUS, HelpTopic.INTERFACE],
[HelpTopic.UI_CST_CLASS, HelpTopic.INTERFACE],
[HelpTopic.UI_OSS_GRAPH, HelpTopic.INTERFACE],
diff --git a/rsconcept/frontend/src/pages/ManualsPage/TopicPage.tsx b/rsconcept/frontend/src/pages/ManualsPage/TopicPage.tsx
index 412b9f7a..b06c7803 100644
--- a/rsconcept/frontend/src/pages/ManualsPage/TopicPage.tsx
+++ b/rsconcept/frontend/src/pages/ManualsPage/TopicPage.tsx
@@ -38,6 +38,7 @@ import HelpRSGraphTerm from './items/ui/HelpRSGraphTerm';
import HelpRSList from './items/ui/HelpRSList';
import HelpRSMenu from './items/ui/HelpRSMenu';
import HelpSubstitutions from './items/ui/HelpSubstitutions';
+import HelpTypeGraph from './items/ui/HelpTypeGraph';
// PDF Viewer setup
const OFFSET_X_SMALL = 32;
@@ -64,6 +65,7 @@ function TopicPage({ topic }: TopicPageProps) {
if (topic === HelpTopic.UI_RS_EDITOR) return ;
if (topic === HelpTopic.UI_GRAPH_TERM) return ;
if (topic === HelpTopic.UI_FORMULA_TREE) return ;
+ if (topic === HelpTopic.UI_TYPE_GRAPH) return ;
if (topic === HelpTopic.UI_CST_STATUS) return ;
if (topic === HelpTopic.UI_CST_CLASS) return ;
if (topic === HelpTopic.UI_OSS_GRAPH) return ;
diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/cc/HelpConceptPropagation.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/cc/HelpConceptPropagation.tsx
index 0a08a8d9..842922e6 100644
--- a/rsconcept/frontend/src/pages/ManualsPage/items/cc/HelpConceptPropagation.tsx
+++ b/rsconcept/frontend/src/pages/ManualsPage/items/cc/HelpConceptPropagation.tsx
@@ -20,6 +20,10 @@ function HelpConceptPropagation() {
созданию / удаление / обновлению наследованных конституент. Если удаляемые конституенты находятся в таблице
отождествлений одной из операций, то такие отождествления будут автоматические отменены.
+
+ После отмены отождествления на заново восстановленную конституенту не обновляются ссылки в собственных
+ конституентах синтезированный схемы.
+
Удаление концептуальной схемы, привязанной к операции приводит к автоматическому удалению всех наследованных
конституент. В дальнейшем можно повторно выполнить как операцию загрузки, так и синтез. Однако дописанные
diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/ui/HelpRelocateCst.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/ui/HelpRelocateCst.tsx
index 18d34968..c2f58e5f 100644
--- a/rsconcept/frontend/src/pages/ManualsPage/items/ui/HelpRelocateCst.tsx
+++ b/rsconcept/frontend/src/pages/ManualsPage/items/ui/HelpRelocateCst.tsx
@@ -1,4 +1,4 @@
-import { IconMoveDown, IconMoveUp, IconPredecessor } from '@/components/Icons';
+import { IconMoveDown, IconMoveUp, IconOSS, IconPredecessor } from '@/components/Icons';
import LinkTopic from '@/components/ui/LinkTopic';
import { HelpTopic } from '@/models/miscellaneous';
@@ -7,24 +7,27 @@ function HelpRelocateCst() {
Перенос конституент
- Перенос конституент – операция, при которой выбранные конституенты переносятся в другую КС в рамках одной
+ Перенос конституент – операция, при которой выбранные конституенты переносятся из текущей КС (источника) в
+ другую КС (целевую) в рамках одной {' '}
.
- только для собственных конституент схемы-источника
+ только для собственных конституент источника
направление переноса - вверх или вниз по дереву синтеза
+
+
Перенос вверх
+
выбранные конституенты становятся наследованными, а их копии добавляются в целевую КС
+
нельзя выбирать конституенты, зависящие от конституент других концептуальных схем
+
+
Перенос вниз
- при переносе вверх собственные конституенты становятся наследованными, а их копии добавляются в целевую КС
+ выбранные конституенты становятся собственными конституентами целевой КС, удаляются из исходной КС и ее
+ наследников
-
- при переносе вниз собственные конституенты становятся собственными конституентами целевой КС и удаляются из
- исходной КС
-
-
при переносе вверх нельзя выбирать конституенты, зависящие от конституент КС, отличных от целевой
);
}
diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/ui/HelpTypeGraph.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/ui/HelpTypeGraph.tsx
new file mode 100644
index 00000000..461cf4b4
--- /dev/null
+++ b/rsconcept/frontend/src/pages/ManualsPage/items/ui/HelpTypeGraph.tsx
@@ -0,0 +1,35 @@
+import LinkTopic from '@/components/ui/LinkTopic';
+import { useConceptOptions } from '@/context/ConceptOptionsContext';
+import { HelpTopic } from '@/models/miscellaneous';
+
+function HelpTypeGraph() {
+ const { colors } = useConceptOptions();
+ return (
+
+
Граф ступеней
+
+ Граф связей между ступенями, используемыми в данном выражении или{' '}
+ . Исторически отображался в форме мультиграфа (М-граф). В
+ Портале кратные ребра представлены перечислением индексов компонент произведения.
+
+
ребра без надписей означают взятие булеана
+
цифры означают номера компонент декартова произведения
+
основаниями дерева являются ступени базисных, константных множеств
+
ступень терм-функции - произведение ступеней результата и аргументов
+
ступень предикат-функции - произведение ступеней аргументов
+
+
Виды узлов
+
+ ступень-основание
+
+
+ ступень-булеан
+
+
+ ступень декартова произведения
+
+
+ );
+}
+
+export default HelpTypeGraph;
diff --git a/rsconcept/frontend/src/utils/labels.ts b/rsconcept/frontend/src/utils/labels.ts
index 2e30f82a..78934562 100644
--- a/rsconcept/frontend/src/utils/labels.ts
+++ b/rsconcept/frontend/src/utils/labels.ts
@@ -376,6 +376,7 @@ export function labelHelpTopic(topic: HelpTopic): string {
case HelpTopic.UI_RS_EDITOR: return 'Редактор конституенты';
case HelpTopic.UI_GRAPH_TERM: return 'Граф термов';
case HelpTopic.UI_FORMULA_TREE: return 'Дерево разбора';
+ case HelpTopic.UI_TYPE_GRAPH: return 'Граф ступеней';
case HelpTopic.UI_CST_STATUS: return 'Статус конституенты';
case HelpTopic.UI_CST_CLASS: return 'Класс конституенты';
case HelpTopic.UI_OSS_GRAPH: return 'Граф синтеза';
@@ -429,6 +430,7 @@ export function describeHelpTopic(topic: HelpTopic): string {
case HelpTopic.UI_RS_EDITOR: return 'редактирование конституенты';
case HelpTopic.UI_GRAPH_TERM: return 'интерфейс графа термов';
case HelpTopic.UI_FORMULA_TREE: return 'просмотр дерева разбора
родоструктурного выражения';
+ case HelpTopic.UI_TYPE_GRAPH: return 'просмотр графа ступеней';
case HelpTopic.UI_CST_STATUS: return 'нотация статуса конституенты';
case HelpTopic.UI_CST_CLASS: return 'нотация класса конституенты';
case HelpTopic.UI_OSS_GRAPH: return 'графическая форма
операционной схемы синтеза';