]> matita.cs.unibo.it Git - logicplayer.git/blob - mainActivity/src/com/example/furt/myapplication/Hypothesis.java
6a7d63882e1e8b91c50e0e18e1ae76f6292c7022
[logicplayer.git] / 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 }