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

   1 package com.example.furt.myapplication;
   2
   3 import java.util.List;
   4 /**Formula:interfaccia per l'implementazione di formule logiche. Prevede metodi per
   5  * l'applicazione delle regole e per la gestione dell'editor guidato per l'inserimento.**/
   6 public interface Formula extends FView{
   7     public List<IntroductionRule> introductionRules();
   8     public List<EliminationRule> EliminationRules();
   9     public boolean Fill(Formula F);
  10     public boolean setCursor();
  11     public Formula duplicate();
  12 }
  13