{"version":3,"file":"belnap.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/belnap.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,KAAK,sBAAsB,EAC9B,MAAM,2BAA2B,CAAA;AA6ClC,8DAA8D;AAC9D,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAEvE;AAED,+DAA+D;AAC/D,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAExE;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CACzB,CAAC,EAAE,sBAAsB,EACzB,CAAC,EAAE,sBAAsB,GAC1B,sBAAsB,CAExB;AAED,oFAAoF;AACpF,wBAAgB,SAAS,CAAC,CAAC,EAAE,sBAAsB,GAAG,sBAAsB,CAM3E;AAED,oEAAoE;AACpE,wBAAgB,SAAS,CACrB,CAAC,EAAE,sBAAsB,EACzB,CAAC,EAAE,sBAAsB,GAC1B,sBAAsB,CAMxB;AAED,mEAAmE;AACnE,wBAAgB,QAAQ,CACpB,CAAC,EAAE,sBAAsB,EACzB,CAAC,EAAE,sBAAsB,GAC1B,sBAAsB,CAMxB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,SAAS,CACrB,CAAC,EAAE,sBAAsB,EACzB,CAAC,EAAE,sBAAsB,GAC1B,sBAAsB,CASxB;AAED,+CAA+C;AAC/C,wBAAgB,aAAa,CACzB,CAAC,EAAE,sBAAsB,EACzB,CAAC,EAAE,sBAAsB,GAC1B,sBAAsB,CAExB;AAED,mDAAmD;AACnD,wBAAgB,SAAS,CACrB,CAAC,EAAE,sBAAsB,EACzB,CAAC,EAAE,sBAAsB,GAC1B,sBAAsB,CAExB"}