Changed operators before sending to backend
This commit is contained in:
parent
fea9b8324d
commit
2376eadea9
@ -7,8 +7,8 @@ export function replaceOperators(expression: string): string {
|
|||||||
return expression
|
return expression
|
||||||
.replaceAll(/\//g, "|")
|
.replaceAll(/\//g, "|")
|
||||||
.replaceAll(/¬/g, "!")
|
.replaceAll(/¬/g, "!")
|
||||||
.replaceAll(/\sOR\s/gi, " | ")
|
.replaceAll(/\s(OR|⋁)\s/gi, " | ")
|
||||||
.replaceAll(/\sAND\s/gi, " & ")
|
.replaceAll(/\s(AND|⋀)\s/gi, " & ")
|
||||||
.replaceAll(/\s(IMPLICATION|IMP|->)\s/gi, " => ")
|
.replaceAll(/\s(IMPLICATION|IMP|->)\s/gi, " => ")
|
||||||
.replaceAll(/\sNOT\s/gi, " !")
|
.replaceAll(/\sNOT\s/gi, " !")
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user