@stevenvo780/st-lang 4.2.0 → 4.4.0

package/dist/tests/anti-unification/anti-unify.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anti-unify.test.js","sourceRoot":"","sources":["../../../src/tests/anti-unification/anti-unify.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2CAA2C;AAC3C,+DAA+D;AAC/D,EAAE;AACF,mBAAmB;AACnB,oDAAoD;AACpD,uCAAuC;AACvC,kCAAkC;AAClC,uEAAuE;AACvE,6CAA6C;AAC7C,+BAA+B;AAC/B,+CAA+C;;AAE/C,mCAA8C;AAC9C,qEAYwC;AAExC,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,4BAA4B;QAC5B,IAAA,eAAM,EACJ,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACxF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,IAAA,eAAM,EACJ,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACzF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzE,+DAA+D;QAC/D,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,KAAK,CAAC,EAAE,IAAA,oBAAC,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,yDAAyD;QACzD,IAAA,eAAM,EACJ,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACxF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,IAAA,eAAM,EACJ,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACzF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzF,8DAA8D;QAC9D,8BAA8B;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO;QAC/C,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,mCAAmC;QACnC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,MAAM,GAAG,IAAA,4BAAS,EACtB,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EACtC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACvC,CAAC;QACF,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EACJ,IAAA,6BAAU,EACR,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,EACnD,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACvC,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,IAAA,eAAM,EACJ,IAAA,6BAAU,EACR,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,EACpD,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACvC,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,wEAAwE;QACxE,iEAAiE;QACjE,wBAAwB;QACxB,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG,IAAA,gCAAa,EAAC;YAC3B,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC;YACtB,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC;YACtB,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC;SACvB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,MAAM,CAAC,cAAc,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,MAAM,GAAG,IAAA,gCAAa,EAAC,CAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gCAAa,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,KAAK,GAAG,CAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvF,MAAM,MAAM,GAAG,IAAA,wCAAqB,EAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;YACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;YACzB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;gBAAE,SAAS;YACnD,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,sCAAmB,EAAC,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,IAAA,eAAM,EAAC,IAAA,sCAAmB,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,sCAAmB,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,IAAA,sCAAmB,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,sCAAmB,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,iDAAiD;QACjD,6FAA6F;QAC7F,6EAA6E;QAC7E,IAAA,eAAM,EAAC,IAAA,sCAAmB,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qDAAqD,EAAE,GAAG,EAAE;IACnE,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAGL;YACJ,CAAC,IAAA,oBAAC,EAAC,KAAK,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,KAAK,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;YACpD,CAAC,IAAA,oBAAC,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,MAAM,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,MAAM,CAAC,CAAC,CAAC;YAC5D,CAAC,IAAA,oBAAC,EAAC,MAAM,CAAC,EAAE,IAAA,oBAAC,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,MAAM,CAAC,CAAC,CAAC;YACjC,CAAC,IAAA,oBAAC,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,KAAK,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SAC9E,CAAC;QACF,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACjC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvF,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxF,+DAA+D;YAC/D,+CAA+C;YAC/C,IAAA,eAAM,EAAC,IAAI,GAAG,CAAC,IAAA,yBAAM,EAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;QACpF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,MAAM,GAAG,IAAA,qCAAkB,EAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/bayesian/bayesian.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=bayesian.test.d.ts.map

package/dist/tests/bayesian/bayesian.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bayesian.test.d.ts","sourceRoot":"","sources":["../../../src/tests/bayesian/bayesian.test.ts"],"names":[],"mappings":""}

package/dist/tests/bayesian/bayesian.test.js

