+++ /dev/null
-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;
- }
-}