import { CertusContext, FZ } from "../model/Context";
import { MaxMacro, MinMacro } from "./MinAndMax";
export declare class MinDefeasibleMacro extends MinMacro {
    constructor(name?: string | undefined);
    evaluate(ctx: CertusContext): FZ;
    expand(ctx: CertusContext): string;
}
export declare class MaxDefeasibleMacro extends MaxMacro {
    constructor(name?: string | undefined);
    evaluate(ctx: CertusContext): FZ;
    expand(ctx: CertusContext): string;
}
//# sourceMappingURL=MinAndMaxDefeasible.d.ts.map