1234567891011121314151617181920212223242526272829303132 |
- import { Logger } from '../../logger/Logger';
- import { KursblockungDynDaten } from '../../core/kursblockung/KursblockungDynDaten';
- import { KursblockungAlgorithmusK } from '../../core/kursblockung/KursblockungAlgorithmusK';
- export declare class KursblockungAlgorithmusKSatSolver extends KursblockungAlgorithmusK {
- private readonly kurseAlle;
- private readonly schuelerAlle;
- private maxNichtWaehler;
- /**
- * Im Konstruktor kann die Klasse die jeweiligen Datenstrukturen aufbauen. Kurse
- * dürfen in diese Methode noch nicht auf Schienen verteilt werden.
- *
- * @param logger Logger für Benutzerhinweise, Warnungen und Fehler.
- * @param dynDat Die dynamischen Blockungsdaten.
- */
- constructor(logger: Logger, dynDat: KursblockungDynDaten);
- berechne(pMaxTimeMillis: number): void;
- /**
- * Erzeugt eine Formel in konjuntiver Normalform (CNF) und übergibt sie dem
- * SAT-Solver. Der Solver versucht die Formel innerhalb des Zeitlimits zu lösen.
- * Falls er es nicht schafft, dann wurde zuvor eine zufällige Kursverteilung
- * definiert. #
- *
- * @param pMaxTimeMillis Die maximale Blockungszeit in Millisekunde.
- *
- * @return Liefert eines der drei möglichen Ergebnisse
- * {@link SatSolverA#RESULT_SATISFIABLE oder SatSolverI#RESULT_UNKNOWN
- * oder SatSolverI#RESULT_UNSATISFIABLE. }
- */
- berechneSchritt(pMaxTimeMillis: number): number;
- isTranspiledInstanceOf(name: string): boolean;
- }
- export declare function cast_de_nrw_schule_svws_core_kursblockung_KursblockungAlgorithmusKSatSolver(obj: unknown): KursblockungAlgorithmusKSatSolver;
|