import { IArgdownPlugin, IRequestHandler } from "../IArgdownPlugin.js";
import { IArgdownRequest, IArgdownResponse } from "../index.js";
import { IArgument, IConclusion, IPCSStatement } from "../model/model.js";
export declare class ExplodeArgumentsPlugin implements IArgdownPlugin {
    name: string;
    getSettings(request: IArgdownRequest): import("./ModelPlugin.js").IModelPluginSettings;
    run: IRequestHandler;
    explodeArgument(response: IArgdownResponse, argument: IArgument): void;
    getInferentialStep(response: IArgdownResponse, argument: IArgument, conclusion: IConclusion, index: number): IPCSStatement[];
    substituteStatementInEquivalenceClass(response: IArgdownResponse, oldStatement: IPCSStatement, newStatement: IPCSStatement): void;
}