mirror of
https://github.com/IRBorisov/ConceptPortal.git
synced 2025-06-26 13:00:39 +03:00
This commit is contained in:
parent
d4786e471a
commit
df4adf72a5
|
@ -1,6 +1,7 @@
|
||||||
import {
|
import {
|
||||||
IconAnimation,
|
IconAnimation,
|
||||||
IconAnimationOff,
|
IconAnimationOff,
|
||||||
|
IconChild,
|
||||||
IconConnect,
|
IconConnect,
|
||||||
IconConsolidation,
|
IconConsolidation,
|
||||||
IconDestroy,
|
IconDestroy,
|
||||||
|
@ -103,6 +104,10 @@ function HelpOssGraph() {
|
||||||
<li>
|
<li>
|
||||||
<IconConnect className='inline-icon' /> Выбрать КС для загрузки
|
<IconConnect className='inline-icon' /> Выбрать КС для загрузки
|
||||||
</li>
|
</li>
|
||||||
|
<li>
|
||||||
|
<IconChild className='inline-icon icon-green' />{' '}
|
||||||
|
<LinkTopic text='Перенести конституенты' topic={HelpTopic.UI_RELOCATE_CST} />
|
||||||
|
</li>
|
||||||
<li>
|
<li>
|
||||||
<IconExecute className='inline-icon icon-green' /> Активировать операцию
|
<IconExecute className='inline-icon icon-green' /> Активировать операцию
|
||||||
</li>
|
</li>
|
||||||
|
|
|
@ -1,8 +1,30 @@
|
||||||
|
import { IconMoveDown, IconMoveUp, IconPredecessor } from '@/components/Icons';
|
||||||
|
import LinkTopic from '@/components/ui/LinkTopic';
|
||||||
|
import { HelpTopic } from '@/models/miscellaneous';
|
||||||
|
|
||||||
function HelpRelocateCst() {
|
function HelpRelocateCst() {
|
||||||
return (
|
return (
|
||||||
<div className='text-justify'>
|
<div className='text-justify'>
|
||||||
<h1>Перенос конституент</h1>
|
<h1>Перенос конституент</h1>
|
||||||
<p>Раздел в разработке...</p>
|
<p>
|
||||||
|
Перенос конституент – операция, при которой выбранные конституенты переносятся в другую КС в рамках одной
|
||||||
|
<LinkTopic text='операционной схемы синтеза' topic={HelpTopic.CC_OSS} />.
|
||||||
|
</p>
|
||||||
|
<li>
|
||||||
|
только для <IconPredecessor size='1rem' className='inline-icon' /> собственных конституент схемы-источника
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<IconMoveUp size='1rem' className='inline-icon' />
|
||||||
|
<IconMoveDown size='1rem' className='inline-icon' /> направление переноса - вверх или вниз по дереву синтеза
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
при переносе вверх собственные конституенты становятся наследованными, а их копии добавляются в целевую КС
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
при переносе вниз собственные конституенты становятся собственными конституентами целевой КС и удаляются из
|
||||||
|
исходной КС
|
||||||
|
</li>
|
||||||
|
<li>при переносе вверх нельзя выбирать конституенты, зависящие от конституент КС, отличных от целевой</li>
|
||||||
</div>
|
</div>
|
||||||
);
|
);
|
||||||
}
|
}
|
||||||
|
|
|
@ -1,8 +1,21 @@
|
||||||
function HelpSubstitutions() {
|
function HelpSubstitutions() {
|
||||||
return (
|
return (
|
||||||
<div className='text-justify'>
|
<div>
|
||||||
<h1>Таблица отождествлений</h1>
|
<h1>Таблица отождествлений</h1>
|
||||||
<p>Раздел в разработке...</p>
|
<p>Пара отождествлений, обозначает замену вхождений одной конституенты на другую.</p>
|
||||||
|
<p>
|
||||||
|
Таблица отождествлений накладывает следующие ограничения:
|
||||||
|
<li>конституента может быть удаляемой только в одном отождествлении</li>
|
||||||
|
<li>удаляемые конституенты не могут быть замещающими в отождествлениях</li>
|
||||||
|
<li>базисные множества могут замещать только другие базисные множества</li>
|
||||||
|
<li>константные множества могут замещать только другие константные множества</li>
|
||||||
|
<li>
|
||||||
|
при отождествлении конституент, отличных от базисных и константных множеств, их типизации должны совпадать с
|
||||||
|
учетом других отождествлений
|
||||||
|
</li>
|
||||||
|
<li>логические выражения могут замещать только другие логические выражения</li>
|
||||||
|
<li>при отождествлении параметризованных конституент количество и типизации операндов должно совпадать</li>
|
||||||
|
</p>
|
||||||
</div>
|
</div>
|
||||||
);
|
);
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user