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 class SatWrapper1 extends JavaObject implements JavaFunction<SatInput, SatOutput> {
    private readonly next;
    private readonly rnd;
    /**
     * Konstruktor.
     *
     * @param next Der nächste Preprocessor oder SatSolver
     */
    constructor(next: JavaFunction<SatInput, SatOutput>);
    apply(in1: SatInput): SatOutput;
    transpilerCanonicalName(): string;
    isTranspiledInstanceOf(name: string): boolean;
    static class: Class<SatWrapper1>;
}
export declare function cast_de_svws_nrw_core_adt_sat_SatWrapper1(obj: unknown): SatWrapper1;
//# sourceMappingURL=SatWrapper1.d.ts.map