New version (to be tested).

[logicplayer.git] / mainActivity / src / com / example / furt / myapplication / Formula.java

diff --git a/mainActivity/src/com/example/furt/myapplication/Formula.java b/mainActivity/src/com/example/furt/myapplication/Formula.java
index 4209b5803d65dfcc3aa0989e6d45e5b50a48dbfd..01454447a8ce43a0288322cafbbbda3c13a613a7 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/Formula.java
+++ b/mainActivity/src/com/example/furt/myapplication/Formula.java
@@ -1,7 +1,8 @@
 package com.example.furt.myapplication;
 
 import java.util.List;
-
+/**Formula:interfaccia per l'implementazione di formule logiche. Prevede metodi per
+ * l'applicazione delle regole e per la gestione dell'editor guidato per l'inserimento.**/
 public interface Formula extends FView{
     public List<IntroductionRule> introductionRules();
     public List<EliminationRule> EliminationRules();