Ported to latest version of Android SDK

[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
deleted file mode 100755 (executable)
index f951431..0000000
--- a/mainActivity/src/com/example/furt/myapplication/Hypothesis.java
+++ /dev/null
@@ -1,17 +0,0 @@
-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;
-    }
-}