Ported to latest version of Android SDK

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

diff --git a/mainActivity/app/src/main/java/com/example/furt/myapplication/Hypothesis.java b/mainActivity/app/src/main/java/com/example/furt/myapplication/Hypothesis.java
new file mode 100644 (file)
index 0000000..f951431
--- /dev/null
+++ b/mainActivity/app/src/main/java/com/example/furt/myapplication/Hypothesis.java
@@ -0,0 +1,17 @@
+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;
+    boolean isDeleted;
+    Node fromNode;
+    Hypothesis(Formula F,boolean d)
+    {
+        HP=F;
+        isDeleted=d;
+        fromNode=null;
+    }
+}