Updated : to |

This commit is contained in:
Martin Berg Alstad 2023-04-15 23:25:17 +02:00
parent d58e1a454c
commit 122789c72a

View File

@ -5,9 +5,9 @@
*/
export function replaceOperators(expression: string): string {
expression = expression.replaceAll(/[|/]/g, ":");
expression = expression.replaceAll(/\//g, "|");
expression = expression.replaceAll(/¬/g, "!");
expression = expression.replaceAll(/\sOR\s/gi, " : ");
expression = expression.replaceAll(/\sOR\s/gi, " | ");
expression = expression.replaceAll(/\sAND\s/gi, " & ");
expression = expression.replaceAll(/\s(IMPLICATION|IMP)\s/gi, " -> ");
expression = expression.replaceAll(/\sNOT\s/gi, " !");