site/node_modules/speech-rule-engine/js/semantic_tree/semantic_processor.d.ts

129 lines
5.1 KiB
TypeScript
Raw Permalink Normal View History

2024-10-14 06:09:33 +00:00
import { SemanticFont } from './semantic_meaning';
import { SemanticNode } from './semantic_node';
import { SemanticNodeFactory } from './semantic_node_factory';
export default class SemanticProcessor {
private static readonly FENCE_TO_PUNCT_;
private static readonly MML_TO_LIMIT_;
private static readonly MML_TO_BOUNDS_;
private static readonly CLASSIFY_FUNCTION_;
private static readonly MATHJAX_FONTS;
private static instance;
funcAppls: {
[key: string]: SemanticNode;
};
private factory_;
static getInstance(): SemanticProcessor;
static tableToMultiline(table: SemanticNode): void;
static number(node: SemanticNode): void;
static classifyMultiline(multiline: SemanticNode): void;
static classifyTable(table: SemanticNode): void;
private static detectCaleyTable;
private static cayleySpacing;
static proof(node: Element, semantics: string, parse: (p1: Element[]) => SemanticNode[]): SemanticNode;
static findSemantics(node: Element, attr: string, opt_value?: string): boolean;
static getSemantics(node: Element): {
[key: string]: string;
};
static removePrefix(name: string): string;
static separateSemantics(attr: string): {
[key: string]: string;
};
private static matchSpaces_;
private static getSpacer_;
private static fenceToPunct_;
private static classifyFunction_;
private static propagateFunctionRole_;
private static getFunctionOp_;
private static tableToMatrixOrVector_;
private static tableToVector_;
private static binomialForm_;
private static tableToMatrix_;
private static tableToSquare_;
private static getComponentRoles_;
private static tableToCases_;
private static rewriteFencedLine_;
private static rowToLine_;
private static assignRoleToRow_;
private static nextSeparatorFunction_;
private static numberRole_;
private static exprFont_;
private static purgeFences_;
private static rewriteFencedNode_;
private static rewriteFence_;
private static propagateFencePointer_;
private static classifyByColumns_;
private static isEndRelation_;
private static isPureRelation_;
private static computeColumns_;
private static testColumns_;
setNodeFactory(factory: SemanticNodeFactory): void;
getNodeFactory(): SemanticNodeFactory;
identifierNode(leaf: SemanticNode, font: SemanticFont, unit: string): SemanticNode;
implicitNode(nodes: SemanticNode[]): SemanticNode;
text(leaf: SemanticNode, type: string): SemanticNode;
row(nodes: SemanticNode[]): SemanticNode;
limitNode(mmlTag: string, children: SemanticNode[]): SemanticNode;
tablesInRow(nodes: SemanticNode[]): SemanticNode[];
mfenced(open: string | null, close: string | null, sepValue: string | null, children: SemanticNode[]): SemanticNode;
fractionLikeNode(denom: SemanticNode, enume: SemanticNode, linethickness: string, bevelled: boolean): SemanticNode;
tensor(base: SemanticNode, lsub: SemanticNode[], lsup: SemanticNode[], rsub: SemanticNode[], rsup: SemanticNode[]): SemanticNode;
pseudoTensor(base: SemanticNode, sub: SemanticNode[], sup: SemanticNode[]): SemanticNode;
font(font: string): SemanticFont;
proof(node: Element, semantics: {
[key: string]: string;
}, parse: (p1: Element[]) => SemanticNode[]): SemanticNode;
inference(node: Element, semantics: {
[key: string]: string;
}, parse: (p1: Element[]) => SemanticNode[]): SemanticNode;
getLabel(_node: Element, children: Element[], parse: (p1: Element[]) => SemanticNode[], side: string): SemanticNode;
getFormulas(node: Element, children: Element[], parse: (p1: Element[]) => SemanticNode[]): {
conclusion: SemanticNode;
premises: SemanticNode;
};
findNestedRow(nodes: Element[], semantic: string, opt_value?: string): Element;
cleanInference(nodes: NodeList): Element[];
operatorNode(node: SemanticNode): SemanticNode;
private constructor();
private implicitNode_;
private infixNode_;
private explicitMixed_;
private concatNode_;
private prefixNode_;
private postfixNode_;
private combineUnits_;
private getMixedNumbers_;
private getTextInRow_;
private relationsInRow_;
private operationsInRow_;
private operationsTree_;
private appendOperand_;
private appendDivisionOp_;
private appendLastOperand_;
private appendMultiplicativeOp_;
private appendAdditiveOp_;
private appendExistingOperator_;
private getFencesInRow_;
private fences_;
private neutralFences_;
private combineFencedContent_;
private horizontalFencedNode_;
private classifyHorizontalFence_;
private setExtension_;
private getPunctuationInRow_;
private punctuatedNode_;
private dummyNode_;
private accentRole_;
private accentNode_;
private makeLimitNode_;
private getFunctionsInRow_;
private getFunctionArgs_;
private getIntegralArgs_;
private functionNode_;
private bigOpNode_;
private integralNode_;
private functionalNode_;
private fractionNode_;
private scriptNode_;
private findNestedRow_;
}