New version (to be tested).

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

diff --git a/mainActivity/src/com/example/furt/myapplication/Literal.java b/mainActivity/src/com/example/furt/myapplication/Literal.java
index d1299756d7e58037db64db53cc420cdaca0897c3..3da98cee6c9abf3d62515cf556f4fae2ffb577ed 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/Literal.java
+++ b/mainActivity/src/com/example/furt/myapplication/Literal.java
@@ -16,7 +16,7 @@ public class Literal 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.
         return nodes;
     }
 
@@ -25,10 +25,6 @@ public class Literal extends GenericFormula implements Formula
         return false;
     }
 
-    public boolean isCompatible(Node n) {
-        return true;
-    }
-
     @Override
     public Formula duplicate() {
         return new Literal(this.L.charAt(0));