import { NodeType } from "../model/Argument";
import { DeductiveMacro } from "./DeductiveMacro";
export declare abstract class EliminativeMacro extends DeductiveMacro {
    protected scoreCase(parent: NodeType, P: number[], D: number[]): number;
}
//# sourceMappingURL=EliminativeMacro.d.ts.map