X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=mainActivity%2Fsrc%2Fcom%2Fexample%2Ffurt%2Fmyapplication%2FFormulaOr.java;h=83531cc5a8df1ccf6931261d0cb6843439ee2f41;hb=43819143cf823e6767dc944fc4b095cf9a773ba2;hp=4a1794d7e2fec35a78a9a4be2225a0a56399cf2e;hpb=92c1b7c5e38b8d6ffbeffb2c515bb99149841803;p=logicplayer.git

diff --git a/mainActivity/src/com/example/furt/myapplication/FormulaOr.java b/mainActivity/src/com/example/furt/myapplication/FormulaOr.java
index 4a1794d..83531cc 100755
--- a/mainActivity/src/com/example/furt/myapplication/FormulaOr.java
+++ b/mainActivity/src/com/example/furt/myapplication/FormulaOr.java
@@ -30,19 +30,24 @@ public class FormulaOr extends GenericFormula implements Formula
 
     public List<IntroductionRule> introductionRules(){
         List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
-        nodes.addAll(super.introductionRules());
+        nodes.addAll(super.introductionRules()); //eredita la R.A.A.
+
+        //Introduzione sinistra dell'or
         RuleIntroduction orIntroductionLeft=new RuleIntroduction("∨i(L)",6);
         Node orLeft=new Node(leftF);
         Node thisNodeL=new Node(this);
         thisNodeL.addChild(orLeft);
         orIntroductionLeft.tempRule=thisNodeL;
         nodes.add(orIntroductionLeft);
+
+        //Introduzione destra dell'or
         RuleIntroduction orIntroductionRight=new RuleIntroduction("∨i(R)",5);
         Node orRight=new Node(rightF);
         Node thisNodeR=new Node(this);
         thisNodeR.addChild(orRight);
         orIntroductionRight.tempRule=thisNodeR;
         nodes.add(orIntroductionRight);
+
         return nodes;
     }