New version (to be tested).

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

diff --git a/mainActivity/src/com/example/furt/myapplication/FormulaBOT.java b/mainActivity/src/com/example/furt/myapplication/FormulaBOT.java
index 6103bd81a436c4cdc4b2b92a3d7720f575d5880a..f5e905b0c8b904e91f2b28af5603ee39fe6b4080 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/FormulaBOT.java
+++ b/mainActivity/src/com/example/furt/myapplication/FormulaBOT.java
@@ -19,6 +19,7 @@ public class FormulaBOT extends GenericFormula implements Formula{
     }
 
     public List<IntroductionRule> introductionRules(){
+        //Bottom non ha regole di introduzione sensate
         List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
         return nodes;
     }