123456789101112131415161718192021 |
- import { SemanticMeaningCollator } from './semantic_default.js';
- import { SemanticNode } from './semantic_node.js';
- import { SemanticParser } from './semantic_parser.js';
- import './semantic_heuristics.js';
- export declare class SemanticTree {
- mathml: Element;
- parser: SemanticParser<Element>;
- root: SemanticNode;
- collator: SemanticMeaningCollator;
- static empty(): SemanticTree;
- static fromNode(semantic: SemanticNode, opt_mathml?: Element): SemanticTree;
- static fromRoot(semantic: SemanticNode, opt_mathml?: Element): SemanticTree;
- static fromXml(xml: Element): SemanticTree;
- constructor(mathml: Element);
- xml(opt_brief?: boolean): Element;
- toString(opt_brief?: boolean): string;
- formatXml(opt_brief?: boolean): string;
- displayTree(): void;
- replaceNode(oldNode: SemanticNode, newNode: SemanticNode): void;
- toJson(): any;
- }
|