Kids these days and their gosh darn unicodes...

RAIRLab · Apr 15, 2024 · a894438 · a894438
1 parent 212f03b
commit a894438
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 41 deletions.
diff --git a/src/AEG/AEGTree.ts b/src/AEG/AEGTree.ts
@@ -258,17 +258,6 @@ export class AEGTree {
         return this.sheet.isEqualTo(otherTree.sheet);
     }
 
-    /**
-     * Returns a formatted string for downloaded proof files.
-     * This format was introduced for proof files having their auto-generated names displayed on
-     * applications like Discord.
-     *
-     * @returns Formatted string for downloaded proof files.
-     */
-    public toDownloadString(): string {
-        return this.internalSheet.toDownloadString();
-    }
-
     /**
      * Returns a string representation of this AEGTree.
      *

diff --git a/src/AEG/CutNode.ts b/src/AEG/CutNode.ts
@@ -412,32 +412,6 @@ export class CutNode {
         return formulaString;
     }
 
-    /**
-     * Creates and returns a formatted string for this CutNode and its children.
-     * As opposed to the above format, this auto-generated format
-     * can be displayed on applications like Discord.
-     *
-     * @returns Friendlier auto-generated string format.
-     */
-    public toDownloadString(): string {
-        let downloadString = "";
-
-        for (const child of this.internalChildren) {
-            if (child instanceof AtomNode) {
-                downloadString += child.identifier;
-            } else if (child instanceof CutNode) {
-                downloadString += child.toDownloadString();
-            }
-            downloadString += " ";
-        }
-        downloadString = downloadString.slice(0, -1);
-
-        if (downloadString === "") {
-            downloadString += "NO_ASSUMPTIONS";
-        }
-        return downloadString;
-    }
-
     /**
      * Creates and returns a string representation of this CutNode.
      * @returns Children and boundary of this CutNode in string form.

diff --git a/src/index.ts b/src/index.ts
@@ -217,12 +217,12 @@ async function saveMode(): Promise<void> {
         data = TreeContext.tree;
     } else {
         if (TreeContext.proof.length === 1) {
-            name = "Empty Proof";
+            name = "One-Step Proof";
         } else {
             name =
-                TreeContext.proof[0].tree.toDownloadString() +
-                "___YIELDS___" +
-                TreeContext.getLastProofStep().tree.toDownloadString();
+                TreeContext.proof[0].tree.toString() +
+                " PROVES " +
+                TreeContext.getLastProofStep().tree.toString();
         }
         data = TreeContext.proof;
     }