import { NodeType } from "../model/Argument";
import { CertusContext, FZ } from "../model/Context";
import { DeductiveMacro } from "./DeductiveMacro";


export abstract class EliminativeMacro extends DeductiveMacro {

    protected scoreCase(parent: NodeType, P: number[], D: number[]): number {
        const pSum = P.reduce((acc, x) => x + acc, 0);
        const dSum = D.reduce((acc, x) => (-1 * x) + acc, 0);
        return this.roundScore((dSum + pSum)/(P.length + D.length))
    }

}