import { CertusContext, FZ } from "../model/Context";
import { DeductiveMacro } from "./DeductiveMacro";
declare abstract class MinMaxStrictMacro extends DeductiveMacro {
    protected evaluateInner(ctx: CertusContext, op: "min" | "max", revOp: "min" | "max"): FZ;
    protected innerExpand(ctx: CertusContext, op: "min" | "max", revOp: "min" | "max", target?: string): string;
}
export declare class MinStrictMacro extends MinMaxStrictMacro {
    constructor(name?: string | undefined);
    evaluate(ctx: CertusContext): FZ;
    expand(ctx: CertusContext, target?: string): string;
}
export declare class MaxStrictMacro extends MinMaxStrictMacro {
    constructor(name?: string | undefined);
    evaluate(ctx: CertusContext): FZ;
    expand(ctx: CertusContext, target?: string): string;
}
export {};
//# sourceMappingURL=MinAndMaxStrict.d.ts.map