Package de.svws_nrw.core.adt.sat

Klasse SatSolverSimple1

java.lang.Object

de.svws_nrw.core.adt.sat.SatSolver

de.svws_nrw.core.adt.sat.SatSolverSimple1

Alle implementierten Schnittstellen:

Function<SatInput,SatOutput>

public final class SatSolverSimple1
extends SatSolver

Ein simpler SAT-Solver, der via Backtracking eine Lösung sucht.

Feldübersicht

Von Klasse geerbte Felder de.svws_nrw.core.adt.sat.SatSolver

maxTimeMillis

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
SatSolverSimple1()	Ein simpler SAT-Solver, der via Backtracking eine Lösung sucht.

Methodenübersicht

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

Von Klasse geerbte Methoden de.svws_nrw.core.adt.sat.SatSolver

setMaxTimeMillis

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

SatSolverSimple1

public SatSolverSimple1()

Ein simpler SAT-Solver, der via Backtracking eine Lösung sucht.
Das Backtracking ist ohne Rekursion implementiert.

Methodendetails

apply

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

Angegeben von:

apply in Schnittstelle Function<SatInput,SatOutput>

Angegeben von:

apply in Klasse SatSolver