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

   1 package com.example.furt.myapplication;
   2
   3 /**EliminationRule: interfaccia per le regole di eliminazione**/
   4 public interface EliminationRule
   5 {
   6     public Node createNodes(Formula F, askFormula ask); //restituisce il sottoalbero successivo all'applicazione della regola sul nodo attualmente selezionato
   7 }
   8