mainActivity/src/com/example/furt/myapplication/Hypothesis.java

   1 package com.example.furt.myapplication;
   2
   3 /**Hypothesis: implementa le ipotesi di un nodo. Contiene una formula, un booleano per verificare se si stratta
   4  * di un'ipotesi scaricata e un puntatore al nodo in cui l'ipotesi è stata introdotta
   5  */
   6 public class Hypothesis
   7 {
   8     Formula HP;
   9     boolean isDeleted;
  10     Node fromNode;
  11     Hypothesis(Formula F,boolean d)
  12     {
  13         HP=F;
  14         isDeleted=d;
  15         fromNode=null;
  16     }
  17 }