import { JavaObject } from '../../../java/lang/JavaObject';
import type { JavaFunction } from '../../../java/util/function/JavaFunction';
import { Class } from '../../../java/lang/Class';
import { SatInput } from '../../../core/adt/sat/SatInput';
import { SatOutput } from '../../../core/adt/sat/SatOutput';
export declare abstract class SatSolver extends JavaObject implements JavaFunction<SatInput, SatOutput> {
    /**
     * Die maximale Zeit, die der Solver zum Lösen verwenden darf.
     */
    protected maxTimeMillis: number;
    /**
     * Leerer Standardkonstruktor.
     */
    constructor();
    /**
     * Setzt die maximale Zeit, die der Solver zum Lösen verwenden darf.
     *
     * @param pMaxTimeMillis die maximale Zeit, die der Solver zum Lösen verwenden darf.
     */
    setMaxTimeMillis(pMaxTimeMillis: number): void;
    abstract apply(t: SatInput): SatOutput;
    transpilerCanonicalName(): string;
    isTranspiledInstanceOf(name: string): boolean;
    static class: Class<SatSolver>;
}
export declare function cast_de_svws_nrw_core_adt_sat_SatSolver(obj: unknown): SatSolver;
//# sourceMappingURL=SatSolver.d.ts.map