dichotomie.ts

// import { XOR, BoolIdentity, Debug, Result, ResultCode, UndefinedError } from "./base";
import { XOR, BoolIdentity, Debug, Result } from "./base";
import { ErrorMessage, ErrorCode } from "./util/error";
import { Nub } from "./nub";
import { ParamDefinition, ParamDomain, ParamDomainValue } from "./param"

/**
 * couple de valeurs non ordonnées
 */
class Pair {
    protected _val1: number;
    protected _val2: number;

    constructor(v1: number, v2: number) {
        this.setValues(v1, v2);
    }

    get val1() {
        return this._val1;
    }

    get val2() {
        return this._val2;
    }

    setValues(v1: number, v2: number) {
        this._val1 = v1;
        this._val2 = v2;
    }

    setPair(p: Pair) {
        this.setValues(p._val1, p._val2);
    }

    undefine() {
        this._val1 = undefined;
        this._val2 = undefined;
    }

    get min() {
        return Math.min(this._val1, this._val2);
    }

    get max() {
        return Math.max(this._val1, this._val2);
    }

    intervalHasValue(v: number) {
        return this.min <= v && v <= this.max;
    }
}

/**
 * couple de valeurs ordonnées
 */
class Interval extends Pair {
    constructor(bound1: number, bound2: number) {
        super(bound1, bound2);
    }

    checkValue(v: number) {
        if (v == undefined) {
            let e = new ErrorMessage(ErrorCode.ERROR_INTERVAL_UNDEF);
            throw e;
        }

        if (!this.intervalHasValue(v)) {
            let e = new ErrorMessage(ErrorCode.ERROR_INTERVAL_OUTSIDE);
            e.extraVar["value"] = v;
            e.extraVar["interval"] = this.toString();