Ported to latest version of Android SDK

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

diff --git a/mainActivity/app/src/main/java/com/example/furt/myapplication/Formula.java b/mainActivity/app/src/main/java/com/example/furt/myapplication/Formula.java
new file mode 100644 (file)
index 0000000..0145444
--- /dev/null
+++ b/mainActivity/app/src/main/java/com/example/furt/myapplication/Formula.java
@@ -0,0 +1,13 @@
+package com.example.furt.myapplication;
+
+import java.util.List;
+/**Formula:interfaccia per l'implementazione di formule logiche. Prevede metodi per
+ * l'applicazione delle regole e per la gestione dell'editor guidato per l'inserimento.**/
+public interface Formula extends FView{
+    public List<IntroductionRule> introductionRules();
+    public List<EliminationRule> EliminationRules();
+    public boolean Fill(Formula F);
+    public boolean setCursor();
+    public Formula duplicate();
+}
+