import { Class } from '../../../java/lang/Class';
import { SatInput } from '../../../core/adt/sat/SatInput';
import { SatOutput } from '../../../core/adt/sat/SatOutput';
import { SatSolver } from '../../../core/adt/sat/SatSolver';
export declare class SatSolverSimple1 extends SatSolver {
    /**
     * Eine Kopie aller Klauseln.
     */
    private readonly _clauses;
    /**
     * Das Array, welches jeder Variablen (1-indiziert) seine Lösung zuordnet.
     */
    private _solution;
    /**
     * Ein simpler SAT-Solver, der via Backtracking eine Lösung sucht. <br>
     * Das Backtracking ist ohne Rekursion implementiert.
     */
    constructor();
    apply(t: SatInput): SatOutput;
    private conflict;
    private isEmpty;
    transpilerCanonicalName(): string;
    isTranspiledInstanceOf(name: string): boolean;
    static class: Class<SatSolverSimple1>;
}
export declare function cast_de_svws_nrw_core_adt_sat_SatSolverSimple1(obj: unknown): SatSolverSimple1;
//# sourceMappingURL=SatSolverSimple1.d.ts.map