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

   1 package com.example.furt.myapplication;
   2
   3 public class Hypothesis
   4 {
   5     Formula HP;
   6     boolean isDeleted;
   7     Node fromNode;
   8     Hypothesis(Formula F,boolean d)
   9     {
  10         HP=F;
  11         isDeleted=d;
  12         fromNode=null;
  13     }
  14 }