martials/old.martials.no
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

IgnoreCase and changed imply symbol

Browse Source
This commit is contained in:
Martin Berg Alstad 2024-06-21 18:06:54 +02:00
parent b75cbba462
commit ed1fc8ef59
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/pages/truth-table.tsx
View File

@ -30,6 +30,8 @@ const fetchUrls = [
] ]
// TODO move some code to new components // TODO move some code to new components
// TODO option to ignore case
// TODO more user friendly options
const TruthTablePage: Component = () => { const TruthTablePage: Component = () => {
const [searchParams, setSearchParams] = useSearchParams() const [searchParams, setSearchParams] = useSearchParams()
let inputElement: HTMLInputElement | undefined = undefined let inputElement: HTMLInputElement | undefined = undefined
@ -93,7 +95,7 @@ const TruthTablePage: Component = () => {
try { try {
const response = const response =
await fetch(`${fetchUrls[useLocalhost() ? 0 : 1]}${encodeURIComponent(exp)}? await fetch(`${fetchUrls[useLocalhost() ? 0 : 1]}${encodeURIComponent(exp)}?
simplify=${simplifyEnabled()}&hide=${hideValues().value}&sort=${sortValues().value}&caseSensitive=false& simplify=${simplifyEnabled()}&hide=${hideValues().value}&sort=${sortValues().value}&ignoreCase=false&
hideIntermediateSteps=${hideIntermediates()}`) hideIntermediateSteps=${hideIntermediates()}`)
const body = await response.json() const body = await response.json()

2
src/utils/expressionUtils.ts
View File

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