@@ -0,0 +1,328 @@
+"use strict";
+// ============================================================
+// ST Bayesian Inference — Tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const bayesian_1 = require("../../runtime/bayesian");
+// ── Fixtures ─────────────────────────────────────────────────
+// Red clásica de Russell & Norvig (Burglary / Earthquake / Alarm /
+// JohnCalls / MaryCalls). Valores: "true" / "false".
+const burglaryNet = {
+    variables: [
+        { name: 'Burglary', values: ['true', 'false'] },
+        { name: 'Earthquake', values: ['true', 'false'] },
+        { name: 'Alarm', values: ['true', 'false'] },
+        { name: 'JohnCalls', values: ['true', 'false'] },
+        { name: 'MaryCalls', values: ['true', 'false'] },
+    ],
+    cpts: [
+        {
+            variable: 'Burglary',
+            parents: [],
+            entries: { '': { true: 0.001, false: 0.999 } },
+        },
+        {
+            variable: 'Earthquake',
+            parents: [],
+            entries: { '': { true: 0.002, false: 0.998 } },
+        },
+        {
+            variable: 'Alarm',
+            parents: ['Burglary', 'Earthquake'],
+            entries: {
+                'Burglary=true|Earthquake=true': { true: 0.95, false: 0.05 },
+                'Burglary=true|Earthquake=false': { true: 0.94, false: 0.06 },
+                'Burglary=false|Earthquake=true': { true: 0.29, false: 0.71 },
+                'Burglary=false|Earthquake=false': { true: 0.001, false: 0.999 },
+            },
+        },
+        {
+            variable: 'JohnCalls',
+            parents: ['Alarm'],
+            entries: {
+                'Alarm=true': { true: 0.9, false: 0.1 },
+                'Alarm=false': { true: 0.05, false: 0.95 },
+            },
+        },
+        {
+            variable: 'MaryCalls',
+            parents: ['Alarm'],
+            entries: {
+                'Alarm=true': { true: 0.7, false: 0.3 },
+                'Alarm=false': { true: 0.01, false: 0.99 },
+            },
+        },
+    ],
+};
+// Red simple cadena A → B → C (todas binarias).
+const chainNet = {
+    variables: [
+        { name: 'A', values: ['t', 'f'] },
+        { name: 'B', values: ['t', 'f'] },
+        { name: 'C', values: ['t', 'f'] },
+    ],
+    cpts: [
+        { variable: 'A', parents: [], entries: { '': { t: 0.7, f: 0.3 } } },
+        {
+            variable: 'B',
+            parents: ['A'],
+            entries: {
+                'A=t': { t: 0.8, f: 0.2 },
+                'A=f': { t: 0.1, f: 0.9 },
+            },
+        },
+        {
+            variable: 'C',
+            parents: ['B'],
+            entries: {
+                'B=t': { t: 0.9, f: 0.1 },
+                'B=f': { t: 0.2, f: 0.8 },
+            },
+        },
+    ],
+};
+// Red trinaria simple para test de dominios >2.
+const weatherNet = {
+    variables: [
+        { name: 'Weather', values: ['sunny', 'cloudy', 'rainy'] },
+        { name: 'Mood', values: ['happy', 'sad'] },
+    ],
+    cpts: [
+        {
+            variable: 'Weather',
+            parents: [],
+            entries: { '': { sunny: 0.5, cloudy: 0.3, rainy: 0.2 } },
+        },
+        {
+            variable: 'Mood',
+            parents: ['Weather'],
+            entries: {
+                'Weather=sunny': { happy: 0.9, sad: 0.1 },
+                'Weather=cloudy': { happy: 0.5, sad: 0.5 },
+                'Weather=rainy': { happy: 0.2, sad: 0.8 },
+            },
+        },
+    ],
+};
+// ── Helpers ──────────────────────────────────────────────────
+function close(a, b, eps = 1e-4) {
+    return Math.abs(a - b) < eps;
+}
+function bruteForceMarginal(net, queryVar, evidence = {}) {
+    // Enumera todas las asignaciones, suma joint, normaliza.
+    const out = {};
+    for (const v of net.variables.find((x) => x.name === queryVar).values) {
+        out[v] = 0;
+    }
+    const vars = net.variables.map((v) => v.name);
+    const doms = net.variables.map((v) => v.values);
+    function rec(i, acc) {
+        if (i === vars.length) {
+            for (const [k, val] of Object.entries(evidence)) {
+                if (acc[k] !== val)
+                    return;
+            }
+            const p = (0, bayesian_1.jointProbability)(net, acc);
+            out[acc[queryVar]] = (out[acc[queryVar]] ?? 0) + p;
+            return;
+        }
+        const vname = vars[i];
+        for (const val of doms[i]) {
+            acc[vname] = val;
+            rec(i + 1, acc);
+        }
+    }
+    rec(0, {});
+    const total = Object.values(out).reduce((a, b) => a + b, 0);
+    if (total > 0) {
+        for (const k of Object.keys(out))
+            out[k] = out[k] / total;
+    }
+    return out;
+}
+// ── Tests ────────────────────────────────────────────────────
+(0, vitest_1.describe)('bayesian — joint probability', () => {
+    (0, vitest_1.it)('jointProbability sobre asignación completa = producto de CPTs', () => {
+        // P(B=t, E=f, A=t, J=t, M=t) = 0.001 * 0.998 * 0.94 * 0.9 * 0.7
+        const p = (0, bayesian_1.jointProbability)(burglaryNet, {
+            Burglary: 'true',
+            Earthquake: 'false',
+            Alarm: 'true',
+            JohnCalls: 'true',
+            MaryCalls: 'true',
+        });
+        const expected = 0.001 * 0.998 * 0.94 * 0.9 * 0.7;
+        (0, vitest_1.expect)(close(p, expected, 1e-10)).toBe(true);
+    });
+    (0, vitest_1.it)('jointProbability suma 1 sobre todas las asignaciones', () => {
+        let total = 0;
+        const vals = ['t', 'f'];
+        for (const a of vals)
+            for (const b of vals)
+                for (const c of vals) {
+                    total += (0, bayesian_1.jointProbability)(chainNet, { A: a, B: b, C: c });
+                }
+        (0, vitest_1.expect)(close(total, 1, 1e-10)).toBe(true);
+    });
+    (0, vitest_1.it)('jointProbability falla con asignación incompleta', () => {
+        (0, vitest_1.expect)(() => (0, bayesian_1.jointProbability)(burglaryNet, { Burglary: 'true' })).toThrow(/incompleta/);
+    });
+    (0, vitest_1.it)('jointProbability falla con valor fuera de dominio', () => {
+        (0, vitest_1.expect)(() => (0, bayesian_1.jointProbability)(chainNet, { A: 't', B: 'x', C: 't' })).toThrow(/dominio/);
+    });
+});
+(0, vitest_1.describe)('bayesian — variable elimination', () => {
+    (0, vitest_1.it)('P(Burglary=true | JohnCalls=true, MaryCalls=true) ≈ 0.284', () => {
+        const post = (0, bayesian_1.query)(burglaryNet, 'Burglary', {
+            JohnCalls: 'true',
+            MaryCalls: 'true',
+        });
+        (0, vitest_1.expect)(post.variable).toBe('Burglary');
+        (0, vitest_1.expect)(close(post.distribution['true'], 0.2841, 5e-3)).toBe(true);
+        (0, vitest_1.expect)(close(post.distribution['true'] + post.distribution['false'], 1, 1e-9)).toBe(true);
+    });
+    (0, vitest_1.it)('P(Burglary) sin evidencia ≈ prior 0.001', () => {
+        const post = (0, bayesian_1.query)(burglaryNet, 'Burglary');
+        (0, vitest_1.expect)(close(post.distribution['true'], 0.001, 1e-9)).toBe(true);
+        (0, vitest_1.expect)(close(post.distribution['false'], 0.999, 1e-9)).toBe(true);
+    });
+    (0, vitest_1.it)('P(Alarm) sin evidencia: marginal sobre Burglary/Earthquake', () => {
+        const post = (0, bayesian_1.query)(burglaryNet, 'Alarm');
+        // P(A=t) = sum_B,E P(A=t|B,E) P(B) P(E)
+        const expectedT = 0.95 * 0.001 * 0.002 + 0.94 * 0.001 * 0.998 + 0.29 * 0.999 * 0.002 + 0.001 * 0.999 * 0.998;
+        (0, vitest_1.expect)(close(post.distribution['true'], expectedT, 1e-6)).toBe(true);
+    });
+    (0, vitest_1.it)('VE coincide con brute force (Burglary | JohnCalls=t)', () => {
+        const ve = (0, bayesian_1.query)(burglaryNet, 'Burglary', { JohnCalls: 'true' });
+        const bf = bruteForceMarginal(burglaryNet, 'Burglary', {
+            JohnCalls: 'true',
+        });
+        (0, vitest_1.expect)(close(ve.distribution['true'], bf['true'], 1e-6)).toBe(true);
+        (0, vitest_1.expect)(close(ve.distribution['false'], bf['false'], 1e-6)).toBe(true);
+    });
+    (0, vitest_1.it)('VE coincide con brute force (Alarm | MaryCalls=t)', () => {
+        const ve = (0, bayesian_1.query)(burglaryNet, 'Alarm', { MaryCalls: 'true' });
+        const bf = bruteForceMarginal(burglaryNet, 'Alarm', {
+            MaryCalls: 'true',
+        });
+        (0, vitest_1.expect)(close(ve.distribution['true'], bf['true'], 1e-6)).toBe(true);
+    });
+    (0, vitest_1.it)('cadena A→B→C: P(C=t) marginal', () => {
+        // P(C=t) = sum_B P(C=t|B) P(B) ; P(B=t)=0.7*0.8+0.3*0.1=0.59
+        // P(C=t)=0.9*0.59+0.2*0.41=0.613
+        const post = (0, bayesian_1.query)(chainNet, 'C');
+        (0, vitest_1.expect)(close(post.distribution['t'], 0.613, 1e-4)).toBe(true);
+    });
+    (0, vitest_1.it)('cadena: P(A | C=t) actualiza el prior', () => {
+        const post = (0, bayesian_1.query)(chainNet, 'A', { C: 't' });
+        const bf = bruteForceMarginal(chainNet, 'A', { C: 't' });
+        (0, vitest_1.expect)(close(post.distribution['t'], bf['t'], 1e-6)).toBe(true);
+        (0, vitest_1.expect)(post.distribution['t'] > 0.7).toBe(true); // C=t sube creencia en A=t
+    });
+    (0, vitest_1.it)('dominio ternario: P(Weather | Mood=happy)', () => {
+        const post = (0, bayesian_1.query)(weatherNet, 'Weather', { Mood: 'happy' });
+        const sum = post.distribution['sunny'] + post.distribution['cloudy'] + post.distribution['rainy'];
+        (0, vitest_1.expect)(close(sum, 1, 1e-9)).toBe(true);
+        (0, vitest_1.expect)(post.distribution['sunny'] > post.distribution['rainy']).toBe(true);
+        const bf = bruteForceMarginal(weatherNet, 'Weather', { Mood: 'happy' });
+        (0, vitest_1.expect)(close(post.distribution['sunny'], bf['sunny'], 1e-6)).toBe(true);
+        (0, vitest_1.expect)(close(post.distribution['rainy'], bf['rainy'], 1e-6)).toBe(true);
+    });
+    (0, vitest_1.it)('query observada devuelve distribución degenerada', () => {
+        const post = (0, bayesian_1.query)(burglaryNet, 'Burglary', { Burglary: 'true' });
+        (0, vitest_1.expect)(post.distribution['true']).toBe(1);
+        (0, vitest_1.expect)(post.distribution['false']).toBe(0);
+    });
+    (0, vitest_1.it)('evidencia con variable inexistente lanza error', () => {
+        (0, vitest_1.expect)(() => (0, bayesian_1.query)(chainNet, 'A', { ZZZ: 't' })).toThrow(/no existe/);
+    });
+    (0, vitest_1.it)('evidencia con valor fuera de dominio lanza error', () => {
+        (0, vitest_1.expect)(() => (0, bayesian_1.query)(chainNet, 'A', { B: 'maybe' })).toThrow(/dominio/);
+    });
+    (0, vitest_1.it)('query a variable inexistente lanza error', () => {
+        (0, vitest_1.expect)(() => (0, bayesian_1.query)(chainNet, 'ZZZ')).toThrow(/no existe/);
+    });
+    (0, vitest_1.it)('variableElimination es alias de query', () => {
+        const a = (0, bayesian_1.query)(chainNet, 'A', { C: 't' });
+        const b = (0, bayesian_1.variableElimination)(chainNet, 'A', { C: 't' });
+        (0, vitest_1.expect)(close(a.distribution['t'], b.distribution['t'], 1e-12)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('bayesian — most probable explanation', () => {
+    (0, vitest_1.it)('MPE devuelve asignación completa', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(burglaryNet);
+        (0, vitest_1.expect)(Object.keys(mpe).sort()).toEqual([
+            'Alarm',
+            'Burglary',
+            'Earthquake',
+            'JohnCalls',
+            'MaryCalls',
+        ]);
+    });
+    (0, vitest_1.it)('MPE sin evidencia maximiza joint (Burglary network)', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(burglaryNet);
+        const pMpe = (0, bayesian_1.jointProbability)(burglaryNet, mpe);
+        // Verificar contra enumeración: no debe haber asignación con joint > pMpe.
+        const vars = burglaryNet.variables.map((v) => v.name);
+        const doms = burglaryNet.variables.map((v) => v.values);
+        let best = -1;
+        function rec(i, acc) {
+            if (i === vars.length) {
+                const p = (0, bayesian_1.jointProbability)(burglaryNet, acc);
+                if (p > best)
+                    best = p;
+                return;
+            }
+            for (const val of doms[i]) {
+                acc[vars[i]] = val;
+                rec(i + 1, acc);
+            }
+        }
+        rec(0, {});
+        (0, vitest_1.expect)(close(pMpe, best, 1e-9)).toBe(true);
+    });
+    (0, vitest_1.it)('MPE respeta la evidencia observada', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(burglaryNet, {
+            JohnCalls: 'true',
+            MaryCalls: 'true',
+        });
+        (0, vitest_1.expect)(mpe['JohnCalls']).toBe('true');
+        (0, vitest_1.expect)(mpe['MaryCalls']).toBe('true');
+    });
+    (0, vitest_1.it)('MPE con ambas llamadas activa Alarm más probable', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(burglaryNet, {
+            JohnCalls: 'true',
+            MaryCalls: 'true',
+        });
+        // El argmax dado J=t,M=t tiene Alarm=true (la probabilidad
+        // de Alarm dada las llamadas es muy alta).
+        (0, vitest_1.expect)(mpe['Alarm']).toBe('true');
+    });
+    (0, vitest_1.it)('MPE en cadena: argmax sobre joint', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(chainNet);
+        const pMpe = (0, bayesian_1.jointProbability)(chainNet, mpe);
+        let best = -1;
+        for (const a of ['t', 'f']) {
+            for (const b of ['t', 'f']) {
+                for (const c of ['t', 'f']) {
+                    const p = (0, bayesian_1.jointProbability)(chainNet, { A: a, B: b, C: c });
+                    if (p > best)
+                        best = p;
+                }
+            }
+        }
+        (0, vitest_1.expect)(close(pMpe, best, 1e-9)).toBe(true);
+    });
+    (0, vitest_1.it)('MPE en weather: sunny+happy es el modo dominante', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(weatherNet);
+        (0, vitest_1.expect)(mpe['Weather']).toBe('sunny');
+        (0, vitest_1.expect)(mpe['Mood']).toBe('happy');
+    });
+    (0, vitest_1.it)('MPE con evidencia Weather=rainy elige Mood=sad', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(weatherNet, { Weather: 'rainy' });
+        (0, vitest_1.expect)(mpe['Weather']).toBe('rainy');
+        (0, vitest_1.expect)(mpe['Mood']).toBe('sad');
+    });
+});
+//# sourceMappingURL=bayesian.test.js.map

package/dist/tests/bayesian/bayesian.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bayesian.test.js","sourceRoot":"","sources":["../../../src/tests/bayesian/bayesian.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;;AAE/D,mCAA8C;AAC9C,qDAMgC;AAEhC,gEAAgE;AAEhE,mEAAmE;AACnE,qDAAqD;AACrD,MAAM,WAAW,GAAoB;IACnC,SAAS,EAAE;QACT,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;QAC/C,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;QACjD,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;QAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;QAChD,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;KACjD;IACD,IAAI,EAAE;QACJ;YACE,QAAQ,EAAE,UAAU;YACpB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;SAC/C;QACD;YACE,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;SAC/C;QACD;YACE,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC;YACnC,OAAO,EAAE;gBACP,+BAA+B,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;gBAC5D,gCAAgC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;gBAC7D,gCAAgC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;gBAC7D,iCAAiC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE;aACjE;SACF;QACD;YACE,QAAQ,EAAE,WAAW;YACrB,OAAO,EAAE,CAAC,OAAO,CAAC;YAClB,OAAO,EAAE;gBACP,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;gBACvC,aAAa,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;aAC3C;SACF;QACD;YACE,QAAQ,EAAE,WAAW;YACrB,OAAO,EAAE,CAAC,OAAO,CAAC;YAClB,OAAO,EAAE;gBACP,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;gBACvC,aAAa,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;aAC3C;SACF;KACF;CACF,CAAC;AAEF,gDAAgD;AAChD,MAAM,QAAQ,GAAoB;IAChC,SAAS,EAAE;QACT,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;QACjC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;QACjC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;KAClC;IACD,IAAI,EAAE;QACJ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE;QACnE;YACE,QAAQ,EAAE,GAAG;YACb,OAAO,EAAE,CAAC,GAAG,CAAC;YACd,OAAO,EAAE;gBACP,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE;gBACzB,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE;aAC1B;SACF;QACD;YACE,QAAQ,EAAE,GAAG;YACb,OAAO,EAAE,CAAC,GAAG,CAAC;YACd,OAAO,EAAE;gBACP,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE;gBACzB,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE;aAC1B;SACF;KACF;CACF,CAAC;AAEF,gDAAgD;AAChD,MAAM,UAAU,GAAoB;IAClC,SAAS,EAAE;QACT,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE;QACzD,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE;KAC3C;IACD,IAAI,EAAE;QACJ;YACE,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;SACzD;QACD;YACE,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,CAAC,SAAS,CAAC;YACpB,OAAO,EAAE;gBACP,eAAe,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;gBACzC,gBAAgB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;gBAC1C,eAAe,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;aAC1C;SACF;KACF;CACF,CAAC;AAEF,gEAAgE;AAEhE,SAAS,KAAK,CAAC,CAAS,EAAE,CAAS,EAAE,GAAG,GAAG,IAAI;IAC7C,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;AAC/B,CAAC;AAED,SAAS,kBAAkB,CACzB,GAAoB,EACpB,QAAgB,EAChB,WAAmC,EAAE;IAErC,yDAAyD;IACzD,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAE,CAAC,MAAM,EAAE,CAAC;QACvE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACb,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAChD,SAAS,GAAG,CAAC,CAAS,EAAE,GAA2B;QACjD,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACtB,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAChD,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,OAAO;YAC7B,CAAC;YACD,MAAM,CAAC,GAAG,IAAA,2BAAgB,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACrC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACnD,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC;YACjB,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACX,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;IAC5D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,gEAAgE;QAChE,MAAM,CAAC,GAAG,IAAA,2BAAgB,EAAC,WAAW,EAAE;YACtC,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,OAAO;YACnB,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,IAAI;YAClB,KAAK,MAAM,CAAC,IAAI,IAAI;gBAClB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBACrB,KAAK,IAAI,IAAA,2BAAgB,EAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC5D,CAAC;QACL,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,2BAAgB,EAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,2BAAgB,EAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,UAAU,EAAE;YAC1C,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACzC,wCAAwC;QACxC,MAAM,SAAS,GACb,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;QAC7F,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,EAAE,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QACjE,MAAM,EAAE,GAAG,kBAAkB,CAAC,WAAW,EAAE,UAAU,EAAE;YACrD,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9D,MAAM,EAAE,GAAG,kBAAkB,CAAC,WAAW,EAAE,OAAO,EAAE;YAClD,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,6DAA6D;QAC7D,iCAAiC;QACjC,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,kBAAkB,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,UAAU,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7D,MAAM,GAAG,GACP,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,MAAM,EAAE,GAAG,kBAAkB,CAAC,UAAU,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAK,EAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAK,EAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAK,EAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAA,8BAAmB,EAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,WAAW,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;YACtC,OAAO;YACP,UAAU;YACV,YAAY;YACZ,WAAW;YACX,WAAW;SACZ,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,WAAW,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,IAAA,2BAAgB,EAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAChD,2EAA2E;QAC3E,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACxD,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;QACd,SAAS,GAAG,CAAC,CAAS,EAAE,GAA2B;YACjD,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBACtB,MAAM,CAAC,GAAG,IAAA,2BAAgB,EAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBAC7C,IAAI,CAAC,GAAG,IAAI;oBAAE,IAAI,GAAG,CAAC,CAAC;gBACvB,OAAO;YACT,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1B,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACnB,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QACD,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,WAAW,EAAE;YAC/C,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,WAAW,EAAE;YAC/C,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,2DAA2D;QAC3D,2CAA2C;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAA,2BAAgB,EAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC7C,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;QACd,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;oBAC3B,MAAM,CAAC,GAAG,IAAA,2BAAgB,EAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBAC3D,IAAI,CAAC,GAAG,IAAI;wBAAE,IAAI,GAAG,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,UAAU,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/bisimulation/paige-tarjan.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=paige-tarjan.test.d.ts.map

package/dist/tests/bisimulation/paige-tarjan.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"paige-tarjan.test.d.ts","sourceRoot":"","sources":["../../../src/tests/bisimulation/paige-tarjan.test.ts"],"names":[],"mappings":""}