Commit cdf29223 authored by nanahira's avatar nanahira

optimize

parent 2168063f
......@@ -45,10 +45,10 @@ async function loadConstants() {
}
function joinWithAnd(clauses: string[]) {
return `${clauses.join(" ")}`;
return clauses.join(" ");
}
function joinWithOr(clauses: string[]) {
const wrappedClauses = clauses.map(c => `(1 ${c})`)
const wrappedClauses = clauses.map(c => c.slice(4));
return `and (${wrappedClauses.join(" or ")})`;
}
function wrapWithNot(clause: string) {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment