Package de.svws_nrw.core.adt.sat

Klasse SatWrapper1

java.lang.Object

de.svws_nrw.core.adt.sat.SatWrapper1

Alle implementierten Schnittstellen:

Function<SatInput,SatOutput>

public final class SatWrapper1
extends Object
implements Function<SatInput,SatOutput>

Dieser Wrapper permutiert die Nummern der Variablen vor dem Lösen, anschließend wird die Lösung zurückpermutiert.

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
SatWrapper1(@NotNull Function<SatInput,SatOutput> next)	Konstruktor.

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
@NotNull SatOutput	apply(@NotNull SatInput in1)

Von Klasse geerbte Methoden java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Von Schnittstelle geerbte Methoden java.util.function.Function

andThen, compose

Konstruktordetails

SatWrapper1

public SatWrapper1(@NotNull
 @NotNull Function<SatInput,SatOutput> next)

Konstruktor.

Parameter:

next - Der nächste Preprocessor oder SatSolver

Methodendetails

apply

@NotNull
public @NotNull SatOutput apply(@NotNull
 @NotNull SatInput in1)

Angegeben von:

apply in Schnittstelle Function<SatInput,SatOutput>