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 Linksymbol

    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 Linksymbol

    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 Linksymbol

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

  • Felddetails Linksymbol

    • TYPE_UNKNOWN Linksymbol

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

    • TYPE_SATISFIABLE Linksymbol

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

    • TYPE_UNSATISFIABLE Linksymbol

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

  • Methodendetails Linksymbol

    • getSolution Linksymbol

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

    • isSatisfiable Linksymbol

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

    • isUnsatisfiable Linksymbol

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

    • isUnknown Linksymbol

      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 Linksymbol

      @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 Linksymbol

      @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 Linksymbol

      @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 Linksymbol

      @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.