import { LitElement, PropertyValues, TemplateResult } from 'lit';
import { BoxedExpression } from "@holgerengels/compute-engine";
import { Equation, Operation } from "./model";
export declare class KmapSolvee extends LitElement {
    static styles: import("lit").CSSResult[];
    shadowRoot: ShadowRoot;
    private operationNames?;
    private solutionTex?;
    private hints;
    private expectedSolutions;
    private strategy?;
    private operations;
    private equation;
    private selected;
    private solutions;
    private valid;
    private messages;
    private argsVisible;
    private currentOperation?;
    private ie;
    private _animFrom?;
    private _animTo?;
    connectedCallback(): void;
    protected willUpdate(_changedProperties: PropertyValues): void;
    protected updated(_changedProperties: PropertyValues): void;
    updateSlotted({ target }: {
        target: any;
    }): void;
    _hover(e: any): void;
    apply(op: Operation, e: Equation, arg?: BoxedExpression): Promise<Equation[]>;
    private solutionsAndMessage;
    private gather;
    private perform;
    private cancel;
    private log;
    select(e: Equation): void;
    renderEquation(e: Equation): TemplateResult;
    renderOperation(o: Operation): TemplateResult;
    renderMixed(code: string): TemplateResult[];
    renderArgs(): TemplateResult;
    render(): TemplateResult<1>;
    init(): void;
    bark(): void;
    showAnswer(): void;
    isValid(): boolean;
}