'use client'; import { Checkbox } from '@/components/ui/Input'; import { ModalForm } 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); function handleSubmit() { onConfirm(params); return true; } return (

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

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;