import { NodeType } from "../model/Argument";
import { FZ } from "../model/Context";
import { Macro } from "./Macro";
export declare abstract class DeductiveMacro extends Macro {
    protected generateCases(parent: NodeType, premises: string[], defeaters: string[], sets: FZ[], defaultFz: FZ): string;
    protected scoreCase(parent: NodeType, P: number[], D: number[]): number;
}
//# sourceMappingURL=DeductiveMacro.d.ts.map