import { Explanation as ExplanationProto } from "typedb-protocol/proto/logic";
import { ConceptMap } from "../api/answer/ConceptMap";
import { Explanation } from "../api/logic/Explanation";
import { Rule } from "../api/logic/Rule";
export declare class ExplanationImpl implements Explanation {
    private readonly _rule;
    private readonly _condition;
    private readonly _conclusion;
    private readonly _variableMapping;
    constructor(rule: Rule, condition: ConceptMap, conclusion: ConceptMap, variableMapping: Map<string, Set<string>>);
    get rule(): Rule;
    get conclusion(): ConceptMap;
    get condition(): ConceptMap;
    get variableMapping(): Map<string, Set<string>>;
}
export declare namespace ExplanationImpl {
    function of(proto: ExplanationProto): ExplanationImpl;
}