"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.cast_de_nrw_schule_svws_core_kursblockung_satsolver_SatSolverA = exports.SatSolverA = void 0;
const JavaObject_1 = require("../../../java/lang/JavaObject");
class SatSolverA extends JavaObject_1.JavaObject {
    static RESULT_UNSATISFIABLE = -1;
    static RESULT_UNKNOWN = 0;
    static RESULT_SATISFIABLE = 1;
    constructor() {
        super();
    }
    isTranspiledInstanceOf(name) {
        return ['de.nrw.schule.svws.core.kursblockung.satsolver.SatSolverA'].includes(name);
    }
}
exports.SatSolverA = SatSolverA;
function cast_de_nrw_schule_svws_core_kursblockung_satsolver_SatSolverA(obj) {
    return obj;
}
exports.cast_de_nrw_schule_svws_core_kursblockung_satsolver_SatSolverA = cast_de_nrw_schule_svws_core_kursblockung_satsolver_SatSolverA;
//# sourceMappingURL=SatSolverA.js.map