1 package com.example.furt.myapplication;
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
6 public class Hypothesis
11 Hypothesis(Formula F,boolean d)