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