import { ConceptMap } from "../answer/ConceptMap";
import { Rule } from "./Rule";
/**
 * An explanation of which rule was used for inferring the explained concept,
 * the condition of the rule, the conclusion of the rule,
 * and the mapping of variables between the query and the rule’s conclusion.
 */
export interface Explanation {
    /** Retrieves the Rule for this Explanation. */
    readonly rule: Rule;
    /** The Condition for this Explanation. */
    readonly condition: ConceptMap;
    /** The Conclusion for this Explanation. */
    readonly conclusion: ConceptMap;
    /** Retrieves the query variables for this <code>Explanation</code>. */
    readonly variableMapping: Map<string, Set<string>>;
}