New version (to be tested).

[logicplayer.git] / mainActivity / src / com / example / furt / myapplication / Hypothesis.java

diff --git a/mainActivity/src/com/example/furt/myapplication/Hypothesis.java b/mainActivity/src/com/example/furt/myapplication/Hypothesis.java
index 6a7d63882e1e8b91c50e0e18e1ae76f6292c7022..f95143115f1aba5e93c9ba978816b2befe006a28 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/Hypothesis.java
+++ b/mainActivity/src/com/example/furt/myapplication/Hypothesis.java
@@ -1,5 +1,8 @@
 package com.example.furt.myapplication;
 
+/**Hypothesis: implementa le ipotesi di un nodo. Contiene una formula, un booleano per verificare se si stratta
+ * di un'ipotesi scaricata e un puntatore al nodo in cui l'ipotesi è stata introdotta
+ */
 public class Hypothesis
 {
     Formula HP;
@@ -11,4 +14,4 @@ public class Hypothesis
         isDeleted=d;
         fromNode=null;
     }
-}
\ No newline at end of file
+}