Package de.svws_nrw.core.adt.sat

Klasse SatOutput

java.lang.Object
de.svws_nrw.core.adt.sat.SatOutput
public final class SatOutput extends Object
...

  • Feldübersicht

    Felder
    Modifizierer und Typ
    Feld
    Beschreibung
    static final int
    TYPE_SATISFIABLE
    Es existiert (beweisbar) keine Lösung existiert.
    static final int
    TYPE_UNKNOWN
    Es existiert eine Lösung.
    static final int
    TYPE_UNSATISFIABLE
    Unbekannt, ob eine Lösung existiert (z.

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    static @NotNull SatOutput
    createCopy(@NotNull SatOutput pOutput, @jakarta.validation.constraints.NotNull int[] pSolution)
    Liefert eine Kopie, welche aber potentiell eine andere Lösung besitzt.
    static @NotNull SatOutput
    createSATISFIABLE(@jakarta.validation.constraints.NotNull int[] pSolution)
    Liefert ein Objekt dieser Klasse mit dem Typ TYPE_SATISFIABLE.
    static @NotNull SatOutput
    createUNKNOWN()
    Liefert ein Objekt dieser Klasse mit dem Typ TYPE_UNKNOWN (z.
    static @NotNull SatOutput
    createUNSATISFIABLE()
    Liefert ein Objekt dieser Klasse mit dem Typ TYPE_UNSATISFIABLE.
    @jakarta.validation.constraints.NotNull int[]
    getSolution()
    Getter für data;
    boolean
    isSatisfiable()
    Liefert TRUE, falls eine Lösung existiert.
    boolean
    isUnknown()
    Liefert TRUE, falls unbekannt ist, ob eine Lösung existiert (z.
    boolean
    isUnsatisfiable()
    Liefert TRUE, falls (beweisbar) keine Lösung existiert.

    Von Klasse geerbte Methoden java.lang.Object

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

  • Felddetails

    • TYPE_UNKNOWN

      public static final int TYPE_UNKNOWN
      Es existiert eine Lösung.
      Siehe auch:

    • TYPE_SATISFIABLE

      public static final int TYPE_SATISFIABLE
      Es existiert (beweisbar) keine Lösung existiert.
      Siehe auch:

    • TYPE_UNSATISFIABLE

      public static final int TYPE_UNSATISFIABLE
      Unbekannt, ob eine Lösung existiert (z. B. bei einem TimeOut).
      Siehe auch:

  • Methodendetails

    • getSolution

      @NotNull public @jakarta.validation.constraints.NotNull int[] getSolution()
      Getter für data;
      Gibt zurück:
      data

    • isSatisfiable

      public boolean isSatisfiable()
      Liefert TRUE, falls eine Lösung existiert.
      Gibt zurück:
      TRUE, falls eine Lösung existiert.

    • isUnsatisfiable

      public boolean isUnsatisfiable()
      Liefert TRUE, falls (beweisbar) keine Lösung existiert.
      Gibt zurück:
      TRUE, falls (beweisbar) keine Lösung existiert.

    • isUnknown

      public boolean isUnknown()
      Liefert TRUE, falls unbekannt ist, ob eine Lösung existiert (z. B. bei einem TimeOut).
      Gibt zurück:
      TRUE, falls unbekannt ist, ob eine Lösung existiert (z. B. bei einem TimeOut).

    • createUNKNOWN

      @NotNull public static @NotNull SatOutput createUNKNOWN()
      Liefert ein Objekt dieser Klasse mit dem Typ TYPE_UNKNOWN (z. B. bei einem TimeOut).
      Gibt zurück:
      ein Objekt dieser Klasse mit dem Typ TYPE_UNKNOWN (z. B. bei einem TimeOut).

    • createUNSATISFIABLE

      @NotNull public static @NotNull SatOutput createUNSATISFIABLE()
      Liefert ein Objekt dieser Klasse mit dem Typ TYPE_UNSATISFIABLE.
      Gibt zurück:
      ein Objekt dieser Klasse mit dem Typ TYPE_UNSATISFIABLE

    • createSATISFIABLE

      @NotNull public static @NotNull SatOutput createSATISFIABLE(@NotNull @jakarta.validation.constraints.NotNull int[] pSolution)
      Liefert ein Objekt dieser Klasse mit dem Typ TYPE_SATISFIABLE.
      Parameter:
      pSolution - Die Lösung der Variablenbelegungen.
      Gibt zurück:
      ein Objekt dieser Klasse mit dem Typ TYPE_SATISFIABLE.

    • createCopy

      @NotNull public static @NotNull SatOutput createCopy(@NotNull @NotNull SatOutput pOutput, @NotNull @jakarta.validation.constraints.NotNull int[] pSolution)
      Liefert eine Kopie, welche aber potentiell eine andere Lösung besitzt.
      Parameter:
      pOutput - Das zu kopierende Objekt.
      pSolution - Die Lösung der Variablenbelegungen.
      Gibt zurück:
      eine Kopie, welche aber potentiell eine andere Lösung besitzt.