Ported to latest version of Android SDK

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

diff --git a/mainActivity/app/src/main/java/com/example/furt/myapplication/Literal.java b/mainActivity/app/src/main/java/com/example/furt/myapplication/Literal.java
new file mode 100644 (file)
index 0000000..3da98ce
--- /dev/null
+++ b/mainActivity/app/src/main/java/com/example/furt/myapplication/Literal.java
@@ -0,0 +1,32 @@
+package com.example.furt.myapplication;
+
+import java.util.ArrayList;
+import java.util.List;
+
+public class Literal extends GenericFormula implements Formula
+{
+    String L;
+    Literal(char c)
+    {
+        priority=100;
+        L=c+"";
+    }
+    @Override
+    public String Draw(int p){return L;}
+
+    public List<IntroductionRule> introductionRules(){
+        List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
+        nodes.addAll(super.introductionRules()); //eredita la R.A.A.
+        return nodes;
+    }
+
+    @Override
+    public boolean Fill(Formula F) {
+        return false;
+    }
+
+    @Override
+    public Formula duplicate() {
+        return new Literal(this.L.charAt(0));
+    }
+}