M: Update manuals

This commit is contained in:
Ivan 2024-10-30 10:39:05 +03:00
parent dfad742419
commit 4462a95885
3 changed files with 43 additions and 3 deletions

View File

@ -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>

View File

@ -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>
); );
} }

View File

@ -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>
); );
} }