'use client'; import Checkbox from '@/components/ui/Checkbox'; import Modal from '@/components/ui/Modal'; import usePartialUpdate from '@/hooks/usePartialUpdate'; import { GraphFilterParams } from '@/models/miscellaneous'; import { CstType } from '@/models/rsform'; import { useDialogsStore } from '@/stores/dialogs'; import { labelCstType } from '@/utils/labels'; export interface DlgGraphParamsProps { initial: GraphFilterParams; onConfirm: (params: GraphFilterParams) => void; } function DlgGraphParams() { const { initial, onConfirm } = useDialogsStore(state => state.props as DlgGraphParamsProps); const [params, updateParams] = usePartialUpdate(initial); return ( onConfirm(params)} submitText='Применить' className='flex gap-6 justify-between px-6 pb-3 w-[30rem]' >

Преобразования

updateParams({ noText: value })} /> updateParams({ noHermits: value })} /> updateParams({ noTemplates: value })} /> updateParams({ noTransitive: value })} /> updateParams({ foldDerived: value })} />

Типы конституент

updateParams({ allowBase: value })} /> updateParams({ allowStruct: value })} /> updateParams({ allowTerm: value })} /> updateParams({ allowAxiom: value })} /> updateParams({ allowFunction: value })} /> updateParams({ allowPredicate: value })} /> updateParams({ allowConstant: value })} /> updateParams({ allowTheorem: value })} />
); } export default DlgGraphParams;