New version (to be tested).

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

diff --git a/mainActivity/src/com/example/furt/myapplication/FormulaOr.java b/mainActivity/src/com/example/furt/myapplication/FormulaOr.java
index 4a1794d7e2fec35a78a9a4be2225a0a56399cf2e..83531cc5a8df1ccf6931261d0cb6843439ee2f41 100755 (executable)
--- 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;
     }