From aa816eade36a001ab991fc18d47e3459c6cb7fe0 Mon Sep 17 00:00:00 2001
From: h600878 <600878@stud.hvl.no>
Date: Sat, 22 Apr 2023 20:13:01 +0000
Subject: [PATCH] Update build to output generated at

---
 .../{simplifyTruths-15bd114c.js => simplifyTruths-16cf65d4.js}  | 2 +-
 simplify-truths.html                                            | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename assets/{simplifyTruths-15bd114c.js => simplifyTruths-16cf65d4.js} (99%)

diff --git a/assets/simplifyTruths-15bd114c.js b/assets/simplifyTruths-16cf65d4.js
similarity index 99%
rename from assets/simplifyTruths-15bd114c.js
rename to assets/simplifyTruths-16cf65d4.js
index d6cccc9..dfa5e0e 100644
--- a/assets/simplifyTruths-15bd114c.js
+++ b/assets/simplifyTruths-16cf65d4.js
@@ -125,7 +125,7 @@ import{b as Je,i as ce,t as xe,d as kn,e as Re,o as Vi,c as K,s as er,I as Lr,m
  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  * See the License for the specific language governing permissions and
  * limitations under the License.
- */function I2({type:e="xlsx",name:t="Truth Table",dl:r=!1,tableId:n}){const i=document.getElementById(n),a=D2.table_to_book(i,{sheet:"sheet1"});return r?U0(a,{bookType:e,bookSST:!0,type:"base64"}):v2(a,t+"."+e)}function k2(){return"ontouchstart"in window||navigator.maxTouchPoints>0}function R2(e){return e=e.replaceAll(/\//g,"|"),e=e.replaceAll(/¬/g,"!"),e=e.replaceAll(/\sOR\s/gi," | "),e=e.replaceAll(/\sAND\s/gi," & "),e=e.replaceAll(/\s(IMPLICATION|IMP)\s/gi," -> "),e=e.replaceAll(/\sNOT\s/gi," !"),e}const N2=xe('<span class="h-min">Simplify: '),Hi=xe('<div class="h-min relative">'),L2=xe("<p>Filename:"),Vs=xe("<p>"),P2=xe('<div class="flex justify-center m-2"><div id="table" class="h-[45rem] overflow-auto">'),M2=xe('<div id="truth-content"><div class="max-w-2xl mx-auto"><form class="flex-row-center" autocomplete="off">'),B2=xe('<p class="sr-only">Download'),b2=xe('<button class="hover:underline cursor-pointer last:mb-1 flex-row-center">'),U2=xe('<table class="table"><tbody>'),W2=xe("<p>Fill in a truth expression and it will be simplified for you as much as possible. It will also genereate a truth table with all possible values. You can use a single letter, word or multiple words without spacing for each atomic value. If you do not want to simplify the expression, simply turn off the toggle. Keywords for operators are defined below. Parentheses is also allowed."),H2=xe("<p>API docs can be found <!>."),$2=xe("<p>using: "),V2=xe("<td>using: "),G2=xe('<tr class="border-b border-dotted border-gray-500"><td>:</td><td class="px-2">'),X2=xe("<span>"),z2=xe('<table><thead><tr class="text-left"><th>Name</th><th class="pr-2">API</th><th>Other</thead><tbody><tr><td>Not:</td><td>!</td><td>NOT</tr><tr><td>And:</td><td>&</td><td>AND</tr><tr><td>Or:</td><td>:</td><td>|</td><td>/</td><td>OR</tr><tr><td class="pr-2">Implication:</td><td>-></td><td class="px-2">IMPLICATION</td><td>IMP'),K2=["http://localhost:8080/simplify/table/","https://api.martials.no/simplify-truths/do/simplify/table/"],Y2=()=>{let e,t=!0,r=!1,n=!1;typeof location<"u"&&(e=new URLSearchParams(location.search),e.has("simplify")&&(t=e.get("simplify")==="true"),e.has("exp")&&(r=!0),e.has("hideIntermediate")&&(n=e.get("hideIntermediate")==="true"));const[i,a]=Re(t),[s,f]=Re(null),l=[{name:"Show all result",value:"NONE"},{name:"Hide true results",value:"TRUE"},{name:"Hide false results",value:"FALSE"}],[o,c]=Re(l[0]),x=[{name:"Sort by default",value:"DEFAULT"},{name:"Sort by true first",value:"TRUE_FIRST"},{name:"Sort by false first",value:"FALSE_FIRST"}],[h,p]=Re(x[0]),[_,u]=Re(n),[m,A]=Re(null),[O,y]=Re(null),[M,Y]=Re(!1);function re(j){j.preventDefault();let le=L()?.value;le&&(history.pushState(null,"",`?exp=${encodeURIComponent(le)}&simplify=${i()}&
+ */function I2({type:e="xlsx",name:t="Truth Table",dl:r=!1,tableId:n}){const i=document.getElementById(n),a=D2.table_to_book(i,{sheet:"sheet1"});return r?U0(a,{bookType:e,bookSST:!0,type:"base64"}):v2(a,t+"."+e)}function k2(){return"ontouchstart"in window||navigator.maxTouchPoints>0}function R2(e){return e=e.replaceAll(/\//g,"|"),e=e.replaceAll(/¬/g,"!"),e=e.replaceAll(/\sOR\s/gi," | "),e=e.replaceAll(/\sAND\s/gi," & "),e=e.replaceAll(/\s(IMPLICATION|IMP)\s/gi," -> "),e=e.replaceAll(/\sNOT\s/gi," !"),e}const N2=xe('<span class="h-min">Simplify: '),Hi=xe('<div class="h-min relative">'),L2=xe("<p>Filename:"),Vs=xe("<p>"),P2=xe('<div class="flex justify-center m-2"><div id="table" class="h-[45rem] overflow-auto">'),M2=xe('<div id="truth-content"><div class="max-w-2xl mx-auto"><form class="flex-row-center" autocomplete="off">'),B2=xe('<p class="sr-only">Download'),b2=xe('<button class="hover:underline cursor-pointer last:mb-1 flex-row-center">'),U2=xe('<table class="table"><tbody>'),W2=xe("<p>Fill in a truth expression and it will be simplified for you as much as possible. It will also genereate a truth table with all possible values. You can use a single letter, word or multiple words without spacing for each atomic value. If you do not want to simplify the expression, simply turn off the toggle. Keywords for operators are defined below. Parentheses is also allowed."),H2=xe("<p>API docs can be found <!>."),$2=xe("<p>using: "),V2=xe("<td>using: "),G2=xe('<tr class="border-b border-dotted border-gray-500"><td>:</td><td class="px-2">'),X2=xe("<span>"),z2=xe('<table><thead><tr class="text-left"><th>Name</th><th class="pr-2">API</th><th>Other</thead><tbody><tr><td>Not:</td><td>!</td><td>NOT</tr><tr><td>And:</td><td>&</td><td>AND</tr><tr><td>Or:</td><td>|</td><td>/</td><td>OR</tr><tr><td class="pr-2">Implication:</td><td>-></td><td class="px-2">IMPLICATION</td><td>IMP'),K2=["http://localhost:8080/simplify/table/","https://api.martials.no/simplify-truths/do/simplify/table/"],Y2=()=>{let e,t=!0,r=!1,n=!1;typeof location<"u"&&(e=new URLSearchParams(location.search),e.has("simplify")&&(t=e.get("simplify")==="true"),e.has("exp")&&(r=!0),e.has("hideIntermediate")&&(n=e.get("hideIntermediate")==="true"));const[i,a]=Re(t),[s,f]=Re(null),l=[{name:"Show all result",value:"NONE"},{name:"Hide true results",value:"TRUE"},{name:"Hide false results",value:"FALSE"}],[o,c]=Re(l[0]),x=[{name:"Sort by default",value:"DEFAULT"},{name:"Sort by true first",value:"TRUE_FIRST"},{name:"Sort by false first",value:"FALSE_FIRST"}],[h,p]=Re(x[0]),[_,u]=Re(n),[m,A]=Re(null),[O,y]=Re(null),[M,Y]=Re(!1);function re(j){j.preventDefault();let le=L()?.value;le&&(history.pushState(null,"",`?exp=${encodeURIComponent(le)}&simplify=${i()}&
 hide=${o().value}&sort=${h().value}&hideIntermediate=${_()}`),D(le))}function D(j){f(null),j&&j!==""&&(j=R2(j),y(null),A(!1),fetch(`${K2[M()?0:1]}${encodeURIComponent(j)}?
 simplify=${i()}&hide=${o().value}&sort=${h().value}&caseSensitive=false&
 hideIntermediate=${_()}`).then(le=>le.json()).then(le=>le.status!=="OK"&&!le.ok?y({title:"Input error",message:le.message}):f(le)).catch(le=>y({title:"Fetch error",message:le.toString()})).finally(()=>A(!0)))}const U="truth-input";function L(){return lt(U)}Vi(()=>{const j=L();if(e.has("exp")){const le=e.get("exp");le&&j&&(j.value=le);const oe=e.get("hide");oe&&c(l.find(de=>de.value===oe)??l[0]);const ve=e.get("sort");ve&&p(x.find(de=>de.value===ve)??x[0]),D(le)}k2()||j?.focus()});const H="truth-table",G="excel-filename";function X(){const j=lt(G)?.value;I2({name:j!==""?j:void 0,tableId:H})}return K(Ef,{title:"Truth tables",get children(){return[K(tr,{get when(){return!1},keyed:!0,get children(){return["(DEV) Use localhost:",K(Qn,{title:"Use localhost",defaultValue:!1,onChange:Y})]}}),(()=>{const j=M2(),le=j.firstChild,oe=le.firstChild;return ce(le,K(q2,{}),oe),oe.addEventListener("submit",re),ce(oe,K(kf,{id:U,typingDefault:r}),null),ce(oe,K(vn,{id:"truth-input-button",title:"Generate (Enter)",type:"submit",className:"min-w-50px h-10 ml-2",children:"Generate"}),null),ce(le,K(Xi,{className:"my-1 gap-2",get children(){return[N2(),K(Qn,{onChange:a,get defaultValue(){return i()},title:"Simplify",name:"Turn on/off simplify expressions",className:"mx-1"}),(()=>{const ve=Hi();return ce(ve,K(ei,{title:"Filter results",id:"filter-results",get button(){return K(tr,{get when(){return o().value!=="NONE"},get children(){return K(Lr,{path:vf,"aria-label":"An eye with a slash through it",get class(){return`mx-1 ${o().value==="TRUE"?"text-green-500":"text-red-500"}`}})},get fallback(){return K(Lr,{path:mf,"aria-label":"An eye",class:"mx-1"})},keyed:!0})},get children(){return K(st,{each:l,children:de=>K($i,{onClick:()=>c(de),option:de,currentValue:o})})},itemsClassName:"right-0"})),ve})(),(()=>{const ve=Hi();return ce(ve,K(ei,{title:"Sort results",id:"sort-results",get button(){return K(Lr,{path:gf,"aria-label":"Filter",get class(){return`h-6 w-6 ${h().value==="TRUE_FIRST"?"text-green-500":h().value==="FALSE_FIRST"&&"text-red-500"}`}})},get children(){return K(st,{each:x,children:de=>K($i,{option:de,currentValue:h,onClick:()=>p(de)})})},itemsClassName:"right-0"})),ve})(),K(Qn,{title:"Hide intermediate values",onChange:u,get defaultValue(){return _()}}),K(tr,{get when(){return at(()=>!!m())()&&O()===null},keyed:!0,get children(){return K(Bl,{title:"Download",description:"Export current table (.xlsx)",get button(){return[B2(),K(Lr,{"aria-label":"Download",path:_f})]},callback:X,acceptButtonName:"Download",cancelButtonName:"Cancel",buttonClass:"float-right",buttonTitle:"Export current table",acceptButtonId:"download-accept",get children(){return[L2(),K(zi,{className:"border-rounded h-10 px-2",id:G,placeholder:"Truth Table"})]}})}})]}}),null),ce(le,K(tr,{get when(){return m()===!1},keyed:!0,get children(){return K(Lr,{path:Tf,"aria-label":"Loading indicator",class:"animate-spin mx-auto"})}}),null),ce(le,K(tr,{get when(){return at(()=>!!O())()&&m()},keyed:!0,get children(){return K(j2,{get title(){return O()?.title??"Error"},get error(){return O()?.message??"Something went wrong"}})}}),null),ce(le,K(tr,{get when(){return at(()=>!!i())()&&(s()?.orderOperations?.length??0)>0},keyed:!0,get children(){return K(J2,{fetchResult:s})}}),null),ce(j,K(tr,{get when(){return at(()=>!!m())()&&O()===null},keyed:!0,get children(){return[K(tr,{get when(){return i()},keyed:!0,get children(){return K(sa,{className:"w-fit mx-auto pb-1 text-lg text-center",title:"Output:",id:"expression-output",get children(){const ve=Vs();return ce(ve,()=>s()?.after),ve}})}}),(()=>{const ve=P2(),de=ve.firstChild;return ce(de,K(Mf,{get header(){return s()?.header??void 0},get table(){return s()?.table?.truthMatrix},id:H})),ve})()]}}),null),j})()]}})},$i=({option:e,currentValue:t,onClick:r})=>{const n=()=>t&&t().value===e.value;return(()=>{const i=b2();return Gi(i,"click",r,!0),ce(i,K(Lr,{path:wf,get["aria-label"](){return n()?"A checkmark":"Nothing"},get class(){return`text-white ${!n()&&"invisible"}`}}),null),ce(i,()=>e.name,null),i})()},j2=({title:e,error:t})=>K(sa,{className:"w-fit text-center mx-auto",title:e,error:!0,get children(){const r=Vs();return ce(r,t),r}}),J2=({fetchResult:e})=>K(fa,{get children(){return K(g0,{title:"Show me how it's done",get children(){const t=U2(),r=t.firstChild;return ce(r,K(st,{get each(){return e()?.orderOperations},get children(){return Z2()}})),t}})}}),q2=()=>K(fa,{get children(){return[K(g0,{title:"How to",get children(){return[W2(),(()=>{const e=H2(),t=e.firstChild,r=t.nextSibling;return r.nextSibling,ce(e,K(Sf,{to:"https://api.martials.no/simplify-truths",children:"here"}),r),e})()]}}),K(Q2,{})]}}),Z2=()=>(e,t)=>(()=>{const r=G2(),n=r.firstChild,i=n.firstChild,a=n.nextSibling;return ce(n,()=>t()+1,i),ce(a,()=>K(st,{get each(){return yl(e.before,e.after)},children:s=>(()=>{const f=X2();return ce(f,()=>s.value),d0(()=>Je(f,`${s.added&&"bg-green-700"} ${s.removed&&"bg-red-700"}`)),f})()}),null),ce(a,K(tr,{get when(){return typeof window<"u"&&window.outerWidth<=640},keyed:!0,get children(){const s=$2();return s.firstChild,ce(s,()=>e.law,null),s}}),null),ce(r,K(tr,{get when(){return typeof window<"u"&&window.outerWidth>640},keyed:!0,get children(){const s=V2();return s.firstChild,ce(s,()=>e.law,null),s}}),null),r})(),Q2=()=>K(g0,{title:"Keywords",get children(){return z2()}});pf(()=>K(Y2,{}),document.getElementById("root"));kn(["click"]);
diff --git a/simplify-truths.html b/simplify-truths.html
index bf1f1ee..32ae3c2 100644
--- a/simplify-truths.html
+++ b/simplify-truths.html
@@ -8,7 +8,7 @@
         <meta name="description" content="Simplify truth values and generate truth tables">
         <link rel="icon" type="image/x-icon" href="/assets/code-e5ef48f4.svg">
         
-      <script type="module" crossorigin src="/assets/simplifyTruths-15bd114c.js"></script>
+      <script type="module" crossorigin src="/assets/simplifyTruths-16cf65d4.js"></script>
       <link rel="modulepreload" crossorigin href="/assets/layout-f14619ef.js">
       <link rel="stylesheet" href="/assets/layout-7a6e5419.css">
     </head>