Added java doc

Author: “jklein94”

org-tweetyproject-graphs/src/main/java/org/tweetyproject/graphs/util/AigGraphPlotter.java

@@ -40,12 +40,46 @@
  */
 public class AigGraphPlotter<G extends Graph<N>, N extends Node> {
     // General options
+    /**
+     * Enables LaTeX rendering for labels or formulas.
+     * When true, LaTeX expressions will be rendered using a compatible renderer (e.g., MathJax).
+     */
     protected boolean enableLatex = true;
+
+    /**
+     * Enables zoom functionality in the graphical interface.
+     * When true, users can zoom in and out of the graph view.
+     */
     protected boolean toggleZoom = true;
+
+    /**
+     * Enables physics-based layout for graph nodes.
+     * When true, nodes will move according to simulated physical forces (e.g., repulsion).
+     */
     protected boolean toggleNodePhysics = true;
+
+    /**
+     * Fixes the distance between linked nodes if enabled.
+     * When false, link lengths can vary; when true, all links maintain a fixed distance.
+     */
     protected boolean toggleFixedLinkDistance = false;
+
+    /**
+     * Enables interactive graph editing in the GUI.
+     * When true, users can add, remove, or modify nodes and edges through the interface.
+     */
     protected boolean toggleGraphEditingInGUI = true;
+
+    /**
+     * Toggles the display of node labels.
+     * When true, labels for each node will be shown.
+     */
     protected boolean toggleNodeLabels = true;
+
+    /**
+     * Toggles the display of edge (link) labels.
+     * When true, labels for each link/edge will be shown.
+     */
     protected boolean toggleLinkLabels = false;
 
     /** internal storage of nodes */
@@ -174,8 +208,9 @@ public void show() {
         }
     }
 
-    // Node options
+    /** Allow incomming links */
     protected boolean nodeAllowIncomingLinks = true;
+    /** Allow outgoing links */
     protected boolean nodeAllowOutgoingLinks = true;
 
 

org-tweetyproject-graphs/src/main/java/org/tweetyproject/graphs/util/AigLink.java

@@ -99,30 +99,61 @@ public String toJson() {
         return s.toString();
     }
 
+    /**
+     * Returns whether the element is deletable.
+     *
+     * @return {@code true} if the element can be deleted; {@code false} otherwise.
+     */
     public boolean isDeletable() {
         return deletable;
     }
 
+    /**
+     * Sets whether the element is deletable.
+     *
+     * @param deletable {@code true} to allow deletion of the element; {@code false} to prevent it.
+     */
     public void setDeletable(boolean deletable) {
         this.deletable = deletable;
     }
 
+    /**
+     * Returns whether the label of the element is editable.
+     *
+     * @return {@code true} if the label can be edited; {@code false} otherwise.
+     */
     public boolean isLabelEditable() {
         return labelEditable;
     }
 
+    /**
+     * Sets whether the label of the element is editable.
+     *
+     * @param labelEditable {@code true} to make the label editable; {@code false} to make it read-only.
+     */
     public void setLabelEditable(boolean labelEditable) {
         this.labelEditable = labelEditable;
     }
 
+    /**
+     * Returns the color associated with the element.
+     *
+     * @return a {@link String} representing the color (e.g., a hex code like {@code "#FF0000"}).
+     */
     public String getColor() {
         return color;
     }
 
+    /**
+     * Sets the color associated with the element.
+     *
+     * @param color a {@link String} representing the color (e.g., a hex code like {@code "#00FF00"}).
+     */
     public void setColor(String color) {
         this.color = color;
     }
 
+
     @Override
     public String toString() {
         return getLabel();