diff --git a/javascript/dist/cjs/src/actions/action-functions.js b/javascript/dist/cjs/src/actions/action-functions.js index e6aee547..cb3310b4 100644 --- a/javascript/dist/cjs/src/actions/action-functions.js +++ b/javascript/dist/cjs/src/actions/action-functions.js @@ -62,7 +62,6 @@ const removeExisting = (input) => { for (let i = 0; i < results.length; i++) { const item = results[i]; // remove - // console.dir(item); if (item[primary] === input.changeEvent.id) { results.splice(i, 1); break; diff --git a/javascript/dist/cjs/src/actions/action-functions.js.map b/javascript/dist/cjs/src/actions/action-functions.js.map index 4abf18f4..dc3cf4c4 100644 --- a/javascript/dist/cjs/src/actions/action-functions.js.map +++ b/javascript/dist/cjs/src/actions/action-functions.js.map @@ -1 +1 @@ -{"version":3,"file":"action-functions.js","sourceRoot":"","sources":["../../../../src/actions/action-functions.ts"],"names":[],"mappings":";;;AAAA,6EAEqC;AAI9B,MAAM,SAAS,GAAwB,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC;AAAjD,QAAA,SAAS,aAAwC;AAEvD,MAAM,WAAW,GAAwB,CAAC,KAAK,EAAE,EAAE;IACtD,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,CAAC,WAAW,CAAC,EAAE,EACpB,KAAK,CAAC,WAAW,CAAC,GAAG,CACxB,CAAC;KACL;AACL,CAAC,CAAC;AARW,QAAA,WAAW,eAQtB;AACK,MAAM,UAAU,GAAwB,CAAC,KAAK,EAAE,EAAE;IACrD,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClD,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,CAAC,WAAW,CAAC,EAAE,EACpB,KAAK,CAAC,WAAW,CAAC,GAAG,CACxB,CAAC;KACL;AACL,CAAC,CAAC;AARW,QAAA,UAAU,cAQrB;AACK,MAAM,eAAe,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC1D,MAAM,KAAK,GAAG,KAAK,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;IAC5C,IAAI,KAAK,CAAC,cAAc,IAAI,KAAK,EAAE;QAC/B,KAAK,CAAC,cAAc,CAAC,MAAM,CACvB,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CACtC,CAAC;KACL;AACL,CAAC,CAAC;AAPW,QAAA,eAAe,mBAO1B;AAEK,MAAM,cAAc,GAAwB,CAAC,KAAK,EAAE,EAAE;IACzD,MAAM,IAAI,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC;IACzC,IAAI,KAAK,CAAC,cAAc,IAAI,IAAI,EAAE;QAC9B,KAAK,CAAC,cAAc,CAAC,MAAM,CACvB,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CACrC,CAAC;KACL;AACL,CAAC,CAAC;AAPW,QAAA,cAAc,kBAOzB;AAEK,MAAM,qBAAqB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAChE,IAAA,uBAAe,EAAC,KAAK,CAAC,CAAC;IACvB,IAAA,kBAAU,EAAC,KAAK,CAAC,CAAC;AACtB,CAAC,CAAC;AAHW,QAAA,qBAAqB,yBAGhC;AAEK,MAAM,qBAAqB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAChE,IAAA,sBAAc,EAAC,KAAK,CAAC,CAAC;IACtB,IAAA,mBAAW,EAAC,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AAHW,QAAA,qBAAqB,yBAGhC;AAEK,MAAM,sBAAsB,GAAwB,CAAC,KAAK,EAAE,EAAE;IACjE,IAAA,uBAAe,EAAC,KAAK,CAAC,CAAC;IACvB,IAAA,mBAAW,EAAC,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AAHW,QAAA,sBAAsB,0BAGjC;AAEK,MAAM,oBAAoB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC/D,IAAA,sBAAc,EAAC,KAAK,CAAC,CAAC;IACtB,IAAA,kBAAU,EAAC,KAAK,CAAC,CAAC;AACtB,CAAC,CAAC;AAHW,QAAA,oBAAoB,wBAG/B;AAEK,MAAM,cAAc,GAAwB,CAAC,KAAK,EAAE,EAAE;IACzD,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,MAAM,CACvB,KAAK,CAAC,WAAW,CAAC,EAAE,CACvB,CAAC;KACL;IAED,yBAAyB;IACzB,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,SAAS;QACT,qBAAqB;QACrB,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE;YACxC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM;SACT;KACJ;AACL,CAAC,CAAC;AAnBW,QAAA,cAAc,kBAmBzB;AAEK,MAAM,eAAe,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC1D,yBAAyB;IACzB,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC;IAClC,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,UAAU;QACV,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE;YACxC,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;YACjB,IAAI,KAAK,CAAC,cAAc,EAAE;gBACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,CAAC,WAAW,CAAC,EAAE,EACpB,GAAG,CACN,CAAC;aACL;YACD,MAAM;SACT;KACJ;AACL,CAAC,CAAC;AAnBW,QAAA,eAAe,mBAmB1B;AAEF;;;;GAIG;AACI,MAAM,WAAW,GAAwB,CAAC,KAAK,EAAE,EAAE;IACtD,MAAM,UAAU,GAAG;QACf,GAAG,EAAE,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE;KAC3C,CAAC;IACF,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,cAAc;IAChD,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC7B,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,UAAU,CAAC,GAAG,EACd,UAAU,CACb,CAAC;KACL;AACL,CAAC,CAAC;AAbW,QAAA,WAAW,eAatB;AAEK,MAAM,oBAAoB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;IACnC,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC;IAClC,IAAI,KAAK,CAAC,cAAc,EAAE;QAEtB,IAAI,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;YACjC;;;eAGG;YACH,OAAO;SACV;QAED,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,EACL,GAAG,CACN,CAAC;KACL;SAAM;QACH,MAAM,cAAc,GAAG,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,KAAK,CAAC,CAAC;QACzG;;;WAGG;QACH,IAAI,cAAc,EAAE;YAChB,OAAO;SACV;KACJ;IAED,IAAA,gDAAkB,EACd,KAAK,CAAC,eAAe,EACrB,GAAG,EACH,KAAK,CAAC,WAAW,CAAC,cAAc,EAChC,CAAC,CACJ,CAAC;AACN,CAAC,CAAC;AAlCW,QAAA,oBAAoB,wBAkC/B;AAEK,MAAM,qCAAqC,GAAwB,CAAC,KAAK,EAAE,EAAE;IAChF,IAAA,sBAAc,EAAC,KAAK,CAAC,CAAC;IACtB,IAAA,4BAAoB,EAAC,KAAK,CAAC,CAAC;AAChC,CAAC,CAAC;AAHW,QAAA,qCAAqC,yCAGhD;AAEK,MAAM,iBAAiB,GAAwB,CAAC,MAAM,EAAE,EAAE;IAC7D,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;AAChF,CAAC,CAAC;AAFW,QAAA,iBAAiB,qBAE5B;AAEK,MAAM,aAAa,GAAwB,CAAC,MAAM,EAAE,EAAE;IACzD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;AACnE,CAAC,CAAC;AAFW,QAAA,aAAa,iBAExB"} \ No newline at end of file +{"version":3,"file":"action-functions.js","sourceRoot":"","sources":["../../../../src/actions/action-functions.ts"],"names":[],"mappings":";;;AAAA,6EAEqC;AAI9B,MAAM,SAAS,GAAwB,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC;AAAjD,QAAA,SAAS,aAAwC;AAEvD,MAAM,WAAW,GAAwB,CAAC,KAAK,EAAE,EAAE;IACtD,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,CAAC,WAAW,CAAC,EAAE,EACpB,KAAK,CAAC,WAAW,CAAC,GAAG,CACxB,CAAC;KACL;AACL,CAAC,CAAC;AARW,QAAA,WAAW,eAQtB;AACK,MAAM,UAAU,GAAwB,CAAC,KAAK,EAAE,EAAE;IACrD,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClD,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,CAAC,WAAW,CAAC,EAAE,EACpB,KAAK,CAAC,WAAW,CAAC,GAAG,CACxB,CAAC;KACL;AACL,CAAC,CAAC;AARW,QAAA,UAAU,cAQrB;AACK,MAAM,eAAe,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC1D,MAAM,KAAK,GAAG,KAAK,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;IAC5C,IAAI,KAAK,CAAC,cAAc,IAAI,KAAK,EAAE;QAC/B,KAAK,CAAC,cAAc,CAAC,MAAM,CACvB,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CACtC,CAAC;KACL;AACL,CAAC,CAAC;AAPW,QAAA,eAAe,mBAO1B;AAEK,MAAM,cAAc,GAAwB,CAAC,KAAK,EAAE,EAAE;IACzD,MAAM,IAAI,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC;IACzC,IAAI,KAAK,CAAC,cAAc,IAAI,IAAI,EAAE;QAC9B,KAAK,CAAC,cAAc,CAAC,MAAM,CACvB,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CACrC,CAAC;KACL;AACL,CAAC,CAAC;AAPW,QAAA,cAAc,kBAOzB;AAEK,MAAM,qBAAqB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAChE,IAAA,uBAAe,EAAC,KAAK,CAAC,CAAC;IACvB,IAAA,kBAAU,EAAC,KAAK,CAAC,CAAC;AACtB,CAAC,CAAC;AAHW,QAAA,qBAAqB,yBAGhC;AAEK,MAAM,qBAAqB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAChE,IAAA,sBAAc,EAAC,KAAK,CAAC,CAAC;IACtB,IAAA,mBAAW,EAAC,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AAHW,QAAA,qBAAqB,yBAGhC;AAEK,MAAM,sBAAsB,GAAwB,CAAC,KAAK,EAAE,EAAE;IACjE,IAAA,uBAAe,EAAC,KAAK,CAAC,CAAC;IACvB,IAAA,mBAAW,EAAC,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AAHW,QAAA,sBAAsB,0BAGjC;AAEK,MAAM,oBAAoB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC/D,IAAA,sBAAc,EAAC,KAAK,CAAC,CAAC;IACtB,IAAA,kBAAU,EAAC,KAAK,CAAC,CAAC;AACtB,CAAC,CAAC;AAHW,QAAA,oBAAoB,wBAG/B;AAEK,MAAM,cAAc,GAAwB,CAAC,KAAK,EAAE,EAAE;IACzD,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,MAAM,CACvB,KAAK,CAAC,WAAW,CAAC,EAAE,CACvB,CAAC;KACL;IAED,yBAAyB;IACzB,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,SAAS;QACT,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE;YACxC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM;SACT;KACJ;AACL,CAAC,CAAC;AAlBW,QAAA,cAAc,kBAkBzB;AAEK,MAAM,eAAe,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC1D,yBAAyB;IACzB,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC;IAClC,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,UAAU;QACV,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE;YACxC,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;YACjB,IAAI,KAAK,CAAC,cAAc,EAAE;gBACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,CAAC,WAAW,CAAC,EAAE,EACpB,GAAG,CACN,CAAC;aACL;YACD,MAAM;SACT;KACJ;AACL,CAAC,CAAC;AAnBW,QAAA,eAAe,mBAmB1B;AAEF;;;;GAIG;AACI,MAAM,WAAW,GAAwB,CAAC,KAAK,EAAE,EAAE;IACtD,MAAM,UAAU,GAAG;QACf,GAAG,EAAE,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE;KAC3C,CAAC;IACF,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,cAAc;IAChD,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC7B,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,UAAU,CAAC,GAAG,EACd,UAAU,CACb,CAAC;KACL;AACL,CAAC,CAAC;AAbW,QAAA,WAAW,eAatB;AAEK,MAAM,oBAAoB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;IACnC,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC;IAClC,IAAI,KAAK,CAAC,cAAc,EAAE;QAEtB,IAAI,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;YACjC;;;eAGG;YACH,OAAO;SACV;QAED,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,EACL,GAAG,CACN,CAAC;KACL;SAAM;QACH,MAAM,cAAc,GAAG,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,KAAK,CAAC,CAAC;QACzG;;;WAGG;QACH,IAAI,cAAc,EAAE;YAChB,OAAO;SACV;KACJ;IAED,IAAA,gDAAkB,EACd,KAAK,CAAC,eAAe,EACrB,GAAG,EACH,KAAK,CAAC,WAAW,CAAC,cAAc,EAChC,CAAC,CACJ,CAAC;AACN,CAAC,CAAC;AAlCW,QAAA,oBAAoB,wBAkC/B;AAEK,MAAM,qCAAqC,GAAwB,CAAC,KAAK,EAAE,EAAE;IAChF,IAAA,sBAAc,EAAC,KAAK,CAAC,CAAC;IACtB,IAAA,4BAAoB,EAAC,KAAK,CAAC,CAAC;AAChC,CAAC,CAAC;AAHW,QAAA,qCAAqC,yCAGhD;AAEK,MAAM,iBAAiB,GAAwB,CAAC,MAAM,EAAE,EAAE;IAC7D,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;AAChF,CAAC,CAAC;AAFW,QAAA,iBAAiB,qBAE5B;AAEK,MAAM,aAAa,GAAwB,CAAC,MAAM,EAAE,EAAE;IACzD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;AACnE,CAAC,CAAC;AAFW,QAAA,aAAa,iBAExB"} \ No newline at end of file diff --git a/javascript/dist/cjs/src/bdd/bdd.generated.d.ts b/javascript/dist/cjs/src/bdd/bdd.generated.d.ts index 68269392..7310d7e1 100644 --- a/javascript/dist/cjs/src/bdd/bdd.generated.d.ts +++ b/javascript/dist/cjs/src/bdd/bdd.generated.d.ts @@ -1,5 +1,5 @@ import { SimpleBdd } from 'binary-decision-diagram'; import type { StateResolveFunctionInput } from '../types/index.js'; -export declare const minimalBddString = "14a1b,c+d2e5f0g/h.i4j*k-l)m(n6obh9pce9qnh9rad9scm9tae9uan9vbf9wbe9xbn9ycg9zck9{cn9|nd9}ne9~nf9ng9\u00A1nm9\u00A2nk9\u00A3mh9\u00A4mi9\u00A5mj9\u00A6mk9\u00A7ml9\u00A8mn9\u00A9mc8\u00AA\u00A4{8\u00AB\u00A5z8\u00AC\u00A8s8\u00AD\u00A8n8\u00AEmn8\u00AF\u00A8\u00A18\u00B0\u00A8m8\u00B1pz7\u00B2\u00AA\u00AB7\u00B3{z7\u00B4\u00AD\u00AE7\u00B5}n7\u00B6\u00A4\u00A57\u00B7\u00A8m7\u00B8wo6\u00B9\u00B5}6\u00BAnq6\u00BB\u00B2\u00AC6\u00BCtu6\u00BDwx6\u00BE\u00B4\u00AF6\u00BF\u00B5n6\u00C0\u00AE\u00AF6\u00C1\u00B6\u00A76\u00C2\u00B7\u00A36\u00C3\u00B6\u00A86\u00C4\u00B7\u00A86\u00C5m\u00A66\u00C6m\u00A86\u00C7\u00A4\u00A55\u00C8\u00A8m5\u00C9m\u00A94\u00CAm\u00AE4\u00CB\u00C7\u00A74\u00CC\u00C8\u00A34\u00CD\u00C7\u00AC4\u00CE\u00C3\u00BB4\u00CF\u00C8\u00AF4\u00D0\u00C4\u00BE4\u00D1m\u00A64\u00D2m\u00AF4\u00D3\u00C6\u00C04\u00D4ma3\u00D5mn3\u00D6\u00C9a3\u00D7\u00CAn3\u00D8\u00CBr3\u00D9\u00C1t3\u00DA\u00CC|3\u00DB\u00C2\u00B93\u00DC\u00CDr3\u00DD\u00CE\u00BC3\u00DE\u00CF|3\u00DF\u00D0\u00BF3\u00E0\u00D8\u00D92\u00E1v\u00B82\u00E2y\u00B12\u00E3\u00DA\u00DB2\u00E4~\u00BA2\u00E5\u00B52\u00E6\u00DC\u00DD2\u00E7v\u00BD2\u00E8y\u00B32\u00E9z{2\u00EA\u00DE\u00DF2\u00EB~n2\u00ECn2\u00ED\u00D1\u00C52\u00EE\u00D2\u00D32\u00EF\u00A2n2\u00F0\u00D4b1\u00F1\u00D5n1\u00F2\u00D6b1\u00F3\u00D7n1\u00F4\u00E0\u00E11\u00F5\u00E2z1\u00F6\u00E3\u00E41\u00F7\u00E6\u00E71\u00F8\u00E8\u00E91\u00F9\u00EA\u00EB1\u00FA\u00F0c0\u00FB\u00F1n0\u00FC\u00F2c0\u00FD\u00F3n0\u00FEmn0\u00FF\u00CAn0\u0100\u00F4\u00F50\u0101\u00F6\u00E50\u0102\u00F7\u00F80\u0103\u00F9\u00EC0\u0104\u00ED\u00EF0\u0105\u00EE\u00EF0\u0106\u00FA\u00FB/\u0107\u00FC\u00FD/\u0108\u0100\u0101/\u0109\u0102\u0103/\u010A\u00C1\u00C2/\u010B\u00C3\u00C4/\u010C\u00FAm.\u010D\u00FCm.\u010E\u0106m.\u010F\u0107m.\u0110\u00FEm.\u0111\u00FFm.\u0112\u0100\u00A7.\u0113\u0102\u00B0.\u0114\u0108\u00A7.\u0115\u0109\u00B0.\u0116\u0104\u00A7.\u0117\u0105\u00B0.\u0118\u00C1\u00A7.\u0119\u00C3\u00A8.\u011A\u010A\u00A7.\u011B\u010B\u00A8.\u011C\u00C5\u00A7.\u011D\u00C6\u00A8.\u011E\u010C\u010D-\u011F\u010E\u010F-\u0120\u0110\u0111-\u0121\u0112\u0113-\u0122\u0114\u0115-\u0123\u0116\u0117-\u0124\u0118\u0119-\u0125\u011A\u011B-\u0126\u011C\u011D-\u0127\u011F\u0120,\u0128\u0122\u0123,\u0129\u0125\u0126,\u012A\u011E\u0127+\u012B\u0121\u0128+\u012C\u0124\u0129+\u012D\u012A\u012B)\u012D\u012C("; +export declare const minimalBddString = "14a1b,c+d2e5f0g/h.i4j*k-l)m(n6oeh6pnm6qen6ril6snh6tin6ubo9vce9wmh9xns9yne9zmi9{cm9|ad9}cp9~aq9ae9\u00A1bf9\u00A2bq9\u00A3cg9\u00A4ck9\u00A5cn9\u00A6nd9\u00A7np9\u00A8nq9\u00A9nf9\u00AAng9\u00ABnm9\u00ACnk9\u00ADmr9\u00AEms9\u00AFmt9\u00B0mj9\u00B1mk9\u00B2ml9\u00B3mn9\u00B4mc8\u00B5\u00B3{8\u00B6\u00AF}8\u00B7\u00B0\u00A48\u00B8\u00B3\u00A78\u00B9mn8\u00BA\u00B3\u00AB8\u00BB\u00B3m8\u00BCm\u00B44\u00BDz\u00B24\u00BE\u00B3w4\u00BFz\u00B54\u00C0\u00AF\u00B64\u00C1\u00B0\u00B74\u00C2\u00B3\u00BA4\u00C3\u00B3\u00B84\u00C4m\u00B94\u00C5v\u00A47\u00C6yn7\u00C7\u00C0\u00C17\u00C8~7\u00C9\u00A5\u00A47\u00CA\u00C3\u00C47\u00CB\u00A8n7\u00CC\u00BA\u00B97\u00CD\u00AD\u00B07\u00CE\u00AEm7\u00CF\u00AF\u00B07\u00D0\u00B1m7\u00D1\u00B3m7\u00D2\u00BCm5\u00D3\u00C4m5\u00D4\u00B9m5\u00D5\u00BD\u00B05\u00D6\u00BEm5\u00D7\u00BF\u00B05\u00D8\u00C7\u00CF5\u00D9\u00C2m5\u00DA\u00CA\u00D15\u00DB\u00B1m5\u00DC\u00BAm5\u00DD\u00CC\u00D15\u00DE\u00D5\u00CD2\u00DF|2\u00E0\u00A1u2\u00E1\u00A3\u00C52\u00E2\u00D6\u00CE2\u00E3\u00A6\u00C62\u00E4\u00A9x2\u00E5\u00AA\u00C62\u00E6\u00D7\u00D82\u00E7|\u00C82\u00E8\u00A1\u00A22\u00E9\u00A3\u00C92\u00EA\u00A4\u00A52\u00EB\u00D9\u00DA2\u00EC\u00A6\u00CB2\u00ED\u00A9n2\u00EE\u00AAn2\u00EF\u00DB\u00D02\u00F0\u00DC\u00DD2\u00F1\u00ACn2\u00F2\u00D2\u00D3/\u00F3an/\u00F4bn/\u00F5cn/\u00F6\u00DE\u00E2/\u00F7\u00DF\u00E3/\u00F8\u00E0\u00E4/\u00F9\u00E1\u00E5/\u00FA\u00E6\u00EB/\u00FB\u00E7\u00EC/\u00FC\u00E8\u00ED/\u00FD\u00E9\u00EE/\u00FE\u00CD\u00CE/\u00FF\u00CF\u00D1/\u0100\u00F2\u00D4,\u0101cn,\u0102\u00F6\u00EF,\u0103\u00A4\u00F1,\u0104\u00FA\u00F0,\u0105\u00EA\u00F1,\u0106\u00FE\u00D0,\u0107\u00FF\u00D1,\u0108ac0\u0109bc0\u010A\u00F3\u00F50\u010B\u00F4\u01010\u010C\u00DF\u00E10\u010D\u00E0\u00A40\u010E\u00E7\u00E90\u010F\u00E8\u00EA0\u0110\u00F7\u00F90\u0111\u00F8\u01030\u0112\u00FB\u00FD0\u0113\u00FC\u01050\u0114m\u00D2-\u0115m\u0100-\u0116\u00DE\u00E6-\u0117\u010C\u010E-\u0118\u010D\u010F-\u0119\u0102\u0104-\u011A\u0110\u0112-\u011B\u0111\u0113-\u011C\u00B2\u00BB-\u011D\u00CD\u00CF-\u011E\u0106\u0107-\u011F\u00B2\u00B3-\u0120\u0114\u01083\u0121\u0115\u010A3\u0122\u0116\u01173\u0123\u0119\u011A3\u0124\u0122\u011D(\u0125\u011C\u011F(\u0126\u0123\u011E(\u0127\u0120\u0121+\u0128\u0109\u010B+\u0129\u0124\u0126+\u012A\u0118\u011B+\u012B\u0127\u01281\u012C\u0129\u012A1\u012D\u012C\u012B*\u012E\u0125m*\u012D\u012E."; export declare function getSimpleBdd(): SimpleBdd; export declare const resolveInput: (input: StateResolveFunctionInput) => number; diff --git a/javascript/dist/cjs/src/bdd/bdd.generated.js b/javascript/dist/cjs/src/bdd/bdd.generated.js index 6f11d57c..c0fe2ca8 100644 --- a/javascript/dist/cjs/src/bdd/bdd.generated.js +++ b/javascript/dist/cjs/src/bdd/bdd.generated.js @@ -3,7 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true }); exports.resolveInput = exports.getSimpleBdd = exports.minimalBddString = void 0; const binary_decision_diagram_1 = require("binary-decision-diagram"); const index_js_1 = require("../states/index.js"); -exports.minimalBddString = '14a1b,c+d2e5f0g/h.i4j*k-l)m(n6obh9pce9qnh9rad9scm9tae9uan9vbf9wbe9xbn9ycg9zck9{cn9|nd9}ne9~nf9ng9¡nm9¢nk9£mh9¤mi9¥mj9¦mk9§ml9¨mn9©mc8ª¤{8«¥z8¬¨s8­¨n8®mn8¯¨¡8°¨m8±pz7²ª«7³{z7´­®7µ}n7¶¤¥7·¨m7¸wo6¹µ}6ºnq6»²¬6¼tu6½wx6¾´¯6¿µn6À®¯6Á¶§6·£6ö¨6Ä·¨6Åm¦6Æm¨6Ǥ¥5Ȩm5Ém©4Êm®4Ëǧ4ÌÈ£4ÍǬ4Îû4Ïȯ4Ðľ4Ñm¦4Òm¯4ÓÆÀ4Ôma3Õmn3ÖÉa3×Ên3ØËr3ÙÁt3ÚÌ|3Û¹3ÜÍr3Ýμ3ÞÏ|3ßп3àØÙ2áv¸2ây±2ãÚÛ2ä~º2åµ2æÜÝ2çv½2èy³2éz{2êÞß2ë~n2ìn2íÑÅ2îÒÓ2ï¢n2ðÔb1ñÕn1òÖb1ó×n1ôàá1õâz1öãä1÷æç1øèé1ùêë1úðc0ûñn0üòc0ýón0þmn0ÿÊn0Āôõ0āöå0Ă÷ø0ăùì0Ąíï0ąîï0Ćúû/ćüý/ĈĀā/ĉĂă/ĊÁÂ/ċÃÄ/Čúm.čüm.ĎĆm.ďćm.Đþm.đÿm.ĒĀ§.ēĂ°.ĔĈ§.ĕĉ°.ĖĄ§.ėą°.ĘÁ§.ęè.ĚĊ§.ěċ¨.Ĝŧ.ĝƨ.ĞČč-ğĎď-ĠĐđ-ġĒē-ĢĔĕ-ģĖė-ĤĘę-ĥĚě-ĦĜĝ-ħğĠ,ĨĢģ,ĩĥĦ,ĪĞħ+īġĨ+ĬĤĩ+ĭĪī)ĭĬ('; +exports.minimalBddString = '14a1b,c+d2e5f0g/h.i4j*k-l)m(n6oeh6pnm6qen6ril6snh6tin6ubo9vce9wmh9xns9yne9zmi9{cm9|ad9}cp9~aq9ae9¡bf9¢bq9£cg9¤ck9¥cn9¦nd9§np9¨nq9©nf9ªng9«nm9¬nk9­mr9®ms9¯mt9°mj9±mk9²ml9³mn9´mc8µ³{8¶¯}8·°¤8¸³§8¹mn8º³«8»³m8¼m´4½z²4¾³w4¿zµ4À¯¶4Á°·4³º4ó¸4Äm¹4Åv¤7Æyn7ÇÀÁ7È~7É¥¤7ÊÃÄ7˨n7̺¹7Í­°7ήm7ϯ°7бm7ѳm7Ò¼m5ÓÄm5Ô¹m5Õ½°5Ö¾m5׿°5ØÇÏ5ÙÂm5ÚÊÑ5Û±m5ܺm5ÝÌÑ5ÞÕÍ2ß|2à¡u2á£Å2âÖÎ2ã¦Æ2ä©x2åªÆ2æ×Ø2ç|È2è¡¢2é£É2ꤥ2ëÙÚ2ì¦Ë2í©n2îªn2ïÛÐ2ðÜÝ2ñ¬n2òÒÓ/óan/ôbn/õcn/öÞâ/÷ßã/øàä/ùáå/úæë/ûçì/üèí/ýéî/þÍÎ/ÿÏÑ/ĀòÔ,ācn,Ăöï,ă¤ñ,Ąúð,ąêñ,ĆþÐ,ćÿÑ,Ĉac0ĉbc0Ċóõ0ċôā0Čßá0čà¤0Ďçé0ďèê0Đ÷ù0đøă0Ēûý0ēüą0ĔmÒ-ĕmĀ-ĖÞæ-ėČĎ-Ęčď-ęĂĄ-ĚĐĒ-ěđē-Ĝ²»-ĝÍÏ-ĞĆć-ğ²³-ĠĔĈ3ġĕĊ3ĢĖė3ģęĚ3ĤĢĝ(ĥĜğ(ĦģĞ(ħĠġ+Ĩĉċ+ĩĤĦ+ĪĘě+īħĨ1ĬĩĪ1ĭĬī*Įĥm*ĭĮ.'; let simpleBdd; function getSimpleBdd() { if (!simpleBdd) { diff --git a/javascript/dist/cjs/src/bdd/bdd.generated.js.map b/javascript/dist/cjs/src/bdd/bdd.generated.js.map index 2e75c262..0f4372ec 100644 --- a/javascript/dist/cjs/src/bdd/bdd.generated.js.map +++ b/javascript/dist/cjs/src/bdd/bdd.generated.js.map @@ -1 +1 @@ -{"version":3,"file":"bdd.generated.js","sourceRoot":"","sources":["../../../../src/bdd/bdd.generated.ts"],"names":[],"mappings":";;;AAAA,qEAIiC;AAGjC,iDAAiE;AAEpD,QAAA,gBAAgB,GAAG,2pBAA2pB,CAAC;AAE5rB,IAAI,SAAgC,CAAC;AACrC,SAAgB,YAAY;IACxB,IAAI,CAAC,SAAS,EAAE;QACZ,SAAS,GAAG,IAAA,kDAAwB,EAAC,wBAAgB,CAAC,CAAC;KAC1D;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AALD,oCAKC;AAEM,MAAM,YAAY,GAAG,CAAC,KAAqC,EAAE,EAAE;IAClE,OAAO,IAAA,8CAAoB,EACvB,YAAY,EAAE,EACd,sCAA2B,EAC3B,KAAK,CACR,CAAC;AACN,CAAC,CAAC;AANW,QAAA,YAAY,gBAMvB"} \ No newline at end of file +{"version":3,"file":"bdd.generated.js","sourceRoot":"","sources":["../../../../src/bdd/bdd.generated.ts"],"names":[],"mappings":";;;AAAA,qEAIiC;AAEjC,iDAAiE;AAEpD,QAAA,gBAAgB,GAAG,+pBAA+pB,CAAC;AAEhsB,IAAI,SAAgC,CAAC;AACrC,SAAgB,YAAY;IACxB,IAAI,CAAC,SAAS,EAAE;QACZ,SAAS,GAAG,IAAA,kDAAwB,EAAC,wBAAgB,CAAC,CAAC;KAC1D;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AALD,oCAKC;AAEM,MAAM,YAAY,GAAG,CAAC,KAAqC,EAAE,EAAE;IAClE,OAAO,IAAA,8CAAoB,EACvB,YAAY,EAAE,EACd,sCAA2B,EAC3B,KAAK,CACR,CAAC;AACN,CAAC,CAAC;AANW,QAAA,YAAY,gBAMvB"} \ No newline at end of file diff --git a/javascript/dist/cjs/src/bdd/bdd.template.js.map b/javascript/dist/cjs/src/bdd/bdd.template.js.map index 6f007ff8..69d7c614 100644 --- a/javascript/dist/cjs/src/bdd/bdd.template.js.map +++ b/javascript/dist/cjs/src/bdd/bdd.template.js.map @@ -1 +1 @@ -{"version":3,"file":"bdd.template.js","sourceRoot":"","sources":["../../../../src/bdd/bdd.template.ts"],"names":[],"mappings":";;;AAAA,qEAIiC;AAGjC,iDAAiE;AAEpD,QAAA,gBAAgB,GAAG,qBAAqB,CAAC;AAEtD,IAAI,SAAgC,CAAC;AACrC,SAAgB,YAAY;IACxB,IAAI,CAAC,SAAS,EAAE;QACZ,SAAS,GAAG,IAAA,kDAAwB,EAAC,wBAAgB,CAAC,CAAC;KAC1D;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AALD,oCAKC;AAEM,MAAM,YAAY,GAAG,CAAC,KAAqC,EAAE,EAAE;IAClE,OAAO,IAAA,8CAAoB,EACvB,YAAY,EAAE,EACd,sCAA2B,EAC3B,KAAK,CACR,CAAC;AACN,CAAC,CAAC;AANW,QAAA,YAAY,gBAMvB"} \ No newline at end of file +{"version":3,"file":"bdd.template.js","sourceRoot":"","sources":["../../../../src/bdd/bdd.template.ts"],"names":[],"mappings":";;;AAAA,qEAIiC;AAEjC,iDAAiE;AAEpD,QAAA,gBAAgB,GAAG,qBAAqB,CAAC;AAEtD,IAAI,SAAgC,CAAC;AACrC,SAAgB,YAAY;IACxB,IAAI,CAAC,SAAS,EAAE;QACZ,SAAS,GAAG,IAAA,kDAAwB,EAAC,wBAAgB,CAAC,CAAC;KAC1D;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AALD,oCAKC;AAEM,MAAM,YAAY,GAAG,CAAC,KAAqC,EAAE,EAAE;IAClE,OAAO,IAAA,8CAAoB,EACvB,YAAY,EAAE,EACd,sCAA2B,EAC3B,KAAK,CACR,CAAC;AACN,CAAC,CAAC;AANW,QAAA,YAAY,gBAMvB"} \ No newline at end of file diff --git a/javascript/dist/cjs/src/bdd/write-bdd-template.d.ts b/javascript/dist/cjs/src/bdd/write-bdd-template.d.ts index 42a1d53d..62fb3260 100644 --- a/javascript/dist/cjs/src/bdd/write-bdd-template.d.ts +++ b/javascript/dist/cjs/src/bdd/write-bdd-template.d.ts @@ -1,3 +1,5 @@ +import { PerformanceMeasurement } from '../truth-table-generator/calculate-bdd-quality.js'; export declare const BDD_TEMPLATE_LOCATION: string; +export declare const BDD_OPTIMIZE_STATE_LOCATION: string; export declare const BDD_TEMPLATE_GOAL: string; -export declare function writeBddTemplate(minimalBddString: string): void; +export declare function writeBddTemplate(minimalBddString: string, performanceMeasurement: PerformanceMeasurement, quality: number): void; diff --git a/javascript/dist/cjs/src/bdd/write-bdd-template.js b/javascript/dist/cjs/src/bdd/write-bdd-template.js index 792a439c..755d9085 100644 --- a/javascript/dist/cjs/src/bdd/write-bdd-template.js +++ b/javascript/dist/cjs/src/bdd/write-bdd-template.js @@ -26,12 +26,13 @@ var __importDefault = (this && this.__importDefault) || function (mod) { return (mod && mod.__esModule) ? mod : { "default": mod }; }; Object.defineProperty(exports, "__esModule", { value: true }); -exports.writeBddTemplate = exports.BDD_TEMPLATE_GOAL = exports.BDD_TEMPLATE_LOCATION = void 0; +exports.writeBddTemplate = exports.BDD_TEMPLATE_GOAL = exports.BDD_OPTIMIZE_STATE_LOCATION = exports.BDD_TEMPLATE_LOCATION = void 0; const fs = __importStar(require("fs")); const path_1 = __importDefault(require("path")); exports.BDD_TEMPLATE_LOCATION = path_1.default.join(__dirname, './bdd.template.ts'); +exports.BDD_OPTIMIZE_STATE_LOCATION = path_1.default.join(__dirname, './bdd.optimize.state.json'); exports.BDD_TEMPLATE_GOAL = path_1.default.join(__dirname, './bdd.generated.ts'); -function writeBddTemplate(minimalBddString) { +function writeBddTemplate(minimalBddString, performanceMeasurement, quality) { let templateString = fs.readFileSync(exports.BDD_TEMPLATE_LOCATION, 'utf-8'); const replaceVariables = { minimalBddString: '\'' + minimalBddString + '\'', @@ -41,6 +42,11 @@ function writeBddTemplate(minimalBddString) { const templateVar = '\'${' + key + '}\''; templateString = templateString.replace(templateVar, contentString); }); + fs.writeFileSync(exports.BDD_OPTIMIZE_STATE_LOCATION, JSON.stringify({ + performanceMeasurement, + minimalBddString, + quality + }, null, 4), { encoding: 'utf8', flag: 'w' }); fs.writeFileSync(exports.BDD_TEMPLATE_GOAL, templateString, { encoding: 'utf8', flag: 'w' }); } exports.writeBddTemplate = writeBddTemplate; diff --git a/javascript/dist/cjs/src/bdd/write-bdd-template.js.map b/javascript/dist/cjs/src/bdd/write-bdd-template.js.map index d455e61b..c98bf06f 100644 --- a/javascript/dist/cjs/src/bdd/write-bdd-template.js.map +++ b/javascript/dist/cjs/src/bdd/write-bdd-template.js.map @@ -1 +1 @@ -{"version":3,"file":"write-bdd-template.js","sourceRoot":"","sources":["../../../../src/bdd/write-bdd-template.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,uCAAyB;AACzB,gDAAwB;AAEX,QAAA,qBAAqB,GAAG,cAAI,CAAC,IAAI,CAC1C,SAAS,EACT,mBAAmB,CACtB,CAAC;AACW,QAAA,iBAAiB,GAAG,cAAI,CAAC,IAAI,CACtC,SAAS,EACT,oBAAoB,CACvB,CAAC;AAEF,SAAgB,gBAAgB,CAC5B,gBAAwB;IAExB,IAAI,cAAc,GAAW,EAAE,CAAC,YAAY,CAAC,6BAAqB,EAAE,OAAO,CAAC,CAAC;IAC7E,MAAM,gBAAgB,GAAG;QACrB,gBAAgB,EAAE,IAAI,GAAG,gBAAgB,GAAG,IAAI;KACnD,CAAC;IAEF,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;QACxD,MAAM,aAAa,GAAG,OAAiB,CAAC;QACxC,MAAM,WAAW,GAAG,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC;QACzC,cAAc,GAAG,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,CACZ,yBAAiB,EACjB,cAAc,EACd,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAClC,CAAC;AACN,CAAC;AAnBD,4CAmBC"} \ No newline at end of file +{"version":3,"file":"write-bdd-template.js","sourceRoot":"","sources":["../../../../src/bdd/write-bdd-template.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,uCAAyB;AACzB,gDAAwB;AAKX,QAAA,qBAAqB,GAAG,cAAI,CAAC,IAAI,CAC1C,SAAS,EACT,mBAAmB,CACtB,CAAC;AACW,QAAA,2BAA2B,GAAG,cAAI,CAAC,IAAI,CAChD,SAAS,EACT,2BAA2B,CAC9B,CAAC;AACW,QAAA,iBAAiB,GAAG,cAAI,CAAC,IAAI,CACtC,SAAS,EACT,oBAAoB,CACvB,CAAC;AAEF,SAAgB,gBAAgB,CAC5B,gBAAwB,EACxB,sBAA8C,EAC9C,OAAe;IAEf,IAAI,cAAc,GAAW,EAAE,CAAC,YAAY,CAAC,6BAAqB,EAAE,OAAO,CAAC,CAAC;IAC7E,MAAM,gBAAgB,GAAG;QACrB,gBAAgB,EAAE,IAAI,GAAG,gBAAgB,GAAG,IAAI;KACnD,CAAC;IAEF,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;QACxD,MAAM,aAAa,GAAG,OAAiB,CAAC;QACxC,MAAM,WAAW,GAAG,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC;QACzC,cAAc,GAAG,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,CACZ,mCAA2B,EAC3B,IAAI,CAAC,SAAS,CAAC;QACX,sBAAsB;QACtB,gBAAgB;QAChB,OAAO;KACV,EAAE,IAAI,EAAE,CAAC,CAAC,EACX,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAClC,CAAC;IAGF,EAAE,CAAC,aAAa,CACZ,yBAAiB,EACjB,cAAc,EACd,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAClC,CAAC;AACN,CAAC;AAhCD,4CAgCC"} \ No newline at end of file diff --git a/javascript/dist/cjs/src/truth-table-generator/calculate-bdd-quality.js b/javascript/dist/cjs/src/truth-table-generator/calculate-bdd-quality.js index 5295e8f7..47e5a15e 100644 --- a/javascript/dist/cjs/src/truth-table-generator/calculate-bdd-quality.js +++ b/javascript/dist/cjs/src/truth-table-generator/calculate-bdd-quality.js @@ -94,6 +94,10 @@ async function measurePerformanceOfStateFunctions(rounds = 1000) { const diff = endTime - startTime; ret[stateName] = ret[stateName] + diff; } + if (remainingRounds % 10 === 0) { + // console.log('.. ' + remainingRounds); + await (0, async_test_util_1.wait)(50); + } } // calculate average index_js_1.orderedStateList.forEach(k => ret[k] = (ret[k] / rounds)); diff --git a/javascript/dist/cjs/src/truth-table-generator/calculate-bdd-quality.js.map b/javascript/dist/cjs/src/truth-table-generator/calculate-bdd-quality.js.map index 48c4eb7c..3f44d4b8 100644 --- a/javascript/dist/cjs/src/truth-table-generator/calculate-bdd-quality.js.map +++ b/javascript/dist/cjs/src/truth-table-generator/calculate-bdd-quality.js.map @@ -1 +1 @@ -{"version":3,"file":"calculate-bdd-quality.js","sourceRoot":"","sources":["../../../../src/truth-table-generator/calculate-bdd-quality.ts"],"names":[],"mappings":";;;AAAA,qEAIiC;AACjC,qDAEyB;AAUzB,iDAG4B;AAC5B,2DAAiE;AAEjE,wCAAqD;AACrD,kDAA6D;AAC7D,kDAAuD;AAOvD,qBAAqB;AACrB,8BAA8B;AAC9B,MAAM,SAAS,GAAe;IAC1B,QAAQ,EAAE;QACN,MAAM,EAAE,GAAG;QACX,GAAG,EAAE;YACD,GAAG,EAAE,EAAE;YACP,GAAG,EAAE,EAAE;SACV;KACJ;IACD,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,EAAE;IACT,IAAI,EAAE;QACF,MAAM;QACN,KAAK;QACL,KAAK;KACR;CACJ,CAAC;AAEF;;GAEG;AACI,KAAK,UAAU,kCAAkC,CACpD,SAAiB,IAAI;IAErB,MAAM,GAAG,GAA2B,EAAS,CAAC;IAC9C,2BAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAE1C,MAAM,UAAU,GAAG,IAAA,iCAAsB,GAAE,CAAC;IAC5C,MAAM,OAAO,CAAC,GAAG,CACb,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,IAAA,+BAAW,GAAE,CAAC,CAAC,CACrE,CAAC;IAEF,MAAM,eAAe,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAE1D,MAAM,cAAc,GAAgC,IAAI,GAAG,EAAE,CAAC;IAC9D,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE3D,MAAM,MAAM,GAAG,IAAA,+BAAW,GAAE,CAAC;IAC7B,MAAM,WAAW,GAAG,UAAU,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IAEzD,MAAM,gBAAgB,GAAqC;QACvD,WAAW;QACX,WAAW,EAAE;YACT,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,MAAM;YACX,EAAE,EAAE,MAAM,CAAC,GAAG;YACd,QAAQ,EAAE,IAAI;SACjB;QACD,eAAe;QACf,cAAc;KACjB,CAAC;IAEF,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE;QACrB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;KACjD;IACD,MAAM,UAAU,GAAG,IAAA,mBAAS,EAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,UAAU,CAAC,GAAG,GAAG,iCAAa,CAAC;IAC/B,UAAU,CAAC,IAAI,GAAG,OAAO,CAAC;IAC1B,MAAM,gBAAgB,GAAqC;QACvD,WAAW;QACX,WAAW,EAAE;YACT,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,UAAU;YACf,EAAE,EAAE,UAAU,CAAC,GAAG;YAClB,QAAQ,EAAE,IAAA,mBAAS,EAAC,eAAe,CAAC,CAAC,CAAC,CAAC;SAC1C;QACD,eAAe;QACf,cAAc;KAEjB,CAAC;IAEF,MAAM,gBAAgB,GAAqC;QACvD,WAAW;QACX,WAAW,EAAE;YACT,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,IAAI;YACT,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG;YAC1B,QAAQ,EAAE,IAAA,mBAAS,EAAC,eAAe,CAAC,CAAC,CAAC,CAAC;SAC1C;QACD,eAAe;QACf,cAAc;KAEjB,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAErB,IAAI,eAAe,GAAG,MAAM,CAAC;IAC7B,OAAO,eAAe,GAAG,CAAC,EAAE;QACxB,eAAe,EAAE,CAAC;QAElB,sCAAsC;QACtC,MAAM,iBAAiB,GAAG,IAAA,sBAAY,EAAC,2BAAgB,CAAC,CAAC;QAEzD,KAAK,MAAM,SAAS,IAAI,iBAAiB,EAAE;YACvC,MAAM,OAAO,GAAG,gCAAqB,CAAC,SAAS,CAAC,CAAC;YACjD,MAAM,SAAS,GAAG,IAAA,gCAAc,GAAE,CAAC;YACnC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,MAAM,OAAO,GAAG,IAAA,gCAAc,GAAE,CAAC;YACjC,MAAM,IAAI,GAAG,OAAO,GAAG,SAAS,CAAC;YACjC,GAAG,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;SAC1C;KACJ;IAED,oBAAoB;IACpB,2BAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAE1D,OAAO,GAAG,CAAC;AACf,CAAC;AAvFD,gFAuFC;AAGD;;;;;;;GAOG;AACI,KAAK,UAAU,YAAY,CAC9B,CAAW,EACX,CAAW,EACX,eAAuC,EACvC,OAAqB,EACrB,UAAuB;IAEvB,MAAM,EAAE,GAAG,MAAM,eAAe,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1E,MAAM,EAAE,GAAG,MAAM,eAAe,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1E,IAAI,EAAE,GAAG,EAAE,EAAE;QACT,OAAO,CAAC,CAAC;KACZ;SAAM;QACH,OAAO,CAAC,CAAC;KACZ;AACL,CAAC;AAdD,oCAcC;AAOD,MAAM,gBAAgB,GAAG,IAAA,iCAAsB,GAAE,CAAC;AAElD,SAAgB,mBAAmB,CAC/B,GAAa,EACb,OAAqB,EACrB,UAAuB;IAEvB,MAAM,GAAG,GAAuB,EAAS,CAAC;IAC1C,2BAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IAE1D,MAAM,iBAAiB,GAAsB,EAAE,CAAC;IAChD,2BAAgB,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAC1C,MAAM,EAAE,GAAG,gCAAqB,CAAC,SAAS,CAAC,CAAC;QAC5C,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAmC,EAAE,EAAE;YAC/D,GAAG,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YACpC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,MAAM,kBAAkB,GAAwC,IAAI,GAAG,EAAE,CAAC;IAC1E,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QACpB,kBAAkB,CAAC,GAAG,CAClB,KAAK,EACL,gBAAgB,CAAC,cAAc,CAAC,KAAK,CAAC,CACzC,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;QAChC,MAAM,UAAU,GAAG,IAAA,iCAAsB,GAAE,CAAC;QAC5C,KAAK,MAAM,WAAW,IAAI,SAAS,EAAE;YAEjC,uBAAuB;YACvB,MAAM,aAAa,GAA6B,IAAI,GAAG,EAAE,CAAC;YAE1D,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBACpB,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACpC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAClC,CAAC,CAAC,CAAC;YAEH,IAAA,2BAAgB,EACZ,UAAU,EACV,WAAW,CACd,CAAC;YAEF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;gBACzB,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAuB,CAAC;gBACnE,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAY,CAAC;gBAC5D,MAAM,KAAK,GAA+B;oBACtC,WAAW;oBACX,eAAe;oBACf,WAAW,EAAE,MAAM;iBACtB,CAAC;gBAEF,MAAM,aAAa,GAAG,IAAA,8CAAoB,EACtC,GAAG,CAAC,WAAW,EAAE,EACjB,iBAAiB,EACjB,KAAK,CACR,CAAC;aACL;SACJ;KACJ;IAED,OAAO,GAAG,CAAC;AACf,CAAC;AA7DD,kDA6DC;AAED;;;GAGG;AACU,QAAA,oBAAoB,GAA8B,IAAI,OAAO,EAAE,CAAC;AAC7E,SAAgB,eAAe,CAC3B,GAAa,EACb,eAAuC,EACvC,OAAqB,EACrB,UAAuB;IAEvB,IAAI,CAAC,4BAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QAChC,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACjE,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;YACvC,MAAM,SAAS,GAAc,KAAK,CAAC,CAAC,CAAc,CAAC;YACnD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;YAC5B,SAAS,GAAG,SAAS,GAAG,KAAK,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;QACjC,4BAAoB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;KAC1C;IACD,OAAO,4BAAoB,CAAC,GAAG,CAAC,GAAG,CAAW,CAAC;AACnD,CAAC;AArBD,0CAqBC"} \ No newline at end of file +{"version":3,"file":"calculate-bdd-quality.js","sourceRoot":"","sources":["../../../../src/truth-table-generator/calculate-bdd-quality.ts"],"names":[],"mappings":";;;AAAA,qEAIiC;AACjC,qDAEyB;AAUzB,iDAG4B;AAC5B,2DAAiE;AAEjE,wCAAqD;AACrD,kDAA6D;AAC7D,kDAAuD;AAOvD,qBAAqB;AACrB,8BAA8B;AAC9B,MAAM,SAAS,GAAe;IAC1B,QAAQ,EAAE;QACN,MAAM,EAAE,GAAG;QACX,GAAG,EAAE;YACD,GAAG,EAAE,EAAE;YACP,GAAG,EAAE,EAAE;SACV;KACJ;IACD,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,EAAE;IACT,IAAI,EAAE;QACF,MAAM;QACN,KAAK;QACL,KAAK;KACR;CACJ,CAAC;AAEF;;GAEG;AACI,KAAK,UAAU,kCAAkC,CACpD,SAAiB,IAAI;IAErB,MAAM,GAAG,GAA2B,EAAS,CAAC;IAC9C,2BAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAE1C,MAAM,UAAU,GAAG,IAAA,iCAAsB,GAAE,CAAC;IAC5C,MAAM,OAAO,CAAC,GAAG,CACb,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,IAAA,+BAAW,GAAE,CAAC,CAAC,CACrE,CAAC;IAEF,MAAM,eAAe,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAE1D,MAAM,cAAc,GAAgC,IAAI,GAAG,EAAE,CAAC;IAC9D,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE3D,MAAM,MAAM,GAAG,IAAA,+BAAW,GAAE,CAAC;IAC7B,MAAM,WAAW,GAAG,UAAU,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IAEzD,MAAM,gBAAgB,GAAqC;QACvD,WAAW;QACX,WAAW,EAAE;YACT,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,MAAM;YACX,EAAE,EAAE,MAAM,CAAC,GAAG;YACd,QAAQ,EAAE,IAAI;SACjB;QACD,eAAe;QACf,cAAc;KACjB,CAAC;IAEF,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE;QACrB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;KACjD;IACD,MAAM,UAAU,GAAG,IAAA,mBAAS,EAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,UAAU,CAAC,GAAG,GAAG,iCAAa,CAAC;IAC/B,UAAU,CAAC,IAAI,GAAG,OAAO,CAAC;IAC1B,MAAM,gBAAgB,GAAqC;QACvD,WAAW;QACX,WAAW,EAAE;YACT,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,UAAU;YACf,EAAE,EAAE,UAAU,CAAC,GAAG;YAClB,QAAQ,EAAE,IAAA,mBAAS,EAAC,eAAe,CAAC,CAAC,CAAC,CAAC;SAC1C;QACD,eAAe;QACf,cAAc;KAEjB,CAAC;IAEF,MAAM,gBAAgB,GAAqC;QACvD,WAAW;QACX,WAAW,EAAE;YACT,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,IAAI;YACT,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG;YAC1B,QAAQ,EAAE,IAAA,mBAAS,EAAC,eAAe,CAAC,CAAC,CAAC,CAAC;SAC1C;QACD,eAAe;QACf,cAAc;KAEjB,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAErB,IAAI,eAAe,GAAG,MAAM,CAAC;IAC7B,OAAO,eAAe,GAAG,CAAC,EAAE;QACxB,eAAe,EAAE,CAAC;QAElB,sCAAsC;QACtC,MAAM,iBAAiB,GAAG,IAAA,sBAAY,EAAC,2BAAgB,CAAC,CAAC;QAEzD,KAAK,MAAM,SAAS,IAAI,iBAAiB,EAAE;YACvC,MAAM,OAAO,GAAG,gCAAqB,CAAC,SAAS,CAAC,CAAC;YACjD,MAAM,SAAS,GAAG,IAAA,gCAAc,GAAE,CAAC;YACnC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,MAAM,OAAO,GAAG,IAAA,gCAAc,GAAE,CAAC;YACjC,MAAM,IAAI,GAAG,OAAO,GAAG,SAAS,CAAC;YACjC,GAAG,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;SAC1C;QAED,IAAI,eAAe,GAAG,EAAE,KAAK,CAAC,EAAE;YAC5B,wCAAwC;YACxC,MAAM,IAAA,sBAAI,EAAC,EAAE,CAAC,CAAC;SAClB;KACJ;IAED,oBAAoB;IACpB,2BAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAC1D,OAAO,GAAG,CAAC;AACf,CAAC;AA3FD,gFA2FC;AAGD;;;;;;;GAOG;AACI,KAAK,UAAU,YAAY,CAC9B,CAAW,EACX,CAAW,EACX,eAAuC,EACvC,OAAqB,EACrB,UAAuB;IAEvB,MAAM,EAAE,GAAG,MAAM,eAAe,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1E,MAAM,EAAE,GAAG,MAAM,eAAe,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1E,IAAI,EAAE,GAAG,EAAE,EAAE;QACT,OAAO,CAAC,CAAC;KACZ;SAAM;QACH,OAAO,CAAC,CAAC;KACZ;AACL,CAAC;AAdD,oCAcC;AASD,MAAM,gBAAgB,GAAG,IAAA,iCAAsB,GAAE,CAAC;AAElD,SAAgB,mBAAmB,CAC/B,GAAa,EACb,OAAqB,EACrB,UAAuB;IAEvB,MAAM,GAAG,GAAuB,EAAS,CAAC;IAC1C,2BAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IAE1D,MAAM,iBAAiB,GAAsB,EAAE,CAAC;IAChD,2BAAgB,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAC1C,MAAM,EAAE,GAAG,gCAAqB,CAAC,SAAS,CAAC,CAAC;QAC5C,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAmC,EAAE,EAAE;YAC/D,GAAG,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YACpC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,MAAM,kBAAkB,GAAwC,IAAI,GAAG,EAAE,CAAC;IAC1E,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QACpB,kBAAkB,CAAC,GAAG,CAClB,KAAK,EACL,gBAAgB,CAAC,cAAc,CAAC,KAAK,CAAC,CACzC,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;QAChC,MAAM,UAAU,GAAG,IAAA,iCAAsB,GAAE,CAAC;QAC5C,KAAK,MAAM,WAAW,IAAI,SAAS,EAAE;YAEjC,uBAAuB;YACvB,MAAM,aAAa,GAA6B,IAAI,GAAG,EAAE,CAAC;YAE1D,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBACpB,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACpC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAClC,CAAC,CAAC,CAAC;YAEH,IAAA,2BAAgB,EACZ,UAAU,EACV,WAAW,CACd,CAAC;YAEF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;gBACzB,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAuB,CAAC;gBACnE,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAY,CAAC;gBAC5D,MAAM,KAAK,GAA+B;oBACtC,WAAW;oBACX,eAAe;oBACf,WAAW,EAAE,MAAM;iBACtB,CAAC;gBAEF,MAAM,aAAa,GAAG,IAAA,8CAAoB,EACtC,GAAG,CAAC,WAAW,EAAE,EACjB,iBAAiB,EACjB,KAAK,CACR,CAAC;aACL;SACJ;KACJ;IAED,OAAO,GAAG,CAAC;AACf,CAAC;AA7DD,kDA6DC;AAED;;;GAGG;AACU,QAAA,oBAAoB,GAA8B,IAAI,OAAO,EAAE,CAAC;AAC7E,SAAgB,eAAe,CAC3B,GAAa,EACb,eAAuC,EACvC,OAAqB,EACrB,UAAuB;IAEvB,IAAI,CAAC,4BAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QAChC,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACjE,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;YACvC,MAAM,SAAS,GAAc,KAAK,CAAC,CAAC,CAAc,CAAC;YACnD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;YAC5B,SAAS,GAAG,SAAS,GAAG,KAAK,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;QACjC,4BAAoB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;KAC1C;IACD,OAAO,4BAAoB,CAAC,GAAG,CAAC,GAAG,CAAW,CAAC;AACnD,CAAC;AArBD,0CAqBC"} \ No newline at end of file diff --git a/javascript/dist/cjs/src/truth-table-generator/index.js b/javascript/dist/cjs/src/truth-table-generator/index.js index bbdb9ba5..f4af74ea 100644 --- a/javascript/dist/cjs/src/truth-table-generator/index.js +++ b/javascript/dist/cjs/src/truth-table-generator/index.js @@ -105,13 +105,7 @@ function doesActionWork(input, resultAfter, actionName, log = false) { if (actionName === 'runFullQueryAgain') { return true; } - /* - console.log('--- '.repeat(100)); - console.dir(input); - console.dir(input.previousResults); - console.dir(resultAfter);*/ const calculatedResults = (0, index_js_1.runAction)(actionName, input.queryParams, input.changeEvent, input.previousResults.slice()); - // console.dir(calculatedResults); if ( // optimisation shortcut, this is faster because we know we have two arrays calculatedResults.length === resultAfter.length && diff --git a/javascript/dist/cjs/src/truth-table-generator/index.js.map b/javascript/dist/cjs/src/truth-table-generator/index.js.map index 9423cae7..420e1b22 100644 --- a/javascript/dist/cjs/src/truth-table-generator/index.js.map +++ b/javascript/dist/cjs/src/truth-table-generator/index.js.map @@ -1 +1 @@ -{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/truth-table-generator/index.ts"],"names":[],"mappings":";;;;;;AAAA,4DAAmC;AAanC,0CAAwC;AACxC,kDAAwD;AACxD,iDAAiD;AACjD,kDAA6D;AAC7D,kDAAuD;AASvD,SAAgB,kBAAkB,CAAC,EAC/B,OAAO,EACP,UAAU,EACV,KAAK,GAAG,IAAI,GAAG,EAAE,EACjB,GAAG,GAAG,KAAK,EACW;IAEtB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,OAAO,CAAC,IAAI,EAAE;QACV,IAAI,YAAY,GAAW,CAAC,CAAC;QAC7B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;YAChC,IAAI,GAAG,EAAE;gBACL,OAAO,CAAC,GAAG,CAAC,2CAA2C,GAAG,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;aAC3F;YACD,MAAM,OAAO,GAAG,0BAA0B,CACtC,KAAK,EACL,OAAO,EACP,SAAS,EACT,GAAG,CACN,CAAC;YACF,YAAY,GAAG,YAAY,GAAG,OAAO,CAAC;SACzC;QACD,IAAI,YAAY,KAAK,CAAC,EAAE;YACpB,IAAI,GAAG,IAAI,CAAC;SACf;KACJ;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AA5BD,gDA4BC;AAGD,SAAgB,0BAA0B,CACtC,KAAK,GAAG,IAAI,GAAG,EAAE,EACjB,OAAqB,EACrB,SAAoB,EACpB,MAAe,KAAK;IAEpB,IAAI,GAAG,EAAE;QACL,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;KAC/C;IACD,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,MAAM,kBAAkB,GAAwC,IAAI,GAAG,EAAE,CAAC;IAE1E,MAAM,UAAU,GAAG,IAAA,iCAAsB,GAAE,CAAC;IAC5C,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACtB,kBAAkB,CAAC,GAAG,CAClB,KAAK,EACL,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,CACnC,CAAC;IACN,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAA6B,IAAI,GAAG,EAAE,CAAC;IAC1D,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACtB,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,WAAW,IAAI,SAAS,EAAE;QAEjC,IAAA,2BAAgB,EACZ,UAAU,EACV,WAAW,CACd,CAAC;QAEF,wCAAwC;QACxC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;YACzB,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAuB,CAAC;YACnE,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAY,CAAC;YACnD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,KAAK,GAA+B;gBACtC,WAAW;gBACX,eAAe,EAAE,MAAM,CAAC,KAAK,EAAE;gBAC/B,WAAW,EAAE,MAAM;aACtB,CAAC;YACF,MAAM,KAAK,GAAG,IAAA,sBAAW,EAAC,KAAK,CAAC,CAAC;YAGjC,IAAI,KAAK,KAAK,mBAAmB,EAAE;gBAC/B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,CAAC,IAAI,EAAE,CAAC;aAClB;YAED,IAAI,eAAe,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,CAAC,eAAe,EAAE;gBAClB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBACpB,eAAe,GAAG,CAAC,CAAC;aACvB;YAED,MAAM,WAAW,GAAG,oBAAoB,CACpC,KAAK,EACL,KAAK,EACL,eAAe,CAClB,CAAC;YAEF,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEhC,IAAI,WAAW,KAAK,eAAe,EAAE;gBACjC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;gBAC9B,YAAY,EAAE,CAAC;gBAEf,IAAI,GAAG,EAAE;oBACL,OAAO,CAAC,GAAG,CACP,gBAAgB,GAAG,KAAK,GAAG,UAAU;wBACrC,4BAAiB,CAAC,eAAe,CAAC;wBAClC,MAAM,GAAG,4BAAiB,CAAC,WAAW,CAAC,CAC1C,CAAC;iBACL;aACJ;SACJ;KACJ;IAED,OAAO,YAAY,CAAC;AACxB,CAAC;AAhFD,gEAgFC;AAED,SAAgB,oBAAoB,CAChC,KAAiC,EACjC,WAAoB,EACpB,mBAA2B,EAC3B,MAAe,KAAK;IAEpB,IAAI,CAAC,GAAG,mBAAmB,CAAC;IAC5B,OAAO,CAAC,IAAI,4BAAiB,CAAC,MAAM,EAAE;QAClC,MAAM,UAAU,GAAG,4BAAiB,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,cAAc,CAC3B,KAAK,EACL,WAAW,EACX,UAAU,EACV,GAAG,CACN,CAAC;QACF,+CAA+C;QAE/C,IAAI,QAAQ,EAAE;YACV,IAAI,UAAU,KAAK,aAAa,EAAE;gBAC9B,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;aACxD;YAED,OAAO,CAAC,CAAC;SACZ;QAED,CAAC,EAAE,CAAC;KACP;IACD,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;AAChD,CAAC;AA5BD,oDA4BC;AAGD;;;GAGG;AACH,SAAgB,cAAc,CAC1B,KAAiC,EACjC,WAAoB,EACpB,UAAsB,EACtB,MAAe,KAAK;IAEpB,IAAI,UAAU,KAAK,mBAAmB,EAAE;QACpC,OAAO,IAAI,CAAC;KACf;IAED;;;;+BAI2B;IAE3B,MAAM,iBAAiB,GAAG,IAAA,oBAAS,EAC/B,UAAU,EACV,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,eAAe,CAAC,KAAK,EAAE,CAChC,CAAC;IACF,kCAAkC;IAElC;IACI,2EAA2E;IAC3E,iBAAiB,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;QAC/C,IAAA,oBAAS,EACL,iBAAiB,EACjB,WAAW,CACd,EACH;QACE,OAAO,IAAI,CAAC;KACf;SAAM;QACH,OAAO,KAAK,CAAC;KAChB;AACL,CAAC;AApCD,wCAoCC"} \ No newline at end of file +{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/truth-table-generator/index.ts"],"names":[],"mappings":";;;;;;AAAA,4DAAmC;AAanC,0CAAwC;AACxC,kDAAwD;AACxD,iDAAiD;AACjD,kDAA6D;AAC7D,kDAAuD;AASvD,SAAgB,kBAAkB,CAAC,EAC/B,OAAO,EACP,UAAU,EACV,KAAK,GAAG,IAAI,GAAG,EAAE,EACjB,GAAG,GAAG,KAAK,EACW;IAEtB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,OAAO,CAAC,IAAI,EAAE;QACV,IAAI,YAAY,GAAW,CAAC,CAAC;QAC7B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;YAChC,IAAI,GAAG,EAAE;gBACL,OAAO,CAAC,GAAG,CAAC,2CAA2C,GAAG,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;aAC3F;YACD,MAAM,OAAO,GAAG,0BAA0B,CACtC,KAAK,EACL,OAAO,EACP,SAAS,EACT,GAAG,CACN,CAAC;YACF,YAAY,GAAG,YAAY,GAAG,OAAO,CAAC;SACzC;QACD,IAAI,YAAY,KAAK,CAAC,EAAE;YACpB,IAAI,GAAG,IAAI,CAAC;SACf;KACJ;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AA5BD,gDA4BC;AAGD,SAAgB,0BAA0B,CACtC,KAAK,GAAG,IAAI,GAAG,EAAE,EACjB,OAAqB,EACrB,SAAoB,EACpB,MAAe,KAAK;IAEpB,IAAI,GAAG,EAAE;QACL,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;KAC/C;IACD,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,MAAM,kBAAkB,GAAwC,IAAI,GAAG,EAAE,CAAC;IAE1E,MAAM,UAAU,GAAG,IAAA,iCAAsB,GAAE,CAAC;IAC5C,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACtB,kBAAkB,CAAC,GAAG,CAClB,KAAK,EACL,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,CACnC,CAAC;IACN,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAA6B,IAAI,GAAG,EAAE,CAAC;IAC1D,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACtB,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,WAAW,IAAI,SAAS,EAAE;QAEjC,IAAA,2BAAgB,EACZ,UAAU,EACV,WAAW,CACd,CAAC;QAEF,wCAAwC;QACxC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;YACzB,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAuB,CAAC;YACnE,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAY,CAAC;YACnD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,KAAK,GAA+B;gBACtC,WAAW;gBACX,eAAe,EAAE,MAAM,CAAC,KAAK,EAAE;gBAC/B,WAAW,EAAE,MAAM;aACtB,CAAC;YACF,MAAM,KAAK,GAAG,IAAA,sBAAW,EAAC,KAAK,CAAC,CAAC;YAGjC,IAAI,KAAK,KAAK,mBAAmB,EAAE;gBAC/B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,CAAC,IAAI,EAAE,CAAC;aAClB;YAED,IAAI,eAAe,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,CAAC,eAAe,EAAE;gBAClB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBACpB,eAAe,GAAG,CAAC,CAAC;aACvB;YAED,MAAM,WAAW,GAAG,oBAAoB,CACpC,KAAK,EACL,KAAK,EACL,eAAe,CAClB,CAAC;YAEF,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEhC,IAAI,WAAW,KAAK,eAAe,EAAE;gBACjC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;gBAC9B,YAAY,EAAE,CAAC;gBAEf,IAAI,GAAG,EAAE;oBACL,OAAO,CAAC,GAAG,CACP,gBAAgB,GAAG,KAAK,GAAG,UAAU;wBACrC,4BAAiB,CAAC,eAAe,CAAC;wBAClC,MAAM,GAAG,4BAAiB,CAAC,WAAW,CAAC,CAC1C,CAAC;iBACL;aACJ;SACJ;KACJ;IAED,OAAO,YAAY,CAAC;AACxB,CAAC;AAhFD,gEAgFC;AAED,SAAgB,oBAAoB,CAChC,KAAiC,EACjC,WAAoB,EACpB,mBAA2B,EAC3B,MAAe,KAAK;IAEpB,IAAI,CAAC,GAAG,mBAAmB,CAAC;IAC5B,OAAO,CAAC,IAAI,4BAAiB,CAAC,MAAM,EAAE;QAClC,MAAM,UAAU,GAAG,4BAAiB,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,cAAc,CAC3B,KAAK,EACL,WAAW,EACX,UAAU,EACV,GAAG,CACN,CAAC;QACF,+CAA+C;QAE/C,IAAI,QAAQ,EAAE;YACV,IAAI,UAAU,KAAK,aAAa,EAAE;gBAC9B,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;aACxD;YAED,OAAO,CAAC,CAAC;SACZ;QAED,CAAC,EAAE,CAAC;KACP;IACD,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;AAChD,CAAC;AA5BD,oDA4BC;AAGD;;;GAGG;AACH,SAAgB,cAAc,CAC1B,KAAiC,EACjC,WAAoB,EACpB,UAAsB,EACtB,MAAe,KAAK;IAEpB,IAAI,UAAU,KAAK,mBAAmB,EAAE;QACpC,OAAO,IAAI,CAAC;KACf;IAED,MAAM,iBAAiB,GAAG,IAAA,oBAAS,EAC/B,UAAU,EACV,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,eAAe,CAAC,KAAK,EAAE,CAChC,CAAC;IAEF;IACI,2EAA2E;IAC3E,iBAAiB,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;QAC/C,IAAA,oBAAS,EACL,iBAAiB,EACjB,WAAW,CACd,EACH;QACE,OAAO,IAAI,CAAC;KACf;SAAM;QACH,OAAO,KAAK,CAAC;KAChB;AACL,CAAC;AA7BD,wCA6BC"} \ No newline at end of file diff --git a/javascript/dist/cjs/src/truth-table-generator/runner.node.js b/javascript/dist/cjs/src/truth-table-generator/runner.node.js index 043d7fe3..a8557411 100644 --- a/javascript/dist/cjs/src/truth-table-generator/runner.node.js +++ b/javascript/dist/cjs/src/truth-table-generator/runner.node.js @@ -35,6 +35,7 @@ const util_js_2 = require("./util.js"); const fuzzing_js_1 = require("./fuzzing.js"); const write_bdd_template_js_1 = require("../bdd/write-bdd-template.js"); const calculate_bdd_quality_js_1 = require("./calculate-bdd-quality.js"); +const index_js_2 = require("../states/index.js"); /** * sort object attributes * @link https://stackoverflow.com/a/39442287 @@ -49,6 +50,13 @@ function sortObject(obj) { }), {}); } exports.sortObject = sortObject; +function loadTruthTable() { + const truthTable = (0, util_js_1.objectToMap)((0, util_js_2.readJsonFile)(config_js_1.OUTPUT_TRUTH_TABLE_PATH)); + return truthTable; +} +function getQuality(bdd, perfMeasurement) { + return (0, calculate_bdd_quality_js_1.getQualityOfBdd)(bdd, perfMeasurement, (0, queries_js_1.getQueryVariations)(), (0, procedures_js_1.getTestProcedures)()); +} const unknownValueActionId = 42; async function run() { if (!fs.existsSync(config_js_1.OUTPUT_FOLDER_PATH)) { @@ -93,9 +101,6 @@ async function run() { const procedures = (0, procedures_js_1.getTestProcedures)(); let totalAmountOfHandled = 0; let totalAmountOfOptimized = 0; - function loadTruthTable() { - return (0, util_js_1.objectToMap)((0, util_js_2.readJsonFile)(config_js_1.OUTPUT_TRUTH_TABLE_PATH)); - } let truthTable = loadTruthTable(); const startTruthTableEntries = truthTable.size; while (true) { @@ -173,7 +178,7 @@ async function run() { case 'create-bdd': (async function createBdd() { console.log('read table..'); - const truthTable = (0, util_js_1.objectToMap)((0, util_js_2.readJsonFile)(config_js_1.OUTPUT_TRUTH_TABLE_PATH)); + const truthTable = loadTruthTable(); console.log('table size: ' + truthTable.size); // fill missing rows with unknown (0, binary_decision_diagram_1.fillTruthTable)(truthTable, truthTable.keys().next().value.length, unknownValueActionId); @@ -183,8 +188,10 @@ async function run() { console.log('remove unkown states..'); bdd.removeIrrelevantLeafNodes(unknownValueActionId); bdd.log(); + const performanceMeasurement = await (0, calculate_bdd_quality_js_1.measurePerformanceOfStateFunctions)(2000); + const quality = getQuality(bdd, performanceMeasurement); const bddMinimalString = (0, binary_decision_diagram_1.bddToMinimalString)(bdd); - (0, write_bdd_template_js_1.writeBddTemplate)(bddMinimalString); + (0, write_bdd_template_js_1.writeBddTemplate)(bddMinimalString, performanceMeasurement, quality); console.log('nodes after minify: ' + bdd.countNodes()); })(); break; @@ -193,17 +200,18 @@ async function run() { (async function optimizeBdd() { console.log('read table..'); let lastBetterFoundTime = new Date().getTime(); - const truthTable = (0, util_js_1.objectToMap)((0, util_js_2.readJsonFile)(config_js_1.OUTPUT_TRUTH_TABLE_PATH)); + const truthTable = loadTruthTable(); console.log('table size: ' + truthTable.size); // fill missing rows with unknown (0, binary_decision_diagram_1.fillTruthTable)(truthTable, truthTable.keys().next().value.length, unknownValueActionId); + const optimizeState = JSON.parse(fs.readFileSync(write_bdd_template_js_1.BDD_OPTIMIZE_STATE_LOCATION, 'utf-8')); + const performanceMeasurement = optimizeState.performanceMeasurement; let currentBest; - const perfMeasurement = await (0, calculate_bdd_quality_js_1.measurePerformanceOfStateFunctions)(10000); - console.log('state function performance:'); - console.dir(perfMeasurement); - function getQuality(bdd) { - return (0, calculate_bdd_quality_js_1.getQualityOfBdd)(bdd, perfMeasurement, (0, queries_js_1.getQueryVariations)(), (0, procedures_js_1.getTestProcedures)()); - } + const resolvers = {}; + new Array(index_js_2.orderedStateList.length).fill(0).forEach((_x, index) => { + const fn = (state) => (0, binary_decision_diagram_1.booleanStringToBoolean)(state[index]); + resolvers[index] = fn; + }); await (0, binary_decision_diagram_1.optimizeBruteForce)({ truthTable, iterations: 10000000, @@ -214,32 +222,50 @@ async function run() { bdd.removeIrrelevantLeafNodes(unknownValueActionId); if (currentBest) { console.log('current best bdd has ' + currentBest.countNodes() + ' nodes ' + - 'and a quality of ' + getQuality(currentBest) + ' ' + - 'while newly tested one has quality of ' + getQuality(bdd)); + 'and a quality of ' + getQuality(currentBest, performanceMeasurement) + ' ' + + 'while newly tested one has quality of ' + getQuality(bdd, performanceMeasurement)); } else { currentBest = bdd; } }, compareResults: (a, b) => { - const betterOne = (0, calculate_bdd_quality_js_1.getBetterBdd)(a, b, perfMeasurement, (0, queries_js_1.getQueryVariations)(), (0, procedures_js_1.getTestProcedures)()); + const betterOne = (0, calculate_bdd_quality_js_1.getBetterBdd)(a, b, performanceMeasurement, (0, queries_js_1.getQueryVariations)(), (0, procedures_js_1.getTestProcedures)()); return betterOne; }, onBetterBdd: async (res) => { console.log('#'.repeat(100)); console.log('## Yeah! found better bdd ##'); lastBetterFoundTime = new Date().getTime(); - const bddMinimalString = (0, binary_decision_diagram_1.bddToMinimalString)(currentBest); - const quality = getQuality(currentBest); - console.log('nodes: ' + currentBest.countNodes()); + const quality = getQuality(res.bdd, performanceMeasurement); + console.log('nodes: ' + res.bdd.countNodes()); console.log('quality(new): ' + quality); - console.log('quality(old): ' + getQuality(currentBest)); - console.log('new string: ' + bddMinimalString); + console.log('quality(old): ' + getQuality(currentBest, performanceMeasurement)); + const currentOptimizeState = JSON.parse(fs.readFileSync(write_bdd_template_js_1.BDD_OPTIMIZE_STATE_LOCATION, 'utf-8')); + console.log('currentOptimizeState.quality' + currentOptimizeState.quality); currentBest = res.bdd; - (0, write_bdd_template_js_1.writeBddTemplate)(bddMinimalString); - console.log('-'.repeat(100)); + // ensure correctness to have a double-check that the bdd works correctly + const bddMinimalString = (0, binary_decision_diagram_1.bddToMinimalString)(currentBest); + const simpleBdd = (0, binary_decision_diagram_1.minimalStringToSimpleBdd)(bddMinimalString); + for (const [key, value] of loadTruthTable().entries()) { + const bddValue = (0, binary_decision_diagram_1.resolveWithSimpleBdd)(simpleBdd, resolvers, key); + if (value !== bddValue) { + console.error('# Error: minimalBdd has different value compared to truth table ' + key); + console.dir({ value, bddValue }); + process.exit(-1); + } + } + if (quality > currentOptimizeState.quality) { + console.log('########## BETTER THEN BEFORE ! -> Save it'); + console.log('new string: ' + bddMinimalString); + (0, write_bdd_template_js_1.writeBddTemplate)(bddMinimalString, performanceMeasurement, quality); + console.log('-'.repeat(100)); + } + else { + console.log('# DROP BECAUSE has better one with quality ' + currentOptimizeState.quality); + } }, - log: true + log: false }); })(); break; diff --git a/javascript/dist/cjs/src/truth-table-generator/runner.node.js.map b/javascript/dist/cjs/src/truth-table-generator/runner.node.js.map index 1bcd93f4..99b63b0a 100644 --- a/javascript/dist/cjs/src/truth-table-generator/runner.node.js.map +++ b/javascript/dist/cjs/src/truth-table-generator/runner.node.js.map @@ -1 +1 @@ -{"version":3,"file":"runner.node.js","sourceRoot":"","sources":["../../../../src/truth-table-generator/runner.node.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,uCAAyB;AACzB,qEAQiC;AAGjC,2CAGqB;AACrB,6CAAkD;AAClD,mDAAoD;AACpD,yCAAgD;AAChD,wCAIoB;AACpB,uCAGmB;AACnB,6CAAuC;AACvC,wEAAgE;AAChE,yEAIoC;AAEpC;;;GAGG;AACH,SAAgB,UAAU,CAAI,GAAM;IAChC,OAAO,MAAM;SACR,OAAO,CAAC,GAAU,CAAC;SACnB,IAAI,EAAE;SACN,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7B,GAAG,UAAU;QACb,CAAC,CAAC,CAAC,EAAE,CAAC;KACT,CAAC,EAAE,EAAE,CAAM,CAAC;AACrB,CAAC;AARD,gCAQC;AAED,MAAM,oBAAoB,GAAW,EAAE,CAAC;AAExC,KAAK,UAAU,GAAG;IAEd,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,8BAAkB,CAAC,EAAE;QACpC,EAAE,CAAC,SAAS,CAAC,8BAAkB,CAAC,CAAC;KACpC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,CAAC,GAAG,CAAC,eAAe,GAAG,OAAO,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAExB,QAAQ,OAAO,EAAE;QACb,KAAK,sBAAsB;YACvB,CAAC,KAAK,UAAU,QAAQ;gBACpB,MAAM,OAAO,GAAG,IAAA,+BAAkB,GAAE,CAAC;gBACrC,MAAM,UAAU,GAAG,IAAA,iCAAiB,GAAE,CAAC;gBACvC,MAAM,KAAK,GAAG,MAAM,IAAA,6BAAkB,EAAC;oBACnC,OAAO;oBACP,UAAU;oBACV,GAAG,EAAE,IAAI;iBACZ,CAAC,CAAC;gBAEH,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACnB,MAAM,WAAW,GAAG,IAAA,qBAAW,EAAC,KAAK,CAAC,CAAC;gBACvC,IAAA,uBAAa,EACT,mCAAuB,EACvB,WAAW,CACd,CAAC;YACN,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAEV,KAAK,SAAS;YACV,CAAC,KAAK,UAAU,IAAI;gBAChB,MAAM,UAAU,GAAqB,IAAA,qBAAW,EAC5C,IAAA,sBAAY,EAAC,mCAAuB,CAAC,CACxC,CAAC;gBACF,MAAM,MAAM,GAAG,IAAA,oBAAO,EAClB,UAAU,EACV,EAAE,EAAE,UAAU;gBACd,EAAE,CAAC,SAAS;iBACf,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACxB,CAAC,CAAC,EAAE,CAAC;YAEL,MAAM;QAEV;;;WAGG;QACH,KAAK,mBAAmB;YACpB,CAAC,KAAK,UAAU,gBAAgB;gBAC5B,IAAI,kBAAkB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAE9C,MAAM,OAAO,GAAG,IAAA,+BAAkB,GAAE,CAAC;gBACrC,MAAM,UAAU,GAAG,IAAA,iCAAiB,GAAE,CAAC;gBACvC,IAAI,oBAAoB,GAAG,CAAC,CAAC;gBAC7B,IAAI,sBAAsB,GAAG,CAAC,CAAC;gBAE/B,SAAS,cAAc;oBACnB,OAAO,IAAA,qBAAW,EACd,IAAA,sBAAY,EAAC,mCAAuB,CAAC,CACxC,CAAC;gBACN,CAAC;gBACD,IAAI,UAAU,GAAqB,cAAc,EAAE,CAAC;gBACpD,MAAM,sBAAsB,GAAG,UAAU,CAAC,IAAI,CAAC;gBAE/C,OAAO,IAAI,EAAE;oBACT,IAAI,iBAAiB,GAAG,KAAK,CAAC;oBAC9B,IAAI,YAAY,GAAG,CAAC,CAAC;oBAErB,OAAO,CAAC,iBAAiB,EAAE;wBACvB,YAAY,EAAE,CAAC;wBAEf,IAAI,YAAY,GAAG,EAAE,KAAK,CAAC,EAAE;4BACzB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;4BAC5B,OAAO,CAAC,GAAG,CAAC,iBAAiB,GAAG,YAAY,CAAC,CAAC;4BAC9C,OAAO,CAAC,GAAG,CAAC;gCACR,sBAAsB;gCACtB,wBAAwB,EAAE,UAAU,CAAC,IAAI;6BAC5C,CAAC,CAAC;yBACN;wBAED;;;;;;;;;;2BAUG;wBACH,UAAU,GAAG,cAAc,EAAE,CAAC;wBAE9B,6FAA6F;wBAC7F,gEAAgE;wBAChE,0DAA0D;wBAE1D,MAAM,MAAM,GAAG,IAAA,oBAAO,EAClB,UAAU,EACV,EAAE,EAAE,UAAU;wBACd,EAAE,CAAC,SAAS;yBACf,CAAC;wBACF,oBAAoB,GAAG,oBAAoB,GAAG,MAAM,CAAC,eAAe,CAAC;wBACrE,sBAAsB,GAAG,sBAAsB,GAAG,MAAM,CAAC,iBAAiB,CAAC;wBAE3E,MAAM,UAAU,GAAG,CAAC,sBAAsB,GAAG,oBAAoB,CAAC,GAAG,GAAG,CAAC;wBACzE,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;wBAEtC,IAAI,YAAY,GAAG,EAAE,KAAK,CAAC,EAAE;4BACzB,OAAO,CAAC,GAAG,CACP,YAAY,GAAG,sBAAsB,GAAG,MAAM,GAAG,oBAAoB;gCACrE,YAAY,GAAG,OAAO,GAAG,GAAG,CAC/B,CAAC;4BACF,MAAM,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,kBAAkB,CAAC;4BAC/D,MAAM,cAAc,GAAG,YAAY,GAAG,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;4BACrD,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,IAAA,4BAAkB,EAAC,cAAc,CAAC,GAAG,WAAW,CAAC,CAAC;yBACvF;wBAED,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK,EAAE;4BACrB,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;4BACjC,kBAAkB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;4BAC1C,iBAAiB,GAAG,IAAI,CAAC;4BACzB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;4BAC1C,OAAO,CAAC,GAAG,CACP,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,GAAG;gCAC7B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAC5C,CAAC;4BAEF,sEAAsE;4BACtE,8DAA8D;4BAC9D,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;4BAC9B,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;yBACxC;qBACJ;oBAED,mCAAmC;oBACnC,IAAA,6BAAkB,EAAC;wBACf,KAAK,EAAE,UAAU;wBACjB,OAAO;wBACP,UAAU;wBACV,GAAG,EAAE,IAAI;qBACZ,CAAC,CAAC;oBAEH,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;oBACpC,MAAM,WAAW,GAAG,IAAA,qBAAW,EAAC,UAAU,CAAC,CAAC;oBAC5C,IAAA,uBAAa,EACT,mCAAuB,EACvB,UAAU,CAAC,WAAW,CAAC,CAC1B,CAAC;iBACL;YACL,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAEV;;;WAGG;QACH,KAAK,YAAY;YACb,CAAC,KAAK,UAAU,SAAS;gBACrB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC5B,MAAM,UAAU,GAAe,IAAA,qBAAW,EACtC,IAAA,sBAAY,EAAC,mCAAuB,CAAC,CACxC,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAE9C,iCAAiC;gBACjC,IAAA,wCAAc,EACV,UAAU,EACV,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,EACrC,oBAAoB,CACvB,CAAC;gBAEF,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC5B,MAAM,GAAG,GAAG,IAAA,iDAAuB,EAAC,UAAU,CAAC,CAAC;gBAChD,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC1B,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;gBACtC,GAAG,CAAC,yBAAyB,CAAC,oBAAoB,CAAC,CAAC;gBAEpD,GAAG,CAAC,GAAG,EAAE,CAAC;gBAEV,MAAM,gBAAgB,GAAG,IAAA,4CAAkB,EAAC,GAAG,CAAC,CAAC;gBACjD,IAAA,wCAAgB,EACZ,gBAAgB,CACnB,CAAC;gBAEF,OAAO,CAAC,GAAG,CAAC,sBAAsB,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAC3D,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAGV,6CAA6C;QAC7C,KAAK,cAAc;YACf,CAAC,KAAK,UAAU,WAAW;gBACvB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC5B,IAAI,mBAAmB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC/C,MAAM,UAAU,GAAe,IAAA,qBAAW,EACtC,IAAA,sBAAY,EAAC,mCAAuB,CAAC,CACxC,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAE9C,iCAAiC;gBACjC,IAAA,wCAAc,EACV,UAAU,EACV,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,EACrC,oBAAoB,CACvB,CAAC;gBAEF,IAAI,WAAqB,CAAC;gBAE1B,MAAM,eAAe,GAAG,MAAM,IAAA,6DAAkC,EAAC,KAAK,CAAC,CAAC;gBACxE,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;gBAC3C,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;gBAG7B,SAAS,UAAU,CAAC,GAAa;oBAC7B,OAAO,IAAA,0CAAe,EAClB,GAAG,EACH,eAAe,EACf,IAAA,+BAAkB,GAAE,EACpB,IAAA,iCAAiB,GAAE,CACtB,CAAC;gBACN,CAAC;gBAED,MAAM,IAAA,4CAAkB,EAAC;oBACrB,UAAU;oBACV,UAAU,EAAE,QAAQ;oBACpB,gBAAgB,EAAE,CAAC,GAAa,EAAE,EAAE;wBAEhC,MAAM,aAAa,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,mBAAmB,CAAC;wBACjE,MAAM,eAAe,GAAG,aAAa,GAAG,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;wBACvD,OAAO,CAAC,GAAG,CAAC,wBAAwB,GAAG,IAAA,4BAAkB,EAAC,eAAe,CAAC,GAAG,WAAW,CAAC,CAAC;wBAE1F,GAAG,CAAC,yBAAyB,CAAC,oBAAoB,CAAC,CAAC;wBACpD,IAAI,WAAW,EAAE;4BACb,OAAO,CAAC,GAAG,CACP,uBAAuB,GAAG,WAAW,CAAC,UAAU,EAAE,GAAG,SAAS;gCAC9D,mBAAmB,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,GAAG;gCACnD,wCAAwC,GAAG,UAAU,CAAC,GAAG,CAAC,CAC7D,CAAC;yBACL;6BAAM;4BACH,WAAW,GAAG,GAAG,CAAC;yBACrB;oBACL,CAAC;oBACD,cAAc,EAAE,CAAC,CAAW,EAAE,CAAW,EAAE,EAAE;wBACzC,MAAM,SAAS,GAAG,IAAA,uCAAY,EAC1B,CAAC,EAAE,CAAC,EACJ,eAAe,EACf,IAAA,+BAAkB,GAAE,EACpB,IAAA,iCAAiB,GAAE,CACtB,CAAC;wBACF,OAAO,SAAS,CAAC;oBACrB,CAAC;oBACD,WAAW,EAAE,KAAK,EAAE,GAAuB,EAAE,EAAE;wBAC3C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;wBAC7B,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;wBAC5C,mBAAmB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;wBAC3C,MAAM,gBAAgB,GAAG,IAAA,4CAAkB,EAAC,WAAW,CAAC,CAAC;wBACzD,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;wBACxC,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,WAAW,CAAC,UAAU,EAAE,CAAC,CAAC;wBAClD,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,OAAO,CAAC,CAAC;wBACxC,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;wBACxD,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,gBAAgB,CAAC,CAAC;wBAC/C,WAAW,GAAG,GAAG,CAAC,GAAG,CAAC;wBAEtB,IAAA,wCAAgB,EACZ,gBAAgB,CACnB,CAAC;wBACF,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;oBACjC,CAAC;oBACD,GAAG,EAAE,IAAI;iBACZ,CAAC,CAAC;YACP,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAEV;YACI,MAAM,IAAI,KAAK,CAAC,qBAAqB,GAAG,OAAO,CAAC,CAAC;KACxD;AAEL,CAAC;AAED,GAAG,EAAE,CAAC"} \ No newline at end of file +{"version":3,"file":"runner.node.js","sourceRoot":"","sources":["../../../../src/truth-table-generator/runner.node.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,uCAAyB;AACzB,qEAYiC;AAGjC,2CAGqB;AACrB,6CAAkD;AAClD,mDAAoD;AACpD,yCAAgD;AAChD,wCAIoB;AACpB,uCAGmB;AACnB,6CAAuC;AACvC,wEAA6F;AAC7F,yEAMoC;AACpC,iDAAsD;AAEtD;;;GAGG;AACH,SAAgB,UAAU,CAAI,GAAM;IAChC,OAAO,MAAM;SACR,OAAO,CAAC,GAAU,CAAC;SACnB,IAAI,EAAE;SACN,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7B,GAAG,UAAU;QACb,CAAC,CAAC,CAAC,EAAE,CAAC;KACT,CAAC,EAAE,EAAE,CAAM,CAAC;AACrB,CAAC;AARD,gCAQC;AAED,SAAS,cAAc;IACnB,MAAM,UAAU,GAAe,IAAA,qBAAW,EACtC,IAAA,sBAAY,EAAC,mCAAuB,CAAC,CACxC,CAAC;IACF,OAAO,UAAU,CAAC;AACtB,CAAC;AACD,SAAS,UAAU,CACf,GAAa,EACb,eAAuC;IAEvC,OAAO,IAAA,0CAAe,EAClB,GAAG,EACH,eAAe,EACf,IAAA,+BAAkB,GAAE,EACpB,IAAA,iCAAiB,GAAE,CACtB,CAAC;AACN,CAAC;AAGD,MAAM,oBAAoB,GAAW,EAAE,CAAC;AAExC,KAAK,UAAU,GAAG;IAEd,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,8BAAkB,CAAC,EAAE;QACpC,EAAE,CAAC,SAAS,CAAC,8BAAkB,CAAC,CAAC;KACpC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,CAAC,GAAG,CAAC,eAAe,GAAG,OAAO,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAExB,QAAQ,OAAO,EAAE;QACb,KAAK,sBAAsB;YACvB,CAAC,KAAK,UAAU,QAAQ;gBACpB,MAAM,OAAO,GAAG,IAAA,+BAAkB,GAAE,CAAC;gBACrC,MAAM,UAAU,GAAG,IAAA,iCAAiB,GAAE,CAAC;gBACvC,MAAM,KAAK,GAAG,MAAM,IAAA,6BAAkB,EAAC;oBACnC,OAAO;oBACP,UAAU;oBACV,GAAG,EAAE,IAAI;iBACZ,CAAC,CAAC;gBAEH,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACnB,MAAM,WAAW,GAAG,IAAA,qBAAW,EAAC,KAAK,CAAC,CAAC;gBACvC,IAAA,uBAAa,EACT,mCAAuB,EACvB,WAAW,CACd,CAAC;YACN,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAEV,KAAK,SAAS;YACV,CAAC,KAAK,UAAU,IAAI;gBAChB,MAAM,UAAU,GAAqB,IAAA,qBAAW,EAC5C,IAAA,sBAAY,EAAC,mCAAuB,CAAC,CACxC,CAAC;gBACF,MAAM,MAAM,GAAG,IAAA,oBAAO,EAClB,UAAU,EACV,EAAE,EAAE,UAAU;gBACd,EAAE,CAAC,SAAS;iBACf,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACxB,CAAC,CAAC,EAAE,CAAC;YAEL,MAAM;QAEV;;;WAGG;QACH,KAAK,mBAAmB;YACpB,CAAC,KAAK,UAAU,gBAAgB;gBAC5B,IAAI,kBAAkB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAE9C,MAAM,OAAO,GAAG,IAAA,+BAAkB,GAAE,CAAC;gBACrC,MAAM,UAAU,GAAG,IAAA,iCAAiB,GAAE,CAAC;gBACvC,IAAI,oBAAoB,GAAG,CAAC,CAAC;gBAC7B,IAAI,sBAAsB,GAAG,CAAC,CAAC;gBAE/B,IAAI,UAAU,GAAqB,cAAc,EAAE,CAAC;gBACpD,MAAM,sBAAsB,GAAG,UAAU,CAAC,IAAI,CAAC;gBAE/C,OAAO,IAAI,EAAE;oBACT,IAAI,iBAAiB,GAAG,KAAK,CAAC;oBAC9B,IAAI,YAAY,GAAG,CAAC,CAAC;oBAErB,OAAO,CAAC,iBAAiB,EAAE;wBACvB,YAAY,EAAE,CAAC;wBAEf,IAAI,YAAY,GAAG,EAAE,KAAK,CAAC,EAAE;4BACzB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;4BAC5B,OAAO,CAAC,GAAG,CAAC,iBAAiB,GAAG,YAAY,CAAC,CAAC;4BAC9C,OAAO,CAAC,GAAG,CAAC;gCACR,sBAAsB;gCACtB,wBAAwB,EAAE,UAAU,CAAC,IAAI;6BAC5C,CAAC,CAAC;yBACN;wBAED;;;;;;;;;;2BAUG;wBACH,UAAU,GAAG,cAAc,EAAE,CAAC;wBAE9B,6FAA6F;wBAC7F,gEAAgE;wBAChE,0DAA0D;wBAE1D,MAAM,MAAM,GAAG,IAAA,oBAAO,EAClB,UAAU,EACV,EAAE,EAAE,UAAU;wBACd,EAAE,CAAC,SAAS;yBACf,CAAC;wBACF,oBAAoB,GAAG,oBAAoB,GAAG,MAAM,CAAC,eAAe,CAAC;wBACrE,sBAAsB,GAAG,sBAAsB,GAAG,MAAM,CAAC,iBAAiB,CAAC;wBAE3E,MAAM,UAAU,GAAG,CAAC,sBAAsB,GAAG,oBAAoB,CAAC,GAAG,GAAG,CAAC;wBACzE,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;wBAEtC,IAAI,YAAY,GAAG,EAAE,KAAK,CAAC,EAAE;4BACzB,OAAO,CAAC,GAAG,CACP,YAAY,GAAG,sBAAsB,GAAG,MAAM,GAAG,oBAAoB;gCACrE,YAAY,GAAG,OAAO,GAAG,GAAG,CAC/B,CAAC;4BACF,MAAM,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,kBAAkB,CAAC;4BAC/D,MAAM,cAAc,GAAG,YAAY,GAAG,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;4BACrD,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,IAAA,4BAAkB,EAAC,cAAc,CAAC,GAAG,WAAW,CAAC,CAAC;yBACvF;wBAED,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK,EAAE;4BACrB,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;4BACjC,kBAAkB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;4BAC1C,iBAAiB,GAAG,IAAI,CAAC;4BACzB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;4BAC1C,OAAO,CAAC,GAAG,CACP,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,GAAG;gCAC7B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAC5C,CAAC;4BAEF,sEAAsE;4BACtE,8DAA8D;4BAC9D,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;4BAC9B,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;yBACxC;qBACJ;oBAED,mCAAmC;oBACnC,IAAA,6BAAkB,EAAC;wBACf,KAAK,EAAE,UAAU;wBACjB,OAAO;wBACP,UAAU;wBACV,GAAG,EAAE,IAAI;qBACZ,CAAC,CAAC;oBAEH,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;oBACpC,MAAM,WAAW,GAAG,IAAA,qBAAW,EAAC,UAAU,CAAC,CAAC;oBAC5C,IAAA,uBAAa,EACT,mCAAuB,EACvB,UAAU,CAAC,WAAW,CAAC,CAC1B,CAAC;iBACL;YACL,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAEV;;;WAGG;QACH,KAAK,YAAY;YACb,CAAC,KAAK,UAAU,SAAS;gBACrB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC5B,MAAM,UAAU,GAAG,cAAc,EAAE,CAAC;gBACpC,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAE9C,iCAAiC;gBACjC,IAAA,wCAAc,EACV,UAAU,EACV,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,EACrC,oBAAoB,CACvB,CAAC;gBAEF,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAE5B,MAAM,GAAG,GAAG,IAAA,iDAAuB,EAAC,UAAU,CAAC,CAAC;gBAChD,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC1B,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;gBACtC,GAAG,CAAC,yBAAyB,CAAC,oBAAoB,CAAC,CAAC;gBAEpD,GAAG,CAAC,GAAG,EAAE,CAAC;gBACV,MAAM,sBAAsB,GAAG,MAAM,IAAA,6DAAkC,EAAC,IAAI,CAAC,CAAA;gBAC7E,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC;gBAExD,MAAM,gBAAgB,GAAG,IAAA,4CAAkB,EAAC,GAAG,CAAC,CAAC;gBACjD,IAAA,wCAAgB,EACZ,gBAAgB,EAChB,sBAAsB,EACtB,OAAO,CACV,CAAC;gBAEF,OAAO,CAAC,GAAG,CAAC,sBAAsB,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAC3D,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAGV,6CAA6C;QAC7C,KAAK,cAAc;YACf,CAAC,KAAK,UAAU,WAAW;gBACvB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC5B,IAAI,mBAAmB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC/C,MAAM,UAAU,GAAG,cAAc,EAAE,CAAC;gBACpC,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAE9C,iCAAiC;gBACjC,IAAA,wCAAc,EACV,UAAU,EACV,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,EACrC,oBAAoB,CACvB,CAAC;gBAGF,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,mDAA2B,EAAE,OAAO,CAAC,CAAC,CAAC;gBACxF,MAAM,sBAAsB,GAAG,aAAa,CAAC,sBAAsB,CAAC;gBACpE,IAAI,WAAqB,CAAC;gBAC1B,MAAM,SAAS,GAAsB,EAAE,CAAC;gBACxC,IAAI,KAAK,CAAC,2BAAgB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;oBAC7D,MAAM,EAAE,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,IAAA,gDAAsB,EAAE,KAAa,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC5E,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;gBAC1B,CAAC,CAAC,CAAC;gBAEH,MAAM,IAAA,4CAAkB,EAAC;oBACrB,UAAU;oBACV,UAAU,EAAE,QAAQ;oBACpB,gBAAgB,EAAE,CAAC,GAAa,EAAE,EAAE;wBAChC,MAAM,aAAa,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,mBAAmB,CAAC;wBACjE,MAAM,eAAe,GAAG,aAAa,GAAG,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;wBACvD,OAAO,CAAC,GAAG,CAAC,wBAAwB,GAAG,IAAA,4BAAkB,EAAC,eAAe,CAAC,GAAG,WAAW,CAAC,CAAC;wBAC1F,GAAG,CAAC,yBAAyB,CAAC,oBAAoB,CAAC,CAAC;wBAEpD,IAAI,WAAW,EAAE;4BACb,OAAO,CAAC,GAAG,CACP,uBAAuB,GAAG,WAAW,CAAC,UAAU,EAAE,GAAG,SAAS;gCAC9D,mBAAmB,GAAG,UAAU,CAAC,WAAW,EAAE,sBAAsB,CAAC,GAAG,GAAG;gCAC3E,wCAAwC,GAAG,UAAU,CAAC,GAAG,EAAE,sBAAsB,CAAC,CACrF,CAAC;yBACL;6BAAM;4BACH,WAAW,GAAG,GAAG,CAAC;yBACrB;oBACL,CAAC;oBACD,cAAc,EAAE,CAAC,CAAW,EAAE,CAAW,EAAE,EAAE;wBACzC,MAAM,SAAS,GAAG,IAAA,uCAAY,EAC1B,CAAC,EAAE,CAAC,EACJ,sBAAsB,EACtB,IAAA,+BAAkB,GAAE,EACpB,IAAA,iCAAiB,GAAE,CACtB,CAAC;wBACF,OAAO,SAAS,CAAC;oBACrB,CAAC;oBACD,WAAW,EAAE,KAAK,EAAE,GAAuB,EAAE,EAAE;wBAC3C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;wBAC7B,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;wBAC5C,mBAAmB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;wBAC3C,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC;wBAC5D,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;wBAC9C,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,OAAO,CAAC,CAAC;wBACxC,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,UAAU,CAAC,WAAW,EAAE,sBAAsB,CAAC,CAAC,CAAC;wBAChF,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,mDAA2B,EAAE,OAAO,CAAC,CAAC,CAAC;wBAC/F,OAAO,CAAC,GAAG,CAAC,8BAA8B,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;wBAE3E,WAAW,GAAG,GAAG,CAAC,GAAG,CAAC;wBAEtB,yEAAyE;wBACzE,MAAM,gBAAgB,GAAG,IAAA,4CAAkB,EAAC,WAAW,CAAC,CAAC;wBACzD,MAAM,SAAS,GAAG,IAAA,kDAAwB,EAAC,gBAAgB,CAAC,CAAC;wBAC7D,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,cAAc,EAAE,CAAC,OAAO,EAAE,EAAE;4BACnD,MAAM,QAAQ,GAAG,IAAA,8CAAoB,EACjC,SAAS,EACT,SAAS,EACT,GAAG,CACN,CAAC;4BAEF,IAAI,KAAK,KAAK,QAAQ,EAAE;gCACpB,OAAO,CAAC,KAAK,CAAC,kEAAkE,GAAG,GAAG,CAAC,CAAC;gCACxF,OAAO,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gCACjC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;6BACpB;yBACJ;wBAKD,IAAI,OAAO,GAAG,oBAAoB,CAAC,OAAO,EAAE;4BACxC,OAAO,CAAC,GAAG,CAAC,4CAA4C,CAAC,CAAC;4BAC1D,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,gBAAgB,CAAC,CAAC;4BAC/C,IAAA,wCAAgB,EACZ,gBAAgB,EAChB,sBAAsB,EACtB,OAAO,CACV,CAAC;4BACF,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;yBAChC;6BAAM;4BACH,OAAO,CAAC,GAAG,CAAC,6CAA6C,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;yBAC7F;oBACL,CAAC;oBACD,GAAG,EAAE,KAAK;iBACb,CAAC,CAAC;YACP,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAEV;YACI,MAAM,IAAI,KAAK,CAAC,qBAAqB,GAAG,OAAO,CAAC,CAAC;KACxD;AAEL,CAAC;AAED,GAAG,EAAE,CAAC"} \ No newline at end of file diff --git a/javascript/dist/esm/src/actions/action-functions.js b/javascript/dist/esm/src/actions/action-functions.js index 2e53eae2..39122635 100644 --- a/javascript/dist/esm/src/actions/action-functions.js +++ b/javascript/dist/esm/src/actions/action-functions.js @@ -50,7 +50,6 @@ export const removeExisting = (input) => { for (let i = 0; i < results.length; i++) { const item = results[i]; // remove - // console.dir(item); if (item[primary] === input.changeEvent.id) { results.splice(i, 1); break; diff --git a/javascript/dist/esm/src/actions/action-functions.js.map b/javascript/dist/esm/src/actions/action-functions.js.map index 1332b5ad..d2c53b3b 100644 --- a/javascript/dist/esm/src/actions/action-functions.js.map +++ b/javascript/dist/esm/src/actions/action-functions.js.map @@ -1 +1 @@ -{"version":3,"file":"action-functions.js","sourceRoot":"","sources":["../../../../src/actions/action-functions.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,kBAAkB,EACrB,MAAM,6BAA6B,CAAC;AAIrC,MAAM,CAAC,MAAM,SAAS,GAAwB,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC;AAE9D,MAAM,CAAC,MAAM,WAAW,GAAwB,CAAC,KAAK,EAAE,EAAE;IACtD,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,CAAC,WAAW,CAAC,EAAE,EACpB,KAAK,CAAC,WAAW,CAAC,GAAG,CACxB,CAAC;KACL;AACL,CAAC,CAAC;AACF,MAAM,CAAC,MAAM,UAAU,GAAwB,CAAC,KAAK,EAAE,EAAE;IACrD,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClD,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,CAAC,WAAW,CAAC,EAAE,EACpB,KAAK,CAAC,WAAW,CAAC,GAAG,CACxB,CAAC;KACL;AACL,CAAC,CAAC;AACF,MAAM,CAAC,MAAM,eAAe,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC1D,MAAM,KAAK,GAAG,KAAK,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;IAC5C,IAAI,KAAK,CAAC,cAAc,IAAI,KAAK,EAAE;QAC/B,KAAK,CAAC,cAAc,CAAC,MAAM,CACvB,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CACtC,CAAC;KACL;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAwB,CAAC,KAAK,EAAE,EAAE;IACzD,MAAM,IAAI,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC;IACzC,IAAI,KAAK,CAAC,cAAc,IAAI,IAAI,EAAE;QAC9B,KAAK,CAAC,cAAc,CAAC,MAAM,CACvB,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CACrC,CAAC;KACL;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAChE,eAAe,CAAC,KAAK,CAAC,CAAC;IACvB,UAAU,CAAC,KAAK,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAChE,cAAc,CAAC,KAAK,CAAC,CAAC;IACtB,WAAW,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAwB,CAAC,KAAK,EAAE,EAAE;IACjE,eAAe,CAAC,KAAK,CAAC,CAAC;IACvB,WAAW,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC/D,cAAc,CAAC,KAAK,CAAC,CAAC;IACtB,UAAU,CAAC,KAAK,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAwB,CAAC,KAAK,EAAE,EAAE;IACzD,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,MAAM,CACvB,KAAK,CAAC,WAAW,CAAC,EAAE,CACvB,CAAC;KACL;IAED,yBAAyB;IACzB,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,SAAS;QACT,qBAAqB;QACrB,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE;YACxC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM;SACT;KACJ;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC1D,yBAAyB;IACzB,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC;IAClC,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,UAAU;QACV,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE;YACxC,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;YACjB,IAAI,KAAK,CAAC,cAAc,EAAE;gBACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,CAAC,WAAW,CAAC,EAAE,EACpB,GAAG,CACN,CAAC;aACL;YACD,MAAM;SACT;KACJ;AACL,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAwB,CAAC,KAAK,EAAE,EAAE;IACtD,MAAM,UAAU,GAAG;QACf,GAAG,EAAE,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE;KAC3C,CAAC;IACF,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,cAAc;IAChD,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC7B,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,UAAU,CAAC,GAAG,EACd,UAAU,CACb,CAAC;KACL;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;IACnC,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC;IAClC,IAAI,KAAK,CAAC,cAAc,EAAE;QAEtB,IAAI,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;YACjC;;;eAGG;YACH,OAAO;SACV;QAED,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,EACL,GAAG,CACN,CAAC;KACL;SAAM;QACH,MAAM,cAAc,GAAG,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,KAAK,CAAC,CAAC;QACzG;;;WAGG;QACH,IAAI,cAAc,EAAE;YAChB,OAAO;SACV;KACJ;IAED,kBAAkB,CACd,KAAK,CAAC,eAAe,EACrB,GAAG,EACH,KAAK,CAAC,WAAW,CAAC,cAAc,EAChC,CAAC,CACJ,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAwB,CAAC,KAAK,EAAE,EAAE;IAChF,cAAc,CAAC,KAAK,CAAC,CAAC;IACtB,oBAAoB,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAwB,CAAC,MAAM,EAAE,EAAE;IAC7D,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;AAChF,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAwB,CAAC,MAAM,EAAE,EAAE;IACzD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;AACnE,CAAC,CAAC"} \ No newline at end of file +{"version":3,"file":"action-functions.js","sourceRoot":"","sources":["../../../../src/actions/action-functions.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,kBAAkB,EACrB,MAAM,6BAA6B,CAAC;AAIrC,MAAM,CAAC,MAAM,SAAS,GAAwB,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC;AAE9D,MAAM,CAAC,MAAM,WAAW,GAAwB,CAAC,KAAK,EAAE,EAAE;IACtD,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,CAAC,WAAW,CAAC,EAAE,EACpB,KAAK,CAAC,WAAW,CAAC,GAAG,CACxB,CAAC;KACL;AACL,CAAC,CAAC;AACF,MAAM,CAAC,MAAM,UAAU,GAAwB,CAAC,KAAK,EAAE,EAAE;IACrD,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClD,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,CAAC,WAAW,CAAC,EAAE,EACpB,KAAK,CAAC,WAAW,CAAC,GAAG,CACxB,CAAC;KACL;AACL,CAAC,CAAC;AACF,MAAM,CAAC,MAAM,eAAe,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC1D,MAAM,KAAK,GAAG,KAAK,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;IAC5C,IAAI,KAAK,CAAC,cAAc,IAAI,KAAK,EAAE;QAC/B,KAAK,CAAC,cAAc,CAAC,MAAM,CACvB,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CACtC,CAAC;KACL;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAwB,CAAC,KAAK,EAAE,EAAE;IACzD,MAAM,IAAI,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC;IACzC,IAAI,KAAK,CAAC,cAAc,IAAI,IAAI,EAAE;QAC9B,KAAK,CAAC,cAAc,CAAC,MAAM,CACvB,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CACrC,CAAC;KACL;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAChE,eAAe,CAAC,KAAK,CAAC,CAAC;IACvB,UAAU,CAAC,KAAK,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAChE,cAAc,CAAC,KAAK,CAAC,CAAC;IACtB,WAAW,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAwB,CAAC,KAAK,EAAE,EAAE;IACjE,eAAe,CAAC,KAAK,CAAC,CAAC;IACvB,WAAW,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC/D,cAAc,CAAC,KAAK,CAAC,CAAC;IACtB,UAAU,CAAC,KAAK,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAwB,CAAC,KAAK,EAAE,EAAE;IACzD,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,MAAM,CACvB,KAAK,CAAC,WAAW,CAAC,EAAE,CACvB,CAAC;KACL;IAED,yBAAyB;IACzB,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,SAAS;QACT,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE;YACxC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrB,MAAM;SACT;KACJ;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC1D,yBAAyB;IACzB,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC;IAClC,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,UAAU;QACV,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE;YACxC,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;YACjB,IAAI,KAAK,CAAC,cAAc,EAAE;gBACtB,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,CAAC,WAAW,CAAC,EAAE,EACpB,GAAG,CACN,CAAC;aACL;YACD,MAAM;SACT;KACJ;AACL,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAwB,CAAC,KAAK,EAAE,EAAE;IACtD,MAAM,UAAU,GAAG;QACf,GAAG,EAAE,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE;KAC3C,CAAC;IACF,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,cAAc;IAChD,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,cAAc,EAAE;QACtB,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC7B,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,UAAU,CAAC,GAAG,EACd,UAAU,CACb,CAAC;KACL;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAwB,CAAC,KAAK,EAAE,EAAE;IAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;IACnC,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC;IAClC,IAAI,KAAK,CAAC,cAAc,EAAE;QAEtB,IAAI,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;YACjC;;;eAGG;YACH,OAAO;SACV;QAED,KAAK,CAAC,cAAc,CAAC,GAAG,CACpB,KAAK,EACL,GAAG,CACN,CAAC;KACL;SAAM;QACH,MAAM,cAAc,GAAG,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,KAAK,CAAC,CAAC;QACzG;;;WAGG;QACH,IAAI,cAAc,EAAE;YAChB,OAAO;SACV;KACJ;IAED,kBAAkB,CACd,KAAK,CAAC,eAAe,EACrB,GAAG,EACH,KAAK,CAAC,WAAW,CAAC,cAAc,EAChC,CAAC,CACJ,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAwB,CAAC,KAAK,EAAE,EAAE;IAChF,cAAc,CAAC,KAAK,CAAC,CAAC;IACtB,oBAAoB,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAwB,CAAC,MAAM,EAAE,EAAE;IAC7D,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;AAChF,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAwB,CAAC,MAAM,EAAE,EAAE;IACzD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;AACnE,CAAC,CAAC"} \ No newline at end of file diff --git a/javascript/dist/esm/src/bdd/bdd.generated.d.ts b/javascript/dist/esm/src/bdd/bdd.generated.d.ts index 68269392..7310d7e1 100644 --- a/javascript/dist/esm/src/bdd/bdd.generated.d.ts +++ b/javascript/dist/esm/src/bdd/bdd.generated.d.ts @@ -1,5 +1,5 @@ import { SimpleBdd } from 'binary-decision-diagram'; import type { StateResolveFunctionInput } from '../types/index.js'; -export declare const minimalBddString = "14a1b,c+d2e5f0g/h.i4j*k-l)m(n6obh9pce9qnh9rad9scm9tae9uan9vbf9wbe9xbn9ycg9zck9{cn9|nd9}ne9~nf9ng9\u00A1nm9\u00A2nk9\u00A3mh9\u00A4mi9\u00A5mj9\u00A6mk9\u00A7ml9\u00A8mn9\u00A9mc8\u00AA\u00A4{8\u00AB\u00A5z8\u00AC\u00A8s8\u00AD\u00A8n8\u00AEmn8\u00AF\u00A8\u00A18\u00B0\u00A8m8\u00B1pz7\u00B2\u00AA\u00AB7\u00B3{z7\u00B4\u00AD\u00AE7\u00B5}n7\u00B6\u00A4\u00A57\u00B7\u00A8m7\u00B8wo6\u00B9\u00B5}6\u00BAnq6\u00BB\u00B2\u00AC6\u00BCtu6\u00BDwx6\u00BE\u00B4\u00AF6\u00BF\u00B5n6\u00C0\u00AE\u00AF6\u00C1\u00B6\u00A76\u00C2\u00B7\u00A36\u00C3\u00B6\u00A86\u00C4\u00B7\u00A86\u00C5m\u00A66\u00C6m\u00A86\u00C7\u00A4\u00A55\u00C8\u00A8m5\u00C9m\u00A94\u00CAm\u00AE4\u00CB\u00C7\u00A74\u00CC\u00C8\u00A34\u00CD\u00C7\u00AC4\u00CE\u00C3\u00BB4\u00CF\u00C8\u00AF4\u00D0\u00C4\u00BE4\u00D1m\u00A64\u00D2m\u00AF4\u00D3\u00C6\u00C04\u00D4ma3\u00D5mn3\u00D6\u00C9a3\u00D7\u00CAn3\u00D8\u00CBr3\u00D9\u00C1t3\u00DA\u00CC|3\u00DB\u00C2\u00B93\u00DC\u00CDr3\u00DD\u00CE\u00BC3\u00DE\u00CF|3\u00DF\u00D0\u00BF3\u00E0\u00D8\u00D92\u00E1v\u00B82\u00E2y\u00B12\u00E3\u00DA\u00DB2\u00E4~\u00BA2\u00E5\u00B52\u00E6\u00DC\u00DD2\u00E7v\u00BD2\u00E8y\u00B32\u00E9z{2\u00EA\u00DE\u00DF2\u00EB~n2\u00ECn2\u00ED\u00D1\u00C52\u00EE\u00D2\u00D32\u00EF\u00A2n2\u00F0\u00D4b1\u00F1\u00D5n1\u00F2\u00D6b1\u00F3\u00D7n1\u00F4\u00E0\u00E11\u00F5\u00E2z1\u00F6\u00E3\u00E41\u00F7\u00E6\u00E71\u00F8\u00E8\u00E91\u00F9\u00EA\u00EB1\u00FA\u00F0c0\u00FB\u00F1n0\u00FC\u00F2c0\u00FD\u00F3n0\u00FEmn0\u00FF\u00CAn0\u0100\u00F4\u00F50\u0101\u00F6\u00E50\u0102\u00F7\u00F80\u0103\u00F9\u00EC0\u0104\u00ED\u00EF0\u0105\u00EE\u00EF0\u0106\u00FA\u00FB/\u0107\u00FC\u00FD/\u0108\u0100\u0101/\u0109\u0102\u0103/\u010A\u00C1\u00C2/\u010B\u00C3\u00C4/\u010C\u00FAm.\u010D\u00FCm.\u010E\u0106m.\u010F\u0107m.\u0110\u00FEm.\u0111\u00FFm.\u0112\u0100\u00A7.\u0113\u0102\u00B0.\u0114\u0108\u00A7.\u0115\u0109\u00B0.\u0116\u0104\u00A7.\u0117\u0105\u00B0.\u0118\u00C1\u00A7.\u0119\u00C3\u00A8.\u011A\u010A\u00A7.\u011B\u010B\u00A8.\u011C\u00C5\u00A7.\u011D\u00C6\u00A8.\u011E\u010C\u010D-\u011F\u010E\u010F-\u0120\u0110\u0111-\u0121\u0112\u0113-\u0122\u0114\u0115-\u0123\u0116\u0117-\u0124\u0118\u0119-\u0125\u011A\u011B-\u0126\u011C\u011D-\u0127\u011F\u0120,\u0128\u0122\u0123,\u0129\u0125\u0126,\u012A\u011E\u0127+\u012B\u0121\u0128+\u012C\u0124\u0129+\u012D\u012A\u012B)\u012D\u012C("; +export declare const minimalBddString = "14a1b,c+d2e5f0g/h.i4j*k-l)m(n6oeh6pnm6qen6ril6snh6tin6ubo9vce9wmh9xns9yne9zmi9{cm9|ad9}cp9~aq9ae9\u00A1bf9\u00A2bq9\u00A3cg9\u00A4ck9\u00A5cn9\u00A6nd9\u00A7np9\u00A8nq9\u00A9nf9\u00AAng9\u00ABnm9\u00ACnk9\u00ADmr9\u00AEms9\u00AFmt9\u00B0mj9\u00B1mk9\u00B2ml9\u00B3mn9\u00B4mc8\u00B5\u00B3{8\u00B6\u00AF}8\u00B7\u00B0\u00A48\u00B8\u00B3\u00A78\u00B9mn8\u00BA\u00B3\u00AB8\u00BB\u00B3m8\u00BCm\u00B44\u00BDz\u00B24\u00BE\u00B3w4\u00BFz\u00B54\u00C0\u00AF\u00B64\u00C1\u00B0\u00B74\u00C2\u00B3\u00BA4\u00C3\u00B3\u00B84\u00C4m\u00B94\u00C5v\u00A47\u00C6yn7\u00C7\u00C0\u00C17\u00C8~7\u00C9\u00A5\u00A47\u00CA\u00C3\u00C47\u00CB\u00A8n7\u00CC\u00BA\u00B97\u00CD\u00AD\u00B07\u00CE\u00AEm7\u00CF\u00AF\u00B07\u00D0\u00B1m7\u00D1\u00B3m7\u00D2\u00BCm5\u00D3\u00C4m5\u00D4\u00B9m5\u00D5\u00BD\u00B05\u00D6\u00BEm5\u00D7\u00BF\u00B05\u00D8\u00C7\u00CF5\u00D9\u00C2m5\u00DA\u00CA\u00D15\u00DB\u00B1m5\u00DC\u00BAm5\u00DD\u00CC\u00D15\u00DE\u00D5\u00CD2\u00DF|2\u00E0\u00A1u2\u00E1\u00A3\u00C52\u00E2\u00D6\u00CE2\u00E3\u00A6\u00C62\u00E4\u00A9x2\u00E5\u00AA\u00C62\u00E6\u00D7\u00D82\u00E7|\u00C82\u00E8\u00A1\u00A22\u00E9\u00A3\u00C92\u00EA\u00A4\u00A52\u00EB\u00D9\u00DA2\u00EC\u00A6\u00CB2\u00ED\u00A9n2\u00EE\u00AAn2\u00EF\u00DB\u00D02\u00F0\u00DC\u00DD2\u00F1\u00ACn2\u00F2\u00D2\u00D3/\u00F3an/\u00F4bn/\u00F5cn/\u00F6\u00DE\u00E2/\u00F7\u00DF\u00E3/\u00F8\u00E0\u00E4/\u00F9\u00E1\u00E5/\u00FA\u00E6\u00EB/\u00FB\u00E7\u00EC/\u00FC\u00E8\u00ED/\u00FD\u00E9\u00EE/\u00FE\u00CD\u00CE/\u00FF\u00CF\u00D1/\u0100\u00F2\u00D4,\u0101cn,\u0102\u00F6\u00EF,\u0103\u00A4\u00F1,\u0104\u00FA\u00F0,\u0105\u00EA\u00F1,\u0106\u00FE\u00D0,\u0107\u00FF\u00D1,\u0108ac0\u0109bc0\u010A\u00F3\u00F50\u010B\u00F4\u01010\u010C\u00DF\u00E10\u010D\u00E0\u00A40\u010E\u00E7\u00E90\u010F\u00E8\u00EA0\u0110\u00F7\u00F90\u0111\u00F8\u01030\u0112\u00FB\u00FD0\u0113\u00FC\u01050\u0114m\u00D2-\u0115m\u0100-\u0116\u00DE\u00E6-\u0117\u010C\u010E-\u0118\u010D\u010F-\u0119\u0102\u0104-\u011A\u0110\u0112-\u011B\u0111\u0113-\u011C\u00B2\u00BB-\u011D\u00CD\u00CF-\u011E\u0106\u0107-\u011F\u00B2\u00B3-\u0120\u0114\u01083\u0121\u0115\u010A3\u0122\u0116\u01173\u0123\u0119\u011A3\u0124\u0122\u011D(\u0125\u011C\u011F(\u0126\u0123\u011E(\u0127\u0120\u0121+\u0128\u0109\u010B+\u0129\u0124\u0126+\u012A\u0118\u011B+\u012B\u0127\u01281\u012C\u0129\u012A1\u012D\u012C\u012B*\u012E\u0125m*\u012D\u012E."; export declare function getSimpleBdd(): SimpleBdd; export declare const resolveInput: (input: StateResolveFunctionInput) => number; diff --git a/javascript/dist/esm/src/bdd/bdd.generated.js b/javascript/dist/esm/src/bdd/bdd.generated.js index e77f2e6a..829d3eb7 100644 --- a/javascript/dist/esm/src/bdd/bdd.generated.js +++ b/javascript/dist/esm/src/bdd/bdd.generated.js @@ -1,6 +1,6 @@ import { minimalStringToSimpleBdd, resolveWithSimpleBdd } from 'binary-decision-diagram'; import { stateResolveFunctionByIndex } from '../states/index.js'; -export const minimalBddString = '14a1b,c+d2e5f0g/h.i4j*k-l)m(n6obh9pce9qnh9rad9scm9tae9uan9vbf9wbe9xbn9ycg9zck9{cn9|nd9}ne9~nf9ng9¡nm9¢nk9£mh9¤mi9¥mj9¦mk9§ml9¨mn9©mc8ª¤{8«¥z8¬¨s8­¨n8®mn8¯¨¡8°¨m8±pz7²ª«7³{z7´­®7µ}n7¶¤¥7·¨m7¸wo6¹µ}6ºnq6»²¬6¼tu6½wx6¾´¯6¿µn6À®¯6Á¶§6·£6ö¨6Ä·¨6Åm¦6Æm¨6Ǥ¥5Ȩm5Ém©4Êm®4Ëǧ4ÌÈ£4ÍǬ4Îû4Ïȯ4Ðľ4Ñm¦4Òm¯4ÓÆÀ4Ôma3Õmn3ÖÉa3×Ên3ØËr3ÙÁt3ÚÌ|3Û¹3ÜÍr3Ýμ3ÞÏ|3ßп3àØÙ2áv¸2ây±2ãÚÛ2ä~º2åµ2æÜÝ2çv½2èy³2éz{2êÞß2ë~n2ìn2íÑÅ2îÒÓ2ï¢n2ðÔb1ñÕn1òÖb1ó×n1ôàá1õâz1öãä1÷æç1øèé1ùêë1úðc0ûñn0üòc0ýón0þmn0ÿÊn0Āôõ0āöå0Ă÷ø0ăùì0Ąíï0ąîï0Ćúû/ćüý/ĈĀā/ĉĂă/ĊÁÂ/ċÃÄ/Čúm.čüm.ĎĆm.ďćm.Đþm.đÿm.ĒĀ§.ēĂ°.ĔĈ§.ĕĉ°.ĖĄ§.ėą°.ĘÁ§.ęè.ĚĊ§.ěċ¨.Ĝŧ.ĝƨ.ĞČč-ğĎď-ĠĐđ-ġĒē-ĢĔĕ-ģĖė-ĤĘę-ĥĚě-ĦĜĝ-ħğĠ,ĨĢģ,ĩĥĦ,ĪĞħ+īġĨ+ĬĤĩ+ĭĪī)ĭĬ('; +export const minimalBddString = '14a1b,c+d2e5f0g/h.i4j*k-l)m(n6oeh6pnm6qen6ril6snh6tin6ubo9vce9wmh9xns9yne9zmi9{cm9|ad9}cp9~aq9ae9¡bf9¢bq9£cg9¤ck9¥cn9¦nd9§np9¨nq9©nf9ªng9«nm9¬nk9­mr9®ms9¯mt9°mj9±mk9²ml9³mn9´mc8µ³{8¶¯}8·°¤8¸³§8¹mn8º³«8»³m8¼m´4½z²4¾³w4¿zµ4À¯¶4Á°·4³º4ó¸4Äm¹4Åv¤7Æyn7ÇÀÁ7È~7É¥¤7ÊÃÄ7˨n7̺¹7Í­°7ήm7ϯ°7бm7ѳm7Ò¼m5ÓÄm5Ô¹m5Õ½°5Ö¾m5׿°5ØÇÏ5ÙÂm5ÚÊÑ5Û±m5ܺm5ÝÌÑ5ÞÕÍ2ß|2à¡u2á£Å2âÖÎ2ã¦Æ2ä©x2åªÆ2æ×Ø2ç|È2è¡¢2é£É2ꤥ2ëÙÚ2ì¦Ë2í©n2îªn2ïÛÐ2ðÜÝ2ñ¬n2òÒÓ/óan/ôbn/õcn/öÞâ/÷ßã/øàä/ùáå/úæë/ûçì/üèí/ýéî/þÍÎ/ÿÏÑ/ĀòÔ,ācn,Ăöï,ă¤ñ,Ąúð,ąêñ,ĆþÐ,ćÿÑ,Ĉac0ĉbc0Ċóõ0ċôā0Čßá0čà¤0Ďçé0ďèê0Đ÷ù0đøă0Ēûý0ēüą0ĔmÒ-ĕmĀ-ĖÞæ-ėČĎ-Ęčď-ęĂĄ-ĚĐĒ-ěđē-Ĝ²»-ĝÍÏ-ĞĆć-ğ²³-ĠĔĈ3ġĕĊ3ĢĖė3ģęĚ3ĤĢĝ(ĥĜğ(ĦģĞ(ħĠġ+Ĩĉċ+ĩĤĦ+ĪĘě+īħĨ1ĬĩĪ1ĭĬī*Įĥm*ĭĮ.'; let simpleBdd; export function getSimpleBdd() { if (!simpleBdd) { diff --git a/javascript/dist/esm/src/bdd/bdd.generated.js.map b/javascript/dist/esm/src/bdd/bdd.generated.js.map index 3da1bf2f..50656036 100644 --- a/javascript/dist/esm/src/bdd/bdd.generated.js.map +++ b/javascript/dist/esm/src/bdd/bdd.generated.js.map @@ -1 +1 @@ -{"version":3,"file":"bdd.generated.js","sourceRoot":"","sources":["../../../../src/bdd/bdd.generated.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,wBAAwB,EACxB,oBAAoB,EACvB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjE,MAAM,CAAC,MAAM,gBAAgB,GAAG,2pBAA2pB,CAAC;AAE5rB,IAAI,SAAgC,CAAC;AACrC,MAAM,UAAU,YAAY;IACxB,IAAI,CAAC,SAAS,EAAE;QACZ,SAAS,GAAG,wBAAwB,CAAC,gBAAgB,CAAC,CAAC;KAC1D;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAqC,EAAE,EAAE;IAClE,OAAO,oBAAoB,CACvB,YAAY,EAAE,EACd,2BAA2B,EAC3B,KAAK,CACR,CAAC;AACN,CAAC,CAAC"} \ No newline at end of file +{"version":3,"file":"bdd.generated.js","sourceRoot":"","sources":["../../../../src/bdd/bdd.generated.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,wBAAwB,EACxB,oBAAoB,EACvB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjE,MAAM,CAAC,MAAM,gBAAgB,GAAG,+pBAA+pB,CAAC;AAEhsB,IAAI,SAAgC,CAAC;AACrC,MAAM,UAAU,YAAY;IACxB,IAAI,CAAC,SAAS,EAAE;QACZ,SAAS,GAAG,wBAAwB,CAAC,gBAAgB,CAAC,CAAC;KAC1D;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAqC,EAAE,EAAE;IAClE,OAAO,oBAAoB,CACvB,YAAY,EAAE,EACd,2BAA2B,EAC3B,KAAK,CACR,CAAC;AACN,CAAC,CAAC"} \ No newline at end of file diff --git a/javascript/dist/esm/src/bdd/bdd.template.js.map b/javascript/dist/esm/src/bdd/bdd.template.js.map index c81b5fa6..a4f81c24 100644 --- a/javascript/dist/esm/src/bdd/bdd.template.js.map +++ b/javascript/dist/esm/src/bdd/bdd.template.js.map @@ -1 +1 @@ -{"version":3,"file":"bdd.template.js","sourceRoot":"","sources":["../../../../src/bdd/bdd.template.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,wBAAwB,EACxB,oBAAoB,EACvB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjE,MAAM,CAAC,MAAM,gBAAgB,GAAG,qBAAqB,CAAC;AAEtD,IAAI,SAAgC,CAAC;AACrC,MAAM,UAAU,YAAY;IACxB,IAAI,CAAC,SAAS,EAAE;QACZ,SAAS,GAAG,wBAAwB,CAAC,gBAAgB,CAAC,CAAC;KAC1D;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAqC,EAAE,EAAE;IAClE,OAAO,oBAAoB,CACvB,YAAY,EAAE,EACd,2BAA2B,EAC3B,KAAK,CACR,CAAC;AACN,CAAC,CAAC"} \ No newline at end of file +{"version":3,"file":"bdd.template.js","sourceRoot":"","sources":["../../../../src/bdd/bdd.template.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,wBAAwB,EACxB,oBAAoB,EACvB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjE,MAAM,CAAC,MAAM,gBAAgB,GAAG,qBAAqB,CAAC;AAEtD,IAAI,SAAgC,CAAC;AACrC,MAAM,UAAU,YAAY;IACxB,IAAI,CAAC,SAAS,EAAE;QACZ,SAAS,GAAG,wBAAwB,CAAC,gBAAgB,CAAC,CAAC;KAC1D;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAqC,EAAE,EAAE;IAClE,OAAO,oBAAoB,CACvB,YAAY,EAAE,EACd,2BAA2B,EAC3B,KAAK,CACR,CAAC;AACN,CAAC,CAAC"} \ No newline at end of file diff --git a/javascript/dist/esm/src/bdd/write-bdd-template.d.ts b/javascript/dist/esm/src/bdd/write-bdd-template.d.ts index 42a1d53d..62fb3260 100644 --- a/javascript/dist/esm/src/bdd/write-bdd-template.d.ts +++ b/javascript/dist/esm/src/bdd/write-bdd-template.d.ts @@ -1,3 +1,5 @@ +import { PerformanceMeasurement } from '../truth-table-generator/calculate-bdd-quality.js'; export declare const BDD_TEMPLATE_LOCATION: string; +export declare const BDD_OPTIMIZE_STATE_LOCATION: string; export declare const BDD_TEMPLATE_GOAL: string; -export declare function writeBddTemplate(minimalBddString: string): void; +export declare function writeBddTemplate(minimalBddString: string, performanceMeasurement: PerformanceMeasurement, quality: number): void; diff --git a/javascript/dist/esm/src/bdd/write-bdd-template.js b/javascript/dist/esm/src/bdd/write-bdd-template.js index 56b1c143..297512c1 100644 --- a/javascript/dist/esm/src/bdd/write-bdd-template.js +++ b/javascript/dist/esm/src/bdd/write-bdd-template.js @@ -1,8 +1,9 @@ import * as fs from 'fs'; import path from 'path'; export const BDD_TEMPLATE_LOCATION = path.join(__dirname, './bdd.template.ts'); +export const BDD_OPTIMIZE_STATE_LOCATION = path.join(__dirname, './bdd.optimize.state.json'); export const BDD_TEMPLATE_GOAL = path.join(__dirname, './bdd.generated.ts'); -export function writeBddTemplate(minimalBddString) { +export function writeBddTemplate(minimalBddString, performanceMeasurement, quality) { let templateString = fs.readFileSync(BDD_TEMPLATE_LOCATION, 'utf-8'); const replaceVariables = { minimalBddString: '\'' + minimalBddString + '\'', @@ -12,6 +13,11 @@ export function writeBddTemplate(minimalBddString) { const templateVar = '\'${' + key + '}\''; templateString = templateString.replace(templateVar, contentString); }); + fs.writeFileSync(BDD_OPTIMIZE_STATE_LOCATION, JSON.stringify({ + performanceMeasurement, + minimalBddString, + quality + }, null, 4), { encoding: 'utf8', flag: 'w' }); fs.writeFileSync(BDD_TEMPLATE_GOAL, templateString, { encoding: 'utf8', flag: 'w' }); } //# sourceMappingURL=write-bdd-template.js.map \ No newline at end of file diff --git a/javascript/dist/esm/src/bdd/write-bdd-template.js.map b/javascript/dist/esm/src/bdd/write-bdd-template.js.map index 66a0114e..e3b35f28 100644 --- a/javascript/dist/esm/src/bdd/write-bdd-template.js.map +++ b/javascript/dist/esm/src/bdd/write-bdd-template.js.map @@ -1 +1 @@ -{"version":3,"file":"write-bdd-template.js","sourceRoot":"","sources":["../../../../src/bdd/write-bdd-template.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,IAAI,MAAM,MAAM,CAAC;AAExB,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,IAAI,CAC1C,SAAS,EACT,mBAAmB,CACtB,CAAC;AACF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,IAAI,CACtC,SAAS,EACT,oBAAoB,CACvB,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAC5B,gBAAwB;IAExB,IAAI,cAAc,GAAW,EAAE,CAAC,YAAY,CAAC,qBAAqB,EAAE,OAAO,CAAC,CAAC;IAC7E,MAAM,gBAAgB,GAAG;QACrB,gBAAgB,EAAE,IAAI,GAAG,gBAAgB,GAAG,IAAI;KACnD,CAAC;IAEF,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;QACxD,MAAM,aAAa,GAAG,OAAiB,CAAC;QACxC,MAAM,WAAW,GAAG,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC;QACzC,cAAc,GAAG,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,CACZ,iBAAiB,EACjB,cAAc,EACd,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAClC,CAAC;AACN,CAAC"} \ No newline at end of file +{"version":3,"file":"write-bdd-template.js","sourceRoot":"","sources":["../../../../src/bdd/write-bdd-template.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,IAAI,MAAM,MAAM,CAAC;AAKxB,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,IAAI,CAC1C,SAAS,EACT,mBAAmB,CACtB,CAAC;AACF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,IAAI,CAChD,SAAS,EACT,2BAA2B,CAC9B,CAAC;AACF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,IAAI,CACtC,SAAS,EACT,oBAAoB,CACvB,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAC5B,gBAAwB,EACxB,sBAA8C,EAC9C,OAAe;IAEf,IAAI,cAAc,GAAW,EAAE,CAAC,YAAY,CAAC,qBAAqB,EAAE,OAAO,CAAC,CAAC;IAC7E,MAAM,gBAAgB,GAAG;QACrB,gBAAgB,EAAE,IAAI,GAAG,gBAAgB,GAAG,IAAI;KACnD,CAAC;IAEF,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE;QACxD,MAAM,aAAa,GAAG,OAAiB,CAAC;QACxC,MAAM,WAAW,GAAG,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC;QACzC,cAAc,GAAG,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,aAAa,CACZ,2BAA2B,EAC3B,IAAI,CAAC,SAAS,CAAC;QACX,sBAAsB;QACtB,gBAAgB;QAChB,OAAO;KACV,EAAE,IAAI,EAAE,CAAC,CAAC,EACX,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAClC,CAAC;IAGF,EAAE,CAAC,aAAa,CACZ,iBAAiB,EACjB,cAAc,EACd,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAClC,CAAC;AACN,CAAC"} \ No newline at end of file diff --git a/javascript/dist/esm/src/truth-table-generator/calculate-bdd-quality.js b/javascript/dist/esm/src/truth-table-generator/calculate-bdd-quality.js index 51f5e5ec..73b6d2c7 100644 --- a/javascript/dist/esm/src/truth-table-generator/calculate-bdd-quality.js +++ b/javascript/dist/esm/src/truth-table-generator/calculate-bdd-quality.js @@ -1,5 +1,5 @@ import { resolveWithSimpleBdd } from 'binary-decision-diagram'; -import { performanceNow } from 'async-test-util'; +import { performanceNow, wait } from 'async-test-util'; import { orderedStateList, stateResolveFunctions } from '../states/index.js'; import { HUMAN_MAX_AGE, randomHuman } from './data-generator.js'; import { flatClone, shuffleArray } from '../util.js'; @@ -91,6 +91,10 @@ export async function measurePerformanceOfStateFunctions(rounds = 1000) { const diff = endTime - startTime; ret[stateName] = ret[stateName] + diff; } + if (remainingRounds % 10 === 0) { + // console.log('.. ' + remainingRounds); + await wait(50); + } } // calculate average orderedStateList.forEach(k => ret[k] = (ret[k] / rounds)); diff --git a/javascript/dist/esm/src/truth-table-generator/calculate-bdd-quality.js.map b/javascript/dist/esm/src/truth-table-generator/calculate-bdd-quality.js.map index 71cb3a2a..23ec7c3b 100644 --- a/javascript/dist/esm/src/truth-table-generator/calculate-bdd-quality.js.map +++ b/javascript/dist/esm/src/truth-table-generator/calculate-bdd-quality.js.map @@ -1 +1 @@ -{"version":3,"file":"calculate-bdd-quality.js","sourceRoot":"","sources":["../../../../src/truth-table-generator/calculate-bdd-quality.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,oBAAoB,EAEvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACH,cAAc,EACjB,MAAM,iBAAiB,CAAC;AAUzB,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACxB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEjE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAOvD,qBAAqB;AACrB,8BAA8B;AAC9B,MAAM,SAAS,GAAe;IAC1B,QAAQ,EAAE;QACN,MAAM,EAAE,GAAG;QACX,GAAG,EAAE;YACD,GAAG,EAAE,EAAE;YACP,GAAG,EAAE,EAAE;SACV;KACJ;IACD,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,EAAE;IACT,IAAI,EAAE;QACF,MAAM;QACN,KAAK;QACL,KAAK;KACR;CACJ,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACpD,SAAiB,IAAI;IAErB,MAAM,GAAG,GAA2B,EAAS,CAAC;IAC9C,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAE1C,MAAM,UAAU,GAAG,sBAAsB,EAAE,CAAC;IAC5C,MAAM,OAAO,CAAC,GAAG,CACb,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CACrE,CAAC;IAEF,MAAM,eAAe,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAE1D,MAAM,cAAc,GAAgC,IAAI,GAAG,EAAE,CAAC;IAC9D,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE3D,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;IAC7B,MAAM,WAAW,GAAG,UAAU,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IAEzD,MAAM,gBAAgB,GAAqC;QACvD,WAAW;QACX,WAAW,EAAE;YACT,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,MAAM;YACX,EAAE,EAAE,MAAM,CAAC,GAAG;YACd,QAAQ,EAAE,IAAI;SACjB;QACD,eAAe;QACf,cAAc;KACjB,CAAC;IAEF,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE;QACrB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;KACjD;IACD,MAAM,UAAU,GAAG,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,UAAU,CAAC,GAAG,GAAG,aAAa,CAAC;IAC/B,UAAU,CAAC,IAAI,GAAG,OAAO,CAAC;IAC1B,MAAM,gBAAgB,GAAqC;QACvD,WAAW;QACX,WAAW,EAAE;YACT,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,UAAU;YACf,EAAE,EAAE,UAAU,CAAC,GAAG;YAClB,QAAQ,EAAE,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;SAC1C;QACD,eAAe;QACf,cAAc;KAEjB,CAAC;IAEF,MAAM,gBAAgB,GAAqC;QACvD,WAAW;QACX,WAAW,EAAE;YACT,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,IAAI;YACT,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG;YAC1B,QAAQ,EAAE,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;SAC1C;QACD,eAAe;QACf,cAAc;KAEjB,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAErB,IAAI,eAAe,GAAG,MAAM,CAAC;IAC7B,OAAO,eAAe,GAAG,CAAC,EAAE;QACxB,eAAe,EAAE,CAAC;QAElB,sCAAsC;QACtC,MAAM,iBAAiB,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAC;QAEzD,KAAK,MAAM,SAAS,IAAI,iBAAiB,EAAE;YACvC,MAAM,OAAO,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;YACjD,MAAM,SAAS,GAAG,cAAc,EAAE,CAAC;YACnC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,MAAM,OAAO,GAAG,cAAc,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,OAAO,GAAG,SAAS,CAAC;YACjC,GAAG,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;SAC1C;KACJ;IAED,oBAAoB;IACpB,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAE1D,OAAO,GAAG,CAAC;AACf,CAAC;AAGD;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAC9B,CAAW,EACX,CAAW,EACX,eAAuC,EACvC,OAAqB,EACrB,UAAuB;IAEvB,MAAM,EAAE,GAAG,MAAM,eAAe,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1E,MAAM,EAAE,GAAG,MAAM,eAAe,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1E,IAAI,EAAE,GAAG,EAAE,EAAE;QACT,OAAO,CAAC,CAAC;KACZ;SAAM;QACH,OAAO,CAAC,CAAC;KACZ;AACL,CAAC;AAOD,MAAM,gBAAgB,GAAG,sBAAsB,EAAE,CAAC;AAElD,MAAM,UAAU,mBAAmB,CAC/B,GAAa,EACb,OAAqB,EACrB,UAAuB;IAEvB,MAAM,GAAG,GAAuB,EAAS,CAAC;IAC1C,gBAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IAE1D,MAAM,iBAAiB,GAAsB,EAAE,CAAC;IAChD,gBAAgB,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAC1C,MAAM,EAAE,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;QAC5C,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAmC,EAAE,EAAE;YAC/D,GAAG,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YACpC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,MAAM,kBAAkB,GAAwC,IAAI,GAAG,EAAE,CAAC;IAC1E,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QACpB,kBAAkB,CAAC,GAAG,CAClB,KAAK,EACL,gBAAgB,CAAC,cAAc,CAAC,KAAK,CAAC,CACzC,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;QAChC,MAAM,UAAU,GAAG,sBAAsB,EAAE,CAAC;QAC5C,KAAK,MAAM,WAAW,IAAI,SAAS,EAAE;YAEjC,uBAAuB;YACvB,MAAM,aAAa,GAA6B,IAAI,GAAG,EAAE,CAAC;YAE1D,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBACpB,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACpC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAClC,CAAC,CAAC,CAAC;YAEH,gBAAgB,CACZ,UAAU,EACV,WAAW,CACd,CAAC;YAEF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;gBACzB,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAuB,CAAC;gBACnE,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAY,CAAC;gBAC5D,MAAM,KAAK,GAA+B;oBACtC,WAAW;oBACX,eAAe;oBACf,WAAW,EAAE,MAAM;iBACtB,CAAC;gBAEF,MAAM,aAAa,GAAG,oBAAoB,CACtC,GAAG,CAAC,WAAW,EAAE,EACjB,iBAAiB,EACjB,KAAK,CACR,CAAC;aACL;SACJ;KACJ;IAED,OAAO,GAAG,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAA8B,IAAI,OAAO,EAAE,CAAC;AAC7E,MAAM,UAAU,eAAe,CAC3B,GAAa,EACb,eAAuC,EACvC,OAAqB,EACrB,UAAuB;IAEvB,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QAChC,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACjE,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;YACvC,MAAM,SAAS,GAAc,KAAK,CAAC,CAAC,CAAc,CAAC;YACnD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;YAC5B,SAAS,GAAG,SAAS,GAAG,KAAK,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;QACjC,oBAAoB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;KAC1C;IACD,OAAO,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAW,CAAC;AACnD,CAAC"} \ No newline at end of file +{"version":3,"file":"calculate-bdd-quality.js","sourceRoot":"","sources":["../../../../src/truth-table-generator/calculate-bdd-quality.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,oBAAoB,EAEvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACH,cAAc,EAAE,IAAI,EACvB,MAAM,iBAAiB,CAAC;AAUzB,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACxB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEjE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAOvD,qBAAqB;AACrB,8BAA8B;AAC9B,MAAM,SAAS,GAAe;IAC1B,QAAQ,EAAE;QACN,MAAM,EAAE,GAAG;QACX,GAAG,EAAE;YACD,GAAG,EAAE,EAAE;YACP,GAAG,EAAE,EAAE;SACV;KACJ;IACD,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,EAAE;IACT,IAAI,EAAE;QACF,MAAM;QACN,KAAK;QACL,KAAK;KACR;CACJ,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACpD,SAAiB,IAAI;IAErB,MAAM,GAAG,GAA2B,EAAS,CAAC;IAC9C,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAE1C,MAAM,UAAU,GAAG,sBAAsB,EAAE,CAAC;IAC5C,MAAM,OAAO,CAAC,GAAG,CACb,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CACrE,CAAC;IAEF,MAAM,eAAe,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAE1D,MAAM,cAAc,GAAgC,IAAI,GAAG,EAAE,CAAC;IAC9D,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE3D,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;IAC7B,MAAM,WAAW,GAAG,UAAU,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IAEzD,MAAM,gBAAgB,GAAqC;QACvD,WAAW;QACX,WAAW,EAAE;YACT,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,MAAM;YACX,EAAE,EAAE,MAAM,CAAC,GAAG;YACd,QAAQ,EAAE,IAAI;SACjB;QACD,eAAe;QACf,cAAc;KACjB,CAAC;IAEF,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE;QACrB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;KACjD;IACD,MAAM,UAAU,GAAG,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,UAAU,CAAC,GAAG,GAAG,aAAa,CAAC;IAC/B,UAAU,CAAC,IAAI,GAAG,OAAO,CAAC;IAC1B,MAAM,gBAAgB,GAAqC;QACvD,WAAW;QACX,WAAW,EAAE;YACT,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,UAAU;YACf,EAAE,EAAE,UAAU,CAAC,GAAG;YAClB,QAAQ,EAAE,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;SAC1C;QACD,eAAe;QACf,cAAc;KAEjB,CAAC;IAEF,MAAM,gBAAgB,GAAqC;QACvD,WAAW;QACX,WAAW,EAAE;YACT,SAAS,EAAE,QAAQ;YACnB,GAAG,EAAE,IAAI;YACT,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG;YAC1B,QAAQ,EAAE,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;SAC1C;QACD,eAAe;QACf,cAAc;KAEjB,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAErB,IAAI,eAAe,GAAG,MAAM,CAAC;IAC7B,OAAO,eAAe,GAAG,CAAC,EAAE;QACxB,eAAe,EAAE,CAAC;QAElB,sCAAsC;QACtC,MAAM,iBAAiB,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAC;QAEzD,KAAK,MAAM,SAAS,IAAI,iBAAiB,EAAE;YACvC,MAAM,OAAO,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;YACjD,MAAM,SAAS,GAAG,cAAc,EAAE,CAAC;YACnC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,MAAM,OAAO,GAAG,cAAc,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,OAAO,GAAG,SAAS,CAAC;YACjC,GAAG,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;SAC1C;QAED,IAAI,eAAe,GAAG,EAAE,KAAK,CAAC,EAAE;YAC5B,wCAAwC;YACxC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC;SAClB;KACJ;IAED,oBAAoB;IACpB,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAC1D,OAAO,GAAG,CAAC;AACf,CAAC;AAGD;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAC9B,CAAW,EACX,CAAW,EACX,eAAuC,EACvC,OAAqB,EACrB,UAAuB;IAEvB,MAAM,EAAE,GAAG,MAAM,eAAe,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1E,MAAM,EAAE,GAAG,MAAM,eAAe,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1E,IAAI,EAAE,GAAG,EAAE,EAAE;QACT,OAAO,CAAC,CAAC;KACZ;SAAM;QACH,OAAO,CAAC,CAAC;KACZ;AACL,CAAC;AASD,MAAM,gBAAgB,GAAG,sBAAsB,EAAE,CAAC;AAElD,MAAM,UAAU,mBAAmB,CAC/B,GAAa,EACb,OAAqB,EACrB,UAAuB;IAEvB,MAAM,GAAG,GAAuB,EAAS,CAAC;IAC1C,gBAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IAE1D,MAAM,iBAAiB,GAAsB,EAAE,CAAC;IAChD,gBAAgB,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAC1C,MAAM,EAAE,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;QAC5C,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAmC,EAAE,EAAE;YAC/D,GAAG,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YACpC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,MAAM,kBAAkB,GAAwC,IAAI,GAAG,EAAE,CAAC;IAC1E,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QACpB,kBAAkB,CAAC,GAAG,CAClB,KAAK,EACL,gBAAgB,CAAC,cAAc,CAAC,KAAK,CAAC,CACzC,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;QAChC,MAAM,UAAU,GAAG,sBAAsB,EAAE,CAAC;QAC5C,KAAK,MAAM,WAAW,IAAI,SAAS,EAAE;YAEjC,uBAAuB;YACvB,MAAM,aAAa,GAA6B,IAAI,GAAG,EAAE,CAAC;YAE1D,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBACpB,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACpC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAClC,CAAC,CAAC,CAAC;YAEH,gBAAgB,CACZ,UAAU,EACV,WAAW,CACd,CAAC;YAEF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;gBACzB,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAuB,CAAC;gBACnE,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAY,CAAC;gBAC5D,MAAM,KAAK,GAA+B;oBACtC,WAAW;oBACX,eAAe;oBACf,WAAW,EAAE,MAAM;iBACtB,CAAC;gBAEF,MAAM,aAAa,GAAG,oBAAoB,CACtC,GAAG,CAAC,WAAW,EAAE,EACjB,iBAAiB,EACjB,KAAK,CACR,CAAC;aACL;SACJ;KACJ;IAED,OAAO,GAAG,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAA8B,IAAI,OAAO,EAAE,CAAC;AAC7E,MAAM,UAAU,eAAe,CAC3B,GAAa,EACb,eAAuC,EACvC,OAAqB,EACrB,UAAuB;IAEvB,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QAChC,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACjE,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;YACvC,MAAM,SAAS,GAAc,KAAK,CAAC,CAAC,CAAc,CAAC;YACnD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;YAC5B,SAAS,GAAG,SAAS,GAAG,KAAK,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;QACjC,oBAAoB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;KAC1C;IACD,OAAO,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAW,CAAC;AACnD,CAAC"} \ No newline at end of file diff --git a/javascript/dist/esm/src/truth-table-generator/index.js b/javascript/dist/esm/src/truth-table-generator/index.js index 24b0c107..e741688b 100644 --- a/javascript/dist/esm/src/truth-table-generator/index.js +++ b/javascript/dist/esm/src/truth-table-generator/index.js @@ -96,13 +96,7 @@ export function doesActionWork(input, resultAfter, actionName, log = false) { if (actionName === 'runFullQueryAgain') { return true; } - /* - console.log('--- '.repeat(100)); - console.dir(input); - console.dir(input.previousResults); - console.dir(resultAfter);*/ const calculatedResults = runAction(actionName, input.queryParams, input.changeEvent, input.previousResults.slice()); - // console.dir(calculatedResults); if ( // optimisation shortcut, this is faster because we know we have two arrays calculatedResults.length === resultAfter.length && diff --git a/javascript/dist/esm/src/truth-table-generator/index.js.map b/javascript/dist/esm/src/truth-table-generator/index.js.map index 61006e3d..7b8760ee 100644 --- a/javascript/dist/esm/src/truth-table-generator/index.js.map +++ b/javascript/dist/esm/src/truth-table-generator/index.js.map @@ -1 +1 @@ -{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/truth-table-generator/index.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,YAAY,CAAC;AAanC,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AASvD,MAAM,UAAU,kBAAkB,CAAC,EAC/B,OAAO,EACP,UAAU,EACV,KAAK,GAAG,IAAI,GAAG,EAAE,EACjB,GAAG,GAAG,KAAK,EACW;IAEtB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,OAAO,CAAC,IAAI,EAAE;QACV,IAAI,YAAY,GAAW,CAAC,CAAC;QAC7B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;YAChC,IAAI,GAAG,EAAE;gBACL,OAAO,CAAC,GAAG,CAAC,2CAA2C,GAAG,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;aAC3F;YACD,MAAM,OAAO,GAAG,0BAA0B,CACtC,KAAK,EACL,OAAO,EACP,SAAS,EACT,GAAG,CACN,CAAC;YACF,YAAY,GAAG,YAAY,GAAG,OAAO,CAAC;SACzC;QACD,IAAI,YAAY,KAAK,CAAC,EAAE;YACpB,IAAI,GAAG,IAAI,CAAC;SACf;KACJ;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAGD,MAAM,UAAU,0BAA0B,CACtC,KAAK,GAAG,IAAI,GAAG,EAAE,EACjB,OAAqB,EACrB,SAAoB,EACpB,MAAe,KAAK;IAEpB,IAAI,GAAG,EAAE;QACL,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;KAC/C;IACD,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,MAAM,kBAAkB,GAAwC,IAAI,GAAG,EAAE,CAAC;IAE1E,MAAM,UAAU,GAAG,sBAAsB,EAAE,CAAC;IAC5C,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACtB,kBAAkB,CAAC,GAAG,CAClB,KAAK,EACL,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,CACnC,CAAC;IACN,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAA6B,IAAI,GAAG,EAAE,CAAC;IAC1D,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACtB,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,WAAW,IAAI,SAAS,EAAE;QAEjC,gBAAgB,CACZ,UAAU,EACV,WAAW,CACd,CAAC;QAEF,wCAAwC;QACxC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;YACzB,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAuB,CAAC;YACnE,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAY,CAAC;YACnD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,KAAK,GAA+B;gBACtC,WAAW;gBACX,eAAe,EAAE,MAAM,CAAC,KAAK,EAAE;gBAC/B,WAAW,EAAE,MAAM;aACtB,CAAC;YACF,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YAGjC,IAAI,KAAK,KAAK,mBAAmB,EAAE;gBAC/B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,CAAC,IAAI,EAAE,CAAC;aAClB;YAED,IAAI,eAAe,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,CAAC,eAAe,EAAE;gBAClB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBACpB,eAAe,GAAG,CAAC,CAAC;aACvB;YAED,MAAM,WAAW,GAAG,oBAAoB,CACpC,KAAK,EACL,KAAK,EACL,eAAe,CAClB,CAAC;YAEF,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEhC,IAAI,WAAW,KAAK,eAAe,EAAE;gBACjC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;gBAC9B,YAAY,EAAE,CAAC;gBAEf,IAAI,GAAG,EAAE;oBACL,OAAO,CAAC,GAAG,CACP,gBAAgB,GAAG,KAAK,GAAG,UAAU;wBACrC,iBAAiB,CAAC,eAAe,CAAC;wBAClC,MAAM,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAC1C,CAAC;iBACL;aACJ;SACJ;KACJ;IAED,OAAO,YAAY,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,KAAiC,EACjC,WAAoB,EACpB,mBAA2B,EAC3B,MAAe,KAAK;IAEpB,IAAI,CAAC,GAAG,mBAAmB,CAAC;IAC5B,OAAO,CAAC,IAAI,iBAAiB,CAAC,MAAM,EAAE;QAClC,MAAM,UAAU,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,cAAc,CAC3B,KAAK,EACL,WAAW,EACX,UAAU,EACV,GAAG,CACN,CAAC;QACF,+CAA+C;QAE/C,IAAI,QAAQ,EAAE;YACV,IAAI,UAAU,KAAK,aAAa,EAAE;gBAC9B,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;aACxD;YAED,OAAO,CAAC,CAAC;SACZ;QAED,CAAC,EAAE,CAAC;KACP;IACD,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;AAChD,CAAC;AAGD;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC1B,KAAiC,EACjC,WAAoB,EACpB,UAAsB,EACtB,MAAe,KAAK;IAEpB,IAAI,UAAU,KAAK,mBAAmB,EAAE;QACpC,OAAO,IAAI,CAAC;KACf;IAED;;;;+BAI2B;IAE3B,MAAM,iBAAiB,GAAG,SAAS,CAC/B,UAAU,EACV,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,eAAe,CAAC,KAAK,EAAE,CAChC,CAAC;IACF,kCAAkC;IAElC;IACI,2EAA2E;IAC3E,iBAAiB,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;QAC/C,SAAS,CACL,iBAAiB,EACjB,WAAW,CACd,EACH;QACE,OAAO,IAAI,CAAC;KACf;SAAM;QACH,OAAO,KAAK,CAAC;KAChB;AACL,CAAC"} \ No newline at end of file +{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/truth-table-generator/index.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,YAAY,CAAC;AAanC,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AASvD,MAAM,UAAU,kBAAkB,CAAC,EAC/B,OAAO,EACP,UAAU,EACV,KAAK,GAAG,IAAI,GAAG,EAAE,EACjB,GAAG,GAAG,KAAK,EACW;IAEtB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,OAAO,CAAC,IAAI,EAAE;QACV,IAAI,YAAY,GAAW,CAAC,CAAC;QAC7B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;YAChC,IAAI,GAAG,EAAE;gBACL,OAAO,CAAC,GAAG,CAAC,2CAA2C,GAAG,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;aAC3F;YACD,MAAM,OAAO,GAAG,0BAA0B,CACtC,KAAK,EACL,OAAO,EACP,SAAS,EACT,GAAG,CACN,CAAC;YACF,YAAY,GAAG,YAAY,GAAG,OAAO,CAAC;SACzC;QACD,IAAI,YAAY,KAAK,CAAC,EAAE;YACpB,IAAI,GAAG,IAAI,CAAC;SACf;KACJ;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAGD,MAAM,UAAU,0BAA0B,CACtC,KAAK,GAAG,IAAI,GAAG,EAAE,EACjB,OAAqB,EACrB,SAAoB,EACpB,MAAe,KAAK;IAEpB,IAAI,GAAG,EAAE;QACL,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;KAC/C;IACD,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,MAAM,kBAAkB,GAAwC,IAAI,GAAG,EAAE,CAAC;IAE1E,MAAM,UAAU,GAAG,sBAAsB,EAAE,CAAC;IAC5C,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACtB,kBAAkB,CAAC,GAAG,CAClB,KAAK,EACL,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,CACnC,CAAC;IACN,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAA6B,IAAI,GAAG,EAAE,CAAC;IAC1D,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACtB,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,WAAW,IAAI,SAAS,EAAE;QAEjC,gBAAgB,CACZ,UAAU,EACV,WAAW,CACd,CAAC;QAEF,wCAAwC;QACxC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;YACzB,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAuB,CAAC;YACnE,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAY,CAAC;YACnD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,KAAK,GAA+B;gBACtC,WAAW;gBACX,eAAe,EAAE,MAAM,CAAC,KAAK,EAAE;gBAC/B,WAAW,EAAE,MAAM;aACtB,CAAC;YACF,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YAGjC,IAAI,KAAK,KAAK,mBAAmB,EAAE;gBAC/B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,CAAC,IAAI,EAAE,CAAC;aAClB;YAED,IAAI,eAAe,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,CAAC,eAAe,EAAE;gBAClB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBACpB,eAAe,GAAG,CAAC,CAAC;aACvB;YAED,MAAM,WAAW,GAAG,oBAAoB,CACpC,KAAK,EACL,KAAK,EACL,eAAe,CAClB,CAAC;YAEF,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEhC,IAAI,WAAW,KAAK,eAAe,EAAE;gBACjC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;gBAC9B,YAAY,EAAE,CAAC;gBAEf,IAAI,GAAG,EAAE;oBACL,OAAO,CAAC,GAAG,CACP,gBAAgB,GAAG,KAAK,GAAG,UAAU;wBACrC,iBAAiB,CAAC,eAAe,CAAC;wBAClC,MAAM,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAC1C,CAAC;iBACL;aACJ;SACJ;KACJ;IAED,OAAO,YAAY,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,KAAiC,EACjC,WAAoB,EACpB,mBAA2B,EAC3B,MAAe,KAAK;IAEpB,IAAI,CAAC,GAAG,mBAAmB,CAAC;IAC5B,OAAO,CAAC,IAAI,iBAAiB,CAAC,MAAM,EAAE;QAClC,MAAM,UAAU,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,cAAc,CAC3B,KAAK,EACL,WAAW,EACX,UAAU,EACV,GAAG,CACN,CAAC;QACF,+CAA+C;QAE/C,IAAI,QAAQ,EAAE;YACV,IAAI,UAAU,KAAK,aAAa,EAAE;gBAC9B,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;aACxD;YAED,OAAO,CAAC,CAAC;SACZ;QAED,CAAC,EAAE,CAAC;KACP;IACD,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;AAChD,CAAC;AAGD;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC1B,KAAiC,EACjC,WAAoB,EACpB,UAAsB,EACtB,MAAe,KAAK;IAEpB,IAAI,UAAU,KAAK,mBAAmB,EAAE;QACpC,OAAO,IAAI,CAAC;KACf;IAED,MAAM,iBAAiB,GAAG,SAAS,CAC/B,UAAU,EACV,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,eAAe,CAAC,KAAK,EAAE,CAChC,CAAC;IAEF;IACI,2EAA2E;IAC3E,iBAAiB,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;QAC/C,SAAS,CACL,iBAAiB,EACjB,WAAW,CACd,EACH;QACE,OAAO,IAAI,CAAC;KACf;SAAM;QACH,OAAO,KAAK,CAAC;KAChB;AACL,CAAC"} \ No newline at end of file diff --git a/javascript/dist/esm/src/truth-table-generator/runner.node.js b/javascript/dist/esm/src/truth-table-generator/runner.node.js index f40fa402..18a9f0b5 100644 --- a/javascript/dist/esm/src/truth-table-generator/runner.node.js +++ b/javascript/dist/esm/src/truth-table-generator/runner.node.js @@ -1,5 +1,5 @@ import * as fs from 'fs'; -import { createBddFromTruthTable, bddToMinimalString, fillTruthTable, optimizeBruteForce } from 'binary-decision-diagram'; +import { createBddFromTruthTable, bddToMinimalString, fillTruthTable, optimizeBruteForce, resolveWithSimpleBdd, booleanStringToBoolean, minimalStringToSimpleBdd } from 'binary-decision-diagram'; import { OUTPUT_FOLDER_PATH, OUTPUT_TRUTH_TABLE_PATH } from './config.js'; import { getQueryVariations } from './queries.js'; import { getTestProcedures } from './procedures.js'; @@ -7,8 +7,9 @@ import { generateTruthTable } from './index.js'; import { mapToObject, objectToMap, roundToTwoDecimals } from '../util.js'; import { readJsonFile, writeJsonFile } from './util.js'; import { fuzzing } from './fuzzing.js'; -import { writeBddTemplate } from '../bdd/write-bdd-template.js'; +import { BDD_OPTIMIZE_STATE_LOCATION, writeBddTemplate } from '../bdd/write-bdd-template.js'; import { measurePerformanceOfStateFunctions, getBetterBdd, getQualityOfBdd } from './calculate-bdd-quality.js'; +import { orderedStateList } from '../states/index.js'; /** * sort object attributes * @link https://stackoverflow.com/a/39442287 @@ -22,6 +23,13 @@ export function sortObject(obj) { [k]: v }), {}); } +function loadTruthTable() { + const truthTable = objectToMap(readJsonFile(OUTPUT_TRUTH_TABLE_PATH)); + return truthTable; +} +function getQuality(bdd, perfMeasurement) { + return getQualityOfBdd(bdd, perfMeasurement, getQueryVariations(), getTestProcedures()); +} const unknownValueActionId = 42; async function run() { if (!fs.existsSync(OUTPUT_FOLDER_PATH)) { @@ -66,9 +74,6 @@ async function run() { const procedures = getTestProcedures(); let totalAmountOfHandled = 0; let totalAmountOfOptimized = 0; - function loadTruthTable() { - return objectToMap(readJsonFile(OUTPUT_TRUTH_TABLE_PATH)); - } let truthTable = loadTruthTable(); const startTruthTableEntries = truthTable.size; while (true) { @@ -146,7 +151,7 @@ async function run() { case 'create-bdd': (async function createBdd() { console.log('read table..'); - const truthTable = objectToMap(readJsonFile(OUTPUT_TRUTH_TABLE_PATH)); + const truthTable = loadTruthTable(); console.log('table size: ' + truthTable.size); // fill missing rows with unknown fillTruthTable(truthTable, truthTable.keys().next().value.length, unknownValueActionId); @@ -156,8 +161,10 @@ async function run() { console.log('remove unkown states..'); bdd.removeIrrelevantLeafNodes(unknownValueActionId); bdd.log(); + const performanceMeasurement = await measurePerformanceOfStateFunctions(2000); + const quality = getQuality(bdd, performanceMeasurement); const bddMinimalString = bddToMinimalString(bdd); - writeBddTemplate(bddMinimalString); + writeBddTemplate(bddMinimalString, performanceMeasurement, quality); console.log('nodes after minify: ' + bdd.countNodes()); })(); break; @@ -166,17 +173,18 @@ async function run() { (async function optimizeBdd() { console.log('read table..'); let lastBetterFoundTime = new Date().getTime(); - const truthTable = objectToMap(readJsonFile(OUTPUT_TRUTH_TABLE_PATH)); + const truthTable = loadTruthTable(); console.log('table size: ' + truthTable.size); // fill missing rows with unknown fillTruthTable(truthTable, truthTable.keys().next().value.length, unknownValueActionId); + const optimizeState = JSON.parse(fs.readFileSync(BDD_OPTIMIZE_STATE_LOCATION, 'utf-8')); + const performanceMeasurement = optimizeState.performanceMeasurement; let currentBest; - const perfMeasurement = await measurePerformanceOfStateFunctions(10000); - console.log('state function performance:'); - console.dir(perfMeasurement); - function getQuality(bdd) { - return getQualityOfBdd(bdd, perfMeasurement, getQueryVariations(), getTestProcedures()); - } + const resolvers = {}; + new Array(orderedStateList.length).fill(0).forEach((_x, index) => { + const fn = (state) => booleanStringToBoolean(state[index]); + resolvers[index] = fn; + }); await optimizeBruteForce({ truthTable, iterations: 10000000, @@ -187,32 +195,50 @@ async function run() { bdd.removeIrrelevantLeafNodes(unknownValueActionId); if (currentBest) { console.log('current best bdd has ' + currentBest.countNodes() + ' nodes ' + - 'and a quality of ' + getQuality(currentBest) + ' ' + - 'while newly tested one has quality of ' + getQuality(bdd)); + 'and a quality of ' + getQuality(currentBest, performanceMeasurement) + ' ' + + 'while newly tested one has quality of ' + getQuality(bdd, performanceMeasurement)); } else { currentBest = bdd; } }, compareResults: (a, b) => { - const betterOne = getBetterBdd(a, b, perfMeasurement, getQueryVariations(), getTestProcedures()); + const betterOne = getBetterBdd(a, b, performanceMeasurement, getQueryVariations(), getTestProcedures()); return betterOne; }, onBetterBdd: async (res) => { console.log('#'.repeat(100)); console.log('## Yeah! found better bdd ##'); lastBetterFoundTime = new Date().getTime(); - const bddMinimalString = bddToMinimalString(currentBest); - const quality = getQuality(currentBest); - console.log('nodes: ' + currentBest.countNodes()); + const quality = getQuality(res.bdd, performanceMeasurement); + console.log('nodes: ' + res.bdd.countNodes()); console.log('quality(new): ' + quality); - console.log('quality(old): ' + getQuality(currentBest)); - console.log('new string: ' + bddMinimalString); + console.log('quality(old): ' + getQuality(currentBest, performanceMeasurement)); + const currentOptimizeState = JSON.parse(fs.readFileSync(BDD_OPTIMIZE_STATE_LOCATION, 'utf-8')); + console.log('currentOptimizeState.quality' + currentOptimizeState.quality); currentBest = res.bdd; - writeBddTemplate(bddMinimalString); - console.log('-'.repeat(100)); + // ensure correctness to have a double-check that the bdd works correctly + const bddMinimalString = bddToMinimalString(currentBest); + const simpleBdd = minimalStringToSimpleBdd(bddMinimalString); + for (const [key, value] of loadTruthTable().entries()) { + const bddValue = resolveWithSimpleBdd(simpleBdd, resolvers, key); + if (value !== bddValue) { + console.error('# Error: minimalBdd has different value compared to truth table ' + key); + console.dir({ value, bddValue }); + process.exit(-1); + } + } + if (quality > currentOptimizeState.quality) { + console.log('########## BETTER THEN BEFORE ! -> Save it'); + console.log('new string: ' + bddMinimalString); + writeBddTemplate(bddMinimalString, performanceMeasurement, quality); + console.log('-'.repeat(100)); + } + else { + console.log('# DROP BECAUSE has better one with quality ' + currentOptimizeState.quality); + } }, - log: true + log: false }); })(); break; diff --git a/javascript/dist/esm/src/truth-table-generator/runner.node.js.map b/javascript/dist/esm/src/truth-table-generator/runner.node.js.map index 90651a51..c55e8f46 100644 --- a/javascript/dist/esm/src/truth-table-generator/runner.node.js.map +++ b/javascript/dist/esm/src/truth-table-generator/runner.node.js.map @@ -1 +1 @@ -{"version":3,"file":"runner.node.js","sourceRoot":"","sources":["../../../../src/truth-table-generator/runner.node.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EACH,uBAAuB,EAEvB,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAGrB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EACH,kBAAkB,EAClB,uBAAuB,EAC1B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,EACH,WAAW,EACX,WAAW,EACX,kBAAkB,EACrB,MAAM,YAAY,CAAC;AACpB,OAAO,EACH,YAAY,EACZ,aAAa,EAChB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EACH,kCAAkC,EAClC,YAAY,EACZ,eAAe,EAClB,MAAM,4BAA4B,CAAC;AAEpC;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAI,GAAM;IAChC,OAAO,MAAM;SACR,OAAO,CAAC,GAAU,CAAC;SACnB,IAAI,EAAE;SACN,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7B,GAAG,UAAU;QACb,CAAC,CAAC,CAAC,EAAE,CAAC;KACT,CAAC,EAAE,EAAE,CAAM,CAAC;AACrB,CAAC;AAED,MAAM,oBAAoB,GAAW,EAAE,CAAC;AAExC,KAAK,UAAU,GAAG;IAEd,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE;QACpC,EAAE,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;KACpC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,CAAC,GAAG,CAAC,eAAe,GAAG,OAAO,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAExB,QAAQ,OAAO,EAAE;QACb,KAAK,sBAAsB;YACvB,CAAC,KAAK,UAAU,QAAQ;gBACpB,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAAC;gBACrC,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;gBACvC,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC;oBACnC,OAAO;oBACP,UAAU;oBACV,GAAG,EAAE,IAAI;iBACZ,CAAC,CAAC;gBAEH,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACnB,MAAM,WAAW,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBACvC,aAAa,CACT,uBAAuB,EACvB,WAAW,CACd,CAAC;YACN,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAEV,KAAK,SAAS;YACV,CAAC,KAAK,UAAU,IAAI;gBAChB,MAAM,UAAU,GAAqB,WAAW,CAC5C,YAAY,CAAC,uBAAuB,CAAC,CACxC,CAAC;gBACF,MAAM,MAAM,GAAG,OAAO,CAClB,UAAU,EACV,EAAE,EAAE,UAAU;gBACd,EAAE,CAAC,SAAS;iBACf,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACxB,CAAC,CAAC,EAAE,CAAC;YAEL,MAAM;QAEV;;;WAGG;QACH,KAAK,mBAAmB;YACpB,CAAC,KAAK,UAAU,gBAAgB;gBAC5B,IAAI,kBAAkB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAE9C,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAAC;gBACrC,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;gBACvC,IAAI,oBAAoB,GAAG,CAAC,CAAC;gBAC7B,IAAI,sBAAsB,GAAG,CAAC,CAAC;gBAE/B,SAAS,cAAc;oBACnB,OAAO,WAAW,CACd,YAAY,CAAC,uBAAuB,CAAC,CACxC,CAAC;gBACN,CAAC;gBACD,IAAI,UAAU,GAAqB,cAAc,EAAE,CAAC;gBACpD,MAAM,sBAAsB,GAAG,UAAU,CAAC,IAAI,CAAC;gBAE/C,OAAO,IAAI,EAAE;oBACT,IAAI,iBAAiB,GAAG,KAAK,CAAC;oBAC9B,IAAI,YAAY,GAAG,CAAC,CAAC;oBAErB,OAAO,CAAC,iBAAiB,EAAE;wBACvB,YAAY,EAAE,CAAC;wBAEf,IAAI,YAAY,GAAG,EAAE,KAAK,CAAC,EAAE;4BACzB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;4BAC5B,OAAO,CAAC,GAAG,CAAC,iBAAiB,GAAG,YAAY,CAAC,CAAC;4BAC9C,OAAO,CAAC,GAAG,CAAC;gCACR,sBAAsB;gCACtB,wBAAwB,EAAE,UAAU,CAAC,IAAI;6BAC5C,CAAC,CAAC;yBACN;wBAED;;;;;;;;;;2BAUG;wBACH,UAAU,GAAG,cAAc,EAAE,CAAC;wBAE9B,6FAA6F;wBAC7F,gEAAgE;wBAChE,0DAA0D;wBAE1D,MAAM,MAAM,GAAG,OAAO,CAClB,UAAU,EACV,EAAE,EAAE,UAAU;wBACd,EAAE,CAAC,SAAS;yBACf,CAAC;wBACF,oBAAoB,GAAG,oBAAoB,GAAG,MAAM,CAAC,eAAe,CAAC;wBACrE,sBAAsB,GAAG,sBAAsB,GAAG,MAAM,CAAC,iBAAiB,CAAC;wBAE3E,MAAM,UAAU,GAAG,CAAC,sBAAsB,GAAG,oBAAoB,CAAC,GAAG,GAAG,CAAC;wBACzE,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;wBAEtC,IAAI,YAAY,GAAG,EAAE,KAAK,CAAC,EAAE;4BACzB,OAAO,CAAC,GAAG,CACP,YAAY,GAAG,sBAAsB,GAAG,MAAM,GAAG,oBAAoB;gCACrE,YAAY,GAAG,OAAO,GAAG,GAAG,CAC/B,CAAC;4BACF,MAAM,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,kBAAkB,CAAC;4BAC/D,MAAM,cAAc,GAAG,YAAY,GAAG,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;4BACrD,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,kBAAkB,CAAC,cAAc,CAAC,GAAG,WAAW,CAAC,CAAC;yBACvF;wBAED,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK,EAAE;4BACrB,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;4BACjC,kBAAkB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;4BAC1C,iBAAiB,GAAG,IAAI,CAAC;4BACzB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;4BAC1C,OAAO,CAAC,GAAG,CACP,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,GAAG;gCAC7B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAC5C,CAAC;4BAEF,sEAAsE;4BACtE,8DAA8D;4BAC9D,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;4BAC9B,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;yBACxC;qBACJ;oBAED,mCAAmC;oBACnC,kBAAkB,CAAC;wBACf,KAAK,EAAE,UAAU;wBACjB,OAAO;wBACP,UAAU;wBACV,GAAG,EAAE,IAAI;qBACZ,CAAC,CAAC;oBAEH,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;oBACpC,MAAM,WAAW,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;oBAC5C,aAAa,CACT,uBAAuB,EACvB,UAAU,CAAC,WAAW,CAAC,CAC1B,CAAC;iBACL;YACL,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAEV;;;WAGG;QACH,KAAK,YAAY;YACb,CAAC,KAAK,UAAU,SAAS;gBACrB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC5B,MAAM,UAAU,GAAe,WAAW,CACtC,YAAY,CAAC,uBAAuB,CAAC,CACxC,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAE9C,iCAAiC;gBACjC,cAAc,CACV,UAAU,EACV,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,EACrC,oBAAoB,CACvB,CAAC;gBAEF,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC5B,MAAM,GAAG,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAC;gBAChD,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC1B,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;gBACtC,GAAG,CAAC,yBAAyB,CAAC,oBAAoB,CAAC,CAAC;gBAEpD,GAAG,CAAC,GAAG,EAAE,CAAC;gBAEV,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;gBACjD,gBAAgB,CACZ,gBAAgB,CACnB,CAAC;gBAEF,OAAO,CAAC,GAAG,CAAC,sBAAsB,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAC3D,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAGV,6CAA6C;QAC7C,KAAK,cAAc;YACf,CAAC,KAAK,UAAU,WAAW;gBACvB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC5B,IAAI,mBAAmB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC/C,MAAM,UAAU,GAAe,WAAW,CACtC,YAAY,CAAC,uBAAuB,CAAC,CACxC,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAE9C,iCAAiC;gBACjC,cAAc,CACV,UAAU,EACV,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,EACrC,oBAAoB,CACvB,CAAC;gBAEF,IAAI,WAAqB,CAAC;gBAE1B,MAAM,eAAe,GAAG,MAAM,kCAAkC,CAAC,KAAK,CAAC,CAAC;gBACxE,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;gBAC3C,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;gBAG7B,SAAS,UAAU,CAAC,GAAa;oBAC7B,OAAO,eAAe,CAClB,GAAG,EACH,eAAe,EACf,kBAAkB,EAAE,EACpB,iBAAiB,EAAE,CACtB,CAAC;gBACN,CAAC;gBAED,MAAM,kBAAkB,CAAC;oBACrB,UAAU;oBACV,UAAU,EAAE,QAAQ;oBACpB,gBAAgB,EAAE,CAAC,GAAa,EAAE,EAAE;wBAEhC,MAAM,aAAa,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,mBAAmB,CAAC;wBACjE,MAAM,eAAe,GAAG,aAAa,GAAG,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;wBACvD,OAAO,CAAC,GAAG,CAAC,wBAAwB,GAAG,kBAAkB,CAAC,eAAe,CAAC,GAAG,WAAW,CAAC,CAAC;wBAE1F,GAAG,CAAC,yBAAyB,CAAC,oBAAoB,CAAC,CAAC;wBACpD,IAAI,WAAW,EAAE;4BACb,OAAO,CAAC,GAAG,CACP,uBAAuB,GAAG,WAAW,CAAC,UAAU,EAAE,GAAG,SAAS;gCAC9D,mBAAmB,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,GAAG;gCACnD,wCAAwC,GAAG,UAAU,CAAC,GAAG,CAAC,CAC7D,CAAC;yBACL;6BAAM;4BACH,WAAW,GAAG,GAAG,CAAC;yBACrB;oBACL,CAAC;oBACD,cAAc,EAAE,CAAC,CAAW,EAAE,CAAW,EAAE,EAAE;wBACzC,MAAM,SAAS,GAAG,YAAY,CAC1B,CAAC,EAAE,CAAC,EACJ,eAAe,EACf,kBAAkB,EAAE,EACpB,iBAAiB,EAAE,CACtB,CAAC;wBACF,OAAO,SAAS,CAAC;oBACrB,CAAC;oBACD,WAAW,EAAE,KAAK,EAAE,GAAuB,EAAE,EAAE;wBAC3C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;wBAC7B,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;wBAC5C,mBAAmB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;wBAC3C,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;wBACzD,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;wBACxC,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,WAAW,CAAC,UAAU,EAAE,CAAC,CAAC;wBAClD,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,OAAO,CAAC,CAAC;wBACxC,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;wBACxD,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,gBAAgB,CAAC,CAAC;wBAC/C,WAAW,GAAG,GAAG,CAAC,GAAG,CAAC;wBAEtB,gBAAgB,CACZ,gBAAgB,CACnB,CAAC;wBACF,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;oBACjC,CAAC;oBACD,GAAG,EAAE,IAAI;iBACZ,CAAC,CAAC;YACP,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAEV;YACI,MAAM,IAAI,KAAK,CAAC,qBAAqB,GAAG,OAAO,CAAC,CAAC;KACxD;AAEL,CAAC;AAED,GAAG,EAAE,CAAC"} \ No newline at end of file +{"version":3,"file":"runner.node.js","sourceRoot":"","sources":["../../../../src/truth-table-generator/runner.node.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EACH,uBAAuB,EAEvB,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAGlB,oBAAoB,EAEpB,sBAAsB,EACtB,wBAAwB,EAC3B,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EACH,kBAAkB,EAClB,uBAAuB,EAC1B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,EACH,WAAW,EACX,WAAW,EACX,kBAAkB,EACrB,MAAM,YAAY,CAAC;AACpB,OAAO,EACH,YAAY,EACZ,aAAa,EAChB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,2BAA2B,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAC7F,OAAO,EACH,kCAAkC,EAClC,YAAY,EACZ,eAAe,EAGlB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAI,GAAM;IAChC,OAAO,MAAM;SACR,OAAO,CAAC,GAAU,CAAC;SACnB,IAAI,EAAE;SACN,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7B,GAAG,UAAU;QACb,CAAC,CAAC,CAAC,EAAE,CAAC;KACT,CAAC,EAAE,EAAE,CAAM,CAAC;AACrB,CAAC;AAED,SAAS,cAAc;IACnB,MAAM,UAAU,GAAe,WAAW,CACtC,YAAY,CAAC,uBAAuB,CAAC,CACxC,CAAC;IACF,OAAO,UAAU,CAAC;AACtB,CAAC;AACD,SAAS,UAAU,CACf,GAAa,EACb,eAAuC;IAEvC,OAAO,eAAe,CAClB,GAAG,EACH,eAAe,EACf,kBAAkB,EAAE,EACpB,iBAAiB,EAAE,CACtB,CAAC;AACN,CAAC;AAGD,MAAM,oBAAoB,GAAW,EAAE,CAAC;AAExC,KAAK,UAAU,GAAG;IAEd,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE;QACpC,EAAE,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;KACpC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,CAAC,GAAG,CAAC,eAAe,GAAG,OAAO,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAExB,QAAQ,OAAO,EAAE;QACb,KAAK,sBAAsB;YACvB,CAAC,KAAK,UAAU,QAAQ;gBACpB,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAAC;gBACrC,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;gBACvC,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC;oBACnC,OAAO;oBACP,UAAU;oBACV,GAAG,EAAE,IAAI;iBACZ,CAAC,CAAC;gBAEH,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACnB,MAAM,WAAW,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBACvC,aAAa,CACT,uBAAuB,EACvB,WAAW,CACd,CAAC;YACN,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAEV,KAAK,SAAS;YACV,CAAC,KAAK,UAAU,IAAI;gBAChB,MAAM,UAAU,GAAqB,WAAW,CAC5C,YAAY,CAAC,uBAAuB,CAAC,CACxC,CAAC;gBACF,MAAM,MAAM,GAAG,OAAO,CAClB,UAAU,EACV,EAAE,EAAE,UAAU;gBACd,EAAE,CAAC,SAAS;iBACf,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACxB,CAAC,CAAC,EAAE,CAAC;YAEL,MAAM;QAEV;;;WAGG;QACH,KAAK,mBAAmB;YACpB,CAAC,KAAK,UAAU,gBAAgB;gBAC5B,IAAI,kBAAkB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAE9C,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAAC;gBACrC,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;gBACvC,IAAI,oBAAoB,GAAG,CAAC,CAAC;gBAC7B,IAAI,sBAAsB,GAAG,CAAC,CAAC;gBAE/B,IAAI,UAAU,GAAqB,cAAc,EAAE,CAAC;gBACpD,MAAM,sBAAsB,GAAG,UAAU,CAAC,IAAI,CAAC;gBAE/C,OAAO,IAAI,EAAE;oBACT,IAAI,iBAAiB,GAAG,KAAK,CAAC;oBAC9B,IAAI,YAAY,GAAG,CAAC,CAAC;oBAErB,OAAO,CAAC,iBAAiB,EAAE;wBACvB,YAAY,EAAE,CAAC;wBAEf,IAAI,YAAY,GAAG,EAAE,KAAK,CAAC,EAAE;4BACzB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;4BAC5B,OAAO,CAAC,GAAG,CAAC,iBAAiB,GAAG,YAAY,CAAC,CAAC;4BAC9C,OAAO,CAAC,GAAG,CAAC;gCACR,sBAAsB;gCACtB,wBAAwB,EAAE,UAAU,CAAC,IAAI;6BAC5C,CAAC,CAAC;yBACN;wBAED;;;;;;;;;;2BAUG;wBACH,UAAU,GAAG,cAAc,EAAE,CAAC;wBAE9B,6FAA6F;wBAC7F,gEAAgE;wBAChE,0DAA0D;wBAE1D,MAAM,MAAM,GAAG,OAAO,CAClB,UAAU,EACV,EAAE,EAAE,UAAU;wBACd,EAAE,CAAC,SAAS;yBACf,CAAC;wBACF,oBAAoB,GAAG,oBAAoB,GAAG,MAAM,CAAC,eAAe,CAAC;wBACrE,sBAAsB,GAAG,sBAAsB,GAAG,MAAM,CAAC,iBAAiB,CAAC;wBAE3E,MAAM,UAAU,GAAG,CAAC,sBAAsB,GAAG,oBAAoB,CAAC,GAAG,GAAG,CAAC;wBACzE,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;wBAEtC,IAAI,YAAY,GAAG,EAAE,KAAK,CAAC,EAAE;4BACzB,OAAO,CAAC,GAAG,CACP,YAAY,GAAG,sBAAsB,GAAG,MAAM,GAAG,oBAAoB;gCACrE,YAAY,GAAG,OAAO,GAAG,GAAG,CAC/B,CAAC;4BACF,MAAM,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,kBAAkB,CAAC;4BAC/D,MAAM,cAAc,GAAG,YAAY,GAAG,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;4BACrD,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,kBAAkB,CAAC,cAAc,CAAC,GAAG,WAAW,CAAC,CAAC;yBACvF;wBAED,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK,EAAE;4BACrB,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;4BACjC,kBAAkB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;4BAC1C,iBAAiB,GAAG,IAAI,CAAC;4BACzB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;4BAC1C,OAAO,CAAC,GAAG,CACP,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,GAAG;gCAC7B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAC5C,CAAC;4BAEF,sEAAsE;4BACtE,8DAA8D;4BAC9D,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;4BAC9B,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;yBACxC;qBACJ;oBAED,mCAAmC;oBACnC,kBAAkB,CAAC;wBACf,KAAK,EAAE,UAAU;wBACjB,OAAO;wBACP,UAAU;wBACV,GAAG,EAAE,IAAI;qBACZ,CAAC,CAAC;oBAEH,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;oBACpC,MAAM,WAAW,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;oBAC5C,aAAa,CACT,uBAAuB,EACvB,UAAU,CAAC,WAAW,CAAC,CAC1B,CAAC;iBACL;YACL,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAEV;;;WAGG;QACH,KAAK,YAAY;YACb,CAAC,KAAK,UAAU,SAAS;gBACrB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC5B,MAAM,UAAU,GAAG,cAAc,EAAE,CAAC;gBACpC,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAE9C,iCAAiC;gBACjC,cAAc,CACV,UAAU,EACV,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,EACrC,oBAAoB,CACvB,CAAC;gBAEF,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAE5B,MAAM,GAAG,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAC;gBAChD,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC1B,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;gBACtC,GAAG,CAAC,yBAAyB,CAAC,oBAAoB,CAAC,CAAC;gBAEpD,GAAG,CAAC,GAAG,EAAE,CAAC;gBACV,MAAM,sBAAsB,GAAG,MAAM,kCAAkC,CAAC,IAAI,CAAC,CAAA;gBAC7E,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC;gBAExD,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;gBACjD,gBAAgB,CACZ,gBAAgB,EAChB,sBAAsB,EACtB,OAAO,CACV,CAAC;gBAEF,OAAO,CAAC,GAAG,CAAC,sBAAsB,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAC3D,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAGV,6CAA6C;QAC7C,KAAK,cAAc;YACf,CAAC,KAAK,UAAU,WAAW;gBACvB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC5B,IAAI,mBAAmB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC/C,MAAM,UAAU,GAAG,cAAc,EAAE,CAAC;gBACpC,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAE9C,iCAAiC;gBACjC,cAAc,CACV,UAAU,EACV,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,EACrC,oBAAoB,CACvB,CAAC;gBAGF,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,2BAA2B,EAAE,OAAO,CAAC,CAAC,CAAC;gBACxF,MAAM,sBAAsB,GAAG,aAAa,CAAC,sBAAsB,CAAC;gBACpE,IAAI,WAAqB,CAAC;gBAC1B,MAAM,SAAS,GAAsB,EAAE,CAAC;gBACxC,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;oBAC7D,MAAM,EAAE,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,sBAAsB,CAAE,KAAa,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC5E,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;gBAC1B,CAAC,CAAC,CAAC;gBAEH,MAAM,kBAAkB,CAAC;oBACrB,UAAU;oBACV,UAAU,EAAE,QAAQ;oBACpB,gBAAgB,EAAE,CAAC,GAAa,EAAE,EAAE;wBAChC,MAAM,aAAa,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,mBAAmB,CAAC;wBACjE,MAAM,eAAe,GAAG,aAAa,GAAG,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;wBACvD,OAAO,CAAC,GAAG,CAAC,wBAAwB,GAAG,kBAAkB,CAAC,eAAe,CAAC,GAAG,WAAW,CAAC,CAAC;wBAC1F,GAAG,CAAC,yBAAyB,CAAC,oBAAoB,CAAC,CAAC;wBAEpD,IAAI,WAAW,EAAE;4BACb,OAAO,CAAC,GAAG,CACP,uBAAuB,GAAG,WAAW,CAAC,UAAU,EAAE,GAAG,SAAS;gCAC9D,mBAAmB,GAAG,UAAU,CAAC,WAAW,EAAE,sBAAsB,CAAC,GAAG,GAAG;gCAC3E,wCAAwC,GAAG,UAAU,CAAC,GAAG,EAAE,sBAAsB,CAAC,CACrF,CAAC;yBACL;6BAAM;4BACH,WAAW,GAAG,GAAG,CAAC;yBACrB;oBACL,CAAC;oBACD,cAAc,EAAE,CAAC,CAAW,EAAE,CAAW,EAAE,EAAE;wBACzC,MAAM,SAAS,GAAG,YAAY,CAC1B,CAAC,EAAE,CAAC,EACJ,sBAAsB,EACtB,kBAAkB,EAAE,EACpB,iBAAiB,EAAE,CACtB,CAAC;wBACF,OAAO,SAAS,CAAC;oBACrB,CAAC;oBACD,WAAW,EAAE,KAAK,EAAE,GAAuB,EAAE,EAAE;wBAC3C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;wBAC7B,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;wBAC5C,mBAAmB,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;wBAC3C,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC;wBAC5D,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;wBAC9C,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,OAAO,CAAC,CAAC;wBACxC,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,UAAU,CAAC,WAAW,EAAE,sBAAsB,CAAC,CAAC,CAAC;wBAChF,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,2BAA2B,EAAE,OAAO,CAAC,CAAC,CAAC;wBAC/F,OAAO,CAAC,GAAG,CAAC,8BAA8B,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;wBAE3E,WAAW,GAAG,GAAG,CAAC,GAAG,CAAC;wBAEtB,yEAAyE;wBACzE,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;wBACzD,MAAM,SAAS,GAAG,wBAAwB,CAAC,gBAAgB,CAAC,CAAC;wBAC7D,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,cAAc,EAAE,CAAC,OAAO,EAAE,EAAE;4BACnD,MAAM,QAAQ,GAAG,oBAAoB,CACjC,SAAS,EACT,SAAS,EACT,GAAG,CACN,CAAC;4BAEF,IAAI,KAAK,KAAK,QAAQ,EAAE;gCACpB,OAAO,CAAC,KAAK,CAAC,kEAAkE,GAAG,GAAG,CAAC,CAAC;gCACxF,OAAO,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gCACjC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;6BACpB;yBACJ;wBAKD,IAAI,OAAO,GAAG,oBAAoB,CAAC,OAAO,EAAE;4BACxC,OAAO,CAAC,GAAG,CAAC,4CAA4C,CAAC,CAAC;4BAC1D,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,gBAAgB,CAAC,CAAC;4BAC/C,gBAAgB,CACZ,gBAAgB,EAChB,sBAAsB,EACtB,OAAO,CACV,CAAC;4BACF,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;yBAChC;6BAAM;4BACH,OAAO,CAAC,GAAG,CAAC,6CAA6C,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;yBAC7F;oBACL,CAAC;oBACD,GAAG,EAAE,KAAK;iBACb,CAAC,CAAC;YACP,CAAC,CAAC,EAAE,CAAC;YACL,MAAM;QAEV;YACI,MAAM,IAAI,KAAK,CAAC,qBAAqB,GAAG,OAAO,CAAC,CAAC;KACxD;AAEL,CAAC;AAED,GAAG,EAAE,CAAC"} \ No newline at end of file diff --git a/javascript/package.json b/javascript/package.json index b724e26e..d71989c8 100644 --- a/javascript/package.json +++ b/javascript/package.json @@ -1,6 +1,6 @@ { "name": "event-reduce-js", - "version": "5.0.0", + "version": "5.1.0", "description": "javascript implementation of the event-reduce algorithm https://pubkey.github.io/event-reduce/", "keywords": [ "event-reduce",