small changes in JavaDoc

Author: sfranke43

org-tweetyproject-logics-translators/src/main/java/org/tweetyproject/logics/translators/adfcl/DalalDistanceThreeValued.java

@@ -15,9 +15,15 @@
  */
 public class DalalDistanceThreeValued {
 
-	/* 
+	/**
+	 * 	  
 	 * Based on new version of PriestWorld_adapted
+	 *
+	 * @param a PriestWorldAdapted
+	 * @param b PriestWorldAdapted
+	 * @return distnace between the 2 worlds
 	 */
+
 	public double distance(PriestWorldAdapted a, PriestWorldAdapted b) {
 		double n = 0;
 		PlSignature sig = new PlSignature();
@@ -45,6 +51,12 @@ else if (val_b == PriestWorldAdapted.TruthValue.TRUE && val_a == PriestWorldAdap
 		}
 		return n;
 	}
+	/**
+	 * 
+	 * @param coll multiple PriestWorlds
+	 * @param b a PriestWorldAdapted
+	 * @return the distance 
+	 */
 	public double distance(Collection<PriestWorldAdapted> coll, PriestWorldAdapted b) {
 		double n = b.getSignature().size();
 

org-tweetyproject-logics-translators/src/main/java/org/tweetyproject/logics/translators/adfcl/Indecision.java

@@ -56,6 +56,11 @@ public PlFormula collapseAssociativeFormulas(){
 	/* (non-Javadoc)
 	 * @see org.tweetyproject.logics.propositionallogic.syntax.PropositionalFormula#hasLowerBindingPriority(org.tweetyproject.logics.propositionallogic.syntax.PropositionalFormula)
 	 */
+	/**
+	 * 
+	 * @param other a formula
+	 * @return returns false
+	 */
 	public boolean hasLowerBindingPriority(PlFormula other){
 		// negations have the highest binding priority
 		return false;

org-tweetyproject-logics-translators/src/main/java/org/tweetyproject/logics/translators/adfcl/PreferredRevisionerADF.java

@@ -30,9 +30,9 @@ public class PreferredRevisionerADF {
 
 	/**
 	 * Revise an ADF with a Propositional Formula information-modular preorders
-	 * @param args
-	 * @throws FileNotFoundException
-	 * @throws IOException
+	 * @param args arguments
+	 * @throws FileNotFoundException FileNotFoundException
+	 * @throws IOException IOException
 	 */
 	public static void main(String[] args) throws FileNotFoundException, IOException {
 		// Set path to ADF and psi

org-tweetyproject-logics-translators/src/main/java/org/tweetyproject/logics/translators/adfcl/PriestWorldAdapted.java

@@ -33,43 +33,64 @@ public class PriestWorldAdapted extends AbstractInterpretation<PlBeliefSet,PlFor
 
 	/** The three truth values. */
 	public enum TruthValue {
-		TRUE, FALSE, BOTH;
+		/**TRUE*/
+		TRUE, 
+		/**FALSE*/
+		FALSE, 
+		/**BOTH*/
+		BOTH;
 
 		/*
 		 * J: Strong negation
 		 */
+		/**
+		 * 
+		 * @return a Truthvalue
+		 */
 		public TruthValue neg(){
 			if(this.equals(TRUE)) return FALSE;
 			if(this.equals(FALSE)) return TRUE;
 			return BOTH;
 		}	
-		/*
+		/**
 		 * J: Weak negation
-		 * return false, if interpretation is true
-		 * return true in all other case 
+		 * @return false, if interpretation is true, true in all other case 
 		 */
 		public TruthValue weakNeg(){
 			if(this.equals(TRUE)) return FALSE;
 			return TRUE;
 		}
 
-		/*
+
+		/**
 		 * J: Return "True" iff TruthValue is True  
-		 * (!) Compared to the original PriestWorld, return False if value is Both/Undecided (!)
+		 * (!) Compared to the original PriestWorld, return False if value is Both/Undecided (!) 
+		 * @return whether this is equal to TRUE
 		 */
 		public boolean getClassical(){
 			return this.equals(TRUE);
 		}
+		/**
+		 * 
+		 * @param v a truth value
+		 * @return TruthValue
+		 */
 		public TruthValue and(TruthValue v){
 			if(this.equals(FALSE) || v.equals(FALSE)) return FALSE;
 			if(this.equals(BOTH) || v.equals(BOTH)) return BOTH;
 			return TRUE;
 		}
+		/**
+		 * 
+		 * @param v a truth value
+		 * @return TruthValue
+		 */
 		public TruthValue or(TruthValue v){
 			if(this.equals(TRUE) || v.equals(TRUE)) return TRUE;
 			if(this.equals(BOTH) || v.equals(BOTH)) return BOTH;
 			return FALSE;
 		}
+
 		public String toString(){
 			if(this.equals(TRUE)) return "T";
 			if(this.equals(FALSE)) return "F";

org-tweetyproject-logics-translators/src/main/java/org/tweetyproject/logics/translators/adfcl/PriestWorldIterator.java

@@ -30,7 +30,7 @@ public class PriestWorldIterator implements InterpretationIterator<PlFormula,PlB
 
 	/** The signature used for creating possible worlds. */
 	private PlSignature sig = null;
-	
+
 	private List<Proposition> set;
 
 	private ThreeValuedBitSet currentItem;

org-tweetyproject-logics-translators/src/main/java/org/tweetyproject/logics/translators/adfcl/RankingFunctionThreeValued.java

@@ -21,6 +21,7 @@ public class RankingFunctionThreeValued extends AbstractInterpretation<ClBeliefS
 	/**
 	 * Integer used to define infinity.
 	 */
+
 	public static final Integer INFINITY = Integer.MAX_VALUE;
 
 	/**