Package de.svws_nrw.core.adt.sat

Klasse SatSolver

java.lang.Object

de.svws_nrw.core.adt.sat.SatSolver

Alle implementierten Schnittstellen:

Function<SatInput,SatOutput>

Bekannte direkte Unterklassen:

SatSolverSimple1

public abstract class SatSolver
extends Object
implements Function<SatInput,SatOutput>

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

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
protected long	maxTimeMillis	Die maximale Zeit, die der Solver zum Lösen verwenden darf.

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
SatSolver()	Leerer Standardkonstruktor.

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
abstract @NotNull SatOutput	apply(@NotNull SatInput t)
void	setMaxTimeMillis(long pMaxTimeMillis)	Setzt die maximale Zeit, die der Solver zum Lösen verwenden darf.

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

Felddetails

maxTimeMillis

protected long maxTimeMillis

Die maximale Zeit, die der Solver zum Lösen verwenden darf.

Konstruktordetails

SatSolver

public SatSolver()

Leerer Standardkonstruktor.

Methodendetails

setMaxTimeMillis

public void setMaxTimeMillis(long pMaxTimeMillis)

Setzt die maximale Zeit, die der Solver zum Lösen verwenden darf.

Parameter:

pMaxTimeMillis - die maximale Zeit, die der Solver zum Lösen verwenden darf.

apply

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

Angegeben von:

apply in Schnittstelle Function<SatInput,SatOutput>