import { NodeType } from "../model/Argument";
import { CertusContext, FZ } from "../model/Context";
import { DeductiveMacro } from "./DeductiveMacro";
export declare class FuseStrictMacro extends DeductiveMacro {
    constructor(name?: string | undefined);
    evaluate(ctx: CertusContext): FZ;
    private strictCases;
    protected scoreCase(parent: NodeType, P: number[], D: number[]): number;
    expand(ctx: CertusContext, target?: string): string;
}
//# sourceMappingURL=FuseStrict.d.ts.map