Moved and cleaned Java version

DeMaCS-UNICAL · Jul 14, 2017 · 3c80882 · 3c80882
1 parent 8000929
commit 3c80882
Show file tree

Hide file tree

Showing 180 changed files with 6,556 additions and 6,582 deletions.
diff --git a/.classpath b/.classpath
diff --git a/.project b/.project
diff --git a/app/src/main/AndroidManifest.xml → ... version/app/src/main/AndroidManifest.xml b/app/src/main/AndroidManifest.xml → ... version/app/src/main/AndroidManifest.xml
@@ -1,21 +1,21 @@
-<?xml version="1.0" encoding="utf-8"?>
-<manifest xmlns:android="http://schemas.android.com/apk/res/android"
-    package="it.unical.mat.embasp">
-
-    <application
-        android:allowBackup="true"
-        android:icon="@mipmap/ic_launcher"
-        android:label="@string/app_name"
-        android:supportsRtl="true"
-        android:theme="@style/AppTheme">
-
-        <service
-            android:name=".specializations.dlv.android.DLVAndroidReasoner"
-            android:enabled="true"
-            android:exported="false"
-            android:process=":remote">
-        </service>
-
-    </application>
-
-</manifest>
+<?xml version="1.0" encoding="utf-8"?>
+<manifest xmlns:android="http://schemas.android.com/apk/res/android"
+    package="it.unical.mat.embasp">
+
+    <application
+        android:allowBackup="true"
+        android:icon="@mipmap/ic_launcher"
+        android:label="@string/app_name"
+        android:supportsRtl="true"
+        android:theme="@style/AppTheme">
+
+        <service
+            android:name=".specializations.dlv.android.DLVAndroidReasoner"
+            android:enabled="true"
+            android:exported="false"
+            android:process=":remote">
+        </service>
+
+    </application>
+
+</manifest>
diff --git a/...a/it/unical/mat/embasp/base/Callback.java → ...a/it/unical/mat/embasp/base/Callback.java b/...a/it/unical/mat/embasp/base/Callback.java → ...a/it/unical/mat/embasp/base/Callback.java
@@ -1,10 +1,10 @@
-package it.unical.mat.embasp.base;
-
-/**
- * This interface is used to communicate results of solver invocation to the user
- *
- * @see Output
- */
-public interface Callback {
-	public void callback(Output o);
-}
+package it.unical.mat.embasp.base;
+
+/**
+ * This interface is used to communicate results of solver invocation to the user
+ *
+ * @see Output
+ */
+public interface Callback {
+	public void callback(Output o);
+}