/**
 * 
 */
package edu.kit.iti.formal.pse.worthwhile.prover;

/**
 * Expresses the validity of a formula. A formula is valid if (not formula) is unsatisfiable, i.e. the formula is true
 * for all possible interpretations.
 */
public enum Validity {
	VALID, INVALID, UNKNOWN
}
@@ -1,16 +1,4 @@
-/**%0A * %0A */%0A
 pack
@@ -236,24 +236,138 @@
  %7B%0A%09
-VALID, INVALID, 
+/**%0A%09 * Indicates validity.%0A%09 */%0A%09VALID,%0A%09/**%0A%09 * Indicates invalidity.%0A%09 */%0A%09INVALID,%0A%09/**%0A%09 * Indicates unknown validity.%0A%09 */%0A%09
 UNKN

Add javadoc to Validity