import { Options } from '../common/options.js';
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;
    options: Options;
    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, options: Options);
    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;
}