Minute changes to propositional.ast in comments

Author: ShobhitLamba

aima-csharp/logic/propositional/parsing/ast/ComplexSentence.cs

@@ -49,8 +49,8 @@ public ComplexSentence(Connective connective, params Sentence[] sentences)
 	    * @param sentenceL
 	    * 			the left hand sentence.
 	    * @param binaryConnective
-	    * 			the binary connective.0
-12	    * @param sentenceR
+	    * 			the binary connective.
+	    * @param sentenceR
 	    *  		the right hand sentence.
 	    */
         public ComplexSentence(Sentence sentenceL, Connective binaryConnective, Sentence sentenceR) : this(binaryConnective, sentenceL, sentenceR)

aima-csharp/logic/propositional/parsing/ast/Connective.cs

@@ -22,6 +22,7 @@ namespace aima.core.logic.propositional.parsing.ast
     * OPERATOR PRECEDENCE: ~, &, |, =>, <=>
     * </pre>
     * 
+    * @author Ciaran O'Reilly
     * @author Avinash Agarwal
     * 
     */

aima-csharp/logic/propositional/parsing/ast/PropositionSymbol.cs

@@ -12,14 +12,14 @@ namespace aima.core.logic.propositional.parsing.ast
     * proposition.< br >
     * < br >
     * < b > Note </ b >: While the book states:< br >
-    *'We use symbols that start with an upper case letter and may contain other
+    * 'We use symbols that start with an upper case letter and may contain other
     * letters or subscripts'. In this implementation we allow any legal java
     * identifier to stand in for a proposition symbol.
     *
-    *@author Ciaran O'Reilly
+    * @author Ciaran O'Reilly
     * @author Ravi Mohan
     *
-    *@see SourceVersion#isIdentifier(CharSequence)
+    * @see SourceVersion#isIdentifier(CharSequence)
     */
 
     public class PropositionSymbol : AtomicSentence

aima-csharp/logic/propositional/parsing/ast/Sentence.cs

@@ -12,6 +12,8 @@ namespace aima.core.logic.propositional.parsing.ast
     * Note: this class hierarchy defines the abstract syntax representation used
     * for representing propositional logic.
     * 
+    * @author Ciaran O'Reilly
+    * @author Ravi Mohan
     * @author Avinash Agarwal
     * 
     */
@@ -29,10 +31,10 @@ public virtual Connective getConnective()
         }
 
         /**
-	 * 
-	 * @return the number of simpler sentences contained in this sentence. Will
-	 *         only be > 0 if a Complex Sentence.
-	 */
+	     * 
+	     * @return the number of simpler sentences contained in this sentence. Will
+	     *         only be > 0 if a Complex Sentence.
+	     */
         public virtual int getNumberSimplerSentences()
         {
             return 0;
@@ -256,10 +258,9 @@ public static Sentence newConjunction(List<? extends Sentence> conjuncts)
             }
             return new ComplexSentence(Util.first(conjuncts), Connective.AND, newConjunction(Util.rest(conjuncts)));
         }
-
-        //
+        
         // PROTECTED
-        //
+
         protected bool hasConnective(Connective connective)
         {
             // Note: can use '==' as Connective is an enum.