@tuprolog/arg2p 0.10.2 → 0.11.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/2p-core.js +3187 -3471
- package/2p-core.js.map +1 -1
- package/2p-dsl-core.js +737 -758
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +372 -372
- package/2p-dsl-solve.js.map +1 -1
- package/2p-dsl-theory.js +248 -260
- package/2p-dsl-theory.js.map +1 -1
- package/2p-dsl-unify.js +19 -20
- package/2p-dsl-unify.js.map +1 -1
- package/2p-parser-core.js +263 -303
- package/2p-parser-core.js.map +1 -1
- package/2p-parser-js.js +5 -5
- package/2p-parser-js.js.map +1 -1
- package/2p-parser-theory.js +29 -30
- package/2p-parser-theory.js.map +1 -1
- package/2p-solve-classic.js +1176 -1163
- package/2p-solve-classic.js.map +1 -1
- package/2p-solve.js +5197 -5478
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +2106 -2007
- package/2p-theory.js.map +1 -1
- package/2p-unify.js +309 -298
- package/2p-unify.js.map +1 -1
- package/2p-utils.js +648 -604
- package/2p-utils.js.map +1 -1
- package/README.md +1 -1
- package/arg2p-causality-solver.js +187 -212
- package/arg2p-causality-solver.js.map +1 -1
- package/arg2p-core.js +2174 -2214
- package/arg2p-core.js.map +1 -1
- package/arg2p.js +148 -156
- package/arg2p.js.map +1 -1
- package/kotlin-kotlin-stdlib.js +7137 -7365
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js +3 -3
- package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js.map +1 -1
- package/kt-math.js +3143 -3506
- package/kt-math.js.map +1 -1
- package/package.json +2 -3
package/arg2p.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../../../../../src/commonMain/kotlin/it/unibo/tuprolog/argumentation/bridge/JsBridge.kt","common/src/generated/_Collections.kt","
|
|
1
|
+
{"version":3,"sources":["../../../../../../src/commonMain/kotlin/it/unibo/tuprolog/argumentation/bridge/JsBridge.kt","common/src/generated/_Collections.kt","js/src/kotlin/collectionJs.kt","common/src/generated/_Maps.kt","src/kotlin/collections/Maps.kt","js/src/kotlin/kotlin.kt"],"sourcesContent":[null,null,null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["<init>","id","descriptor","label","<get-id>","<get-descriptor>","<get-label>","result","from","to","<get-from>","<get-to>","first","second","<get-first>","<get-second>","nextFunction","hasNextFunction","hasNext","next","i","query","<get-i>","<get-query>","arguments","attacks","<get-arguments>","<get-attacks>","equals","other","hashCode","res","substitutions","exception","graph","<get-res>","<get-substitutions>","<get-exception>","<get-graph>","graphOf","solver","item","solverOf","outputConsumer","flagsText","flags","libFlags","JsBridge$graphOf$lambda$lambda","$this_arg2pScope","JsBridge$graphOf$lambda$lambda$lambda","JsBridge$graphOf$lambda","$solver","JsBridge$solverOf$lambda","JsBridge$solve$lambda","$formatter","JsBridge$solve$lambda$lambda","$i","solve","queryText","theoryText","theory","formatter","solutions","jsIt"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0BAoB0BA,CACtBC,E,EACAC,U,EACAC,KAHsBH,EAAA;A,IACtB,Y;IACA,4B;IACA,kB;EAHsB,C;0CACtBI,CAAAA,EAAA;A,IAAA,c;EAAa,C;0CACbC,CAAAA,EAAA;A,IAAA,sB;EAAqB,C;0CACrBC,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;4CAvBpB;A,IAAA,c;EAAA,C;4CAAA;A,IAAA,sB;EAAA,C;6CAAA;A,IAAA,iB;EAAA,C;kEAAA;A,IAAA,iD;EAAA,C;;uBAAA,I,CAAA,E;uCAAA,I,CAAA,U;6BAAA,I,CAAA,K;;;kDAAA;A,IAAA,0G;EAAA,C;kDAAA;A,QAAAC,mC;IAAA,kE;IAAA,6D;IAAA,a;EAAA,C;qDAAA;A,IAAA,mB;MAAA,W;IAAA,wC;MAAA,Y;IAAA,4B;MAAA,Y;IAAA,4C;MAAA,Y;IAAA,kC;MAAA,Y;IAAA,W;EAAA,C;wBA2BwBP,CACpBQ,I,EACAC,EAFoBT,EAAA;A,IACpB,gB;IACA,Y;EAFoB,C;wCACpBU,CAAAA,EAAA;A,IAAA,gB;EAAe,C;wCACfC,CAAAA,EAAA;A,IAAA,c;EAAa,C;0CA7BjB;A,IAAA,gB;EAAA,C;0CAAA;A,IAAA,c;EAAA,C;mDAAA;A,IAAA,kC;EAAA,C;;2BAAA,I,CAAA,I;uBAAA,I,CAAA,E;;;gDAAA;A,IAAA,kE;EAAA,C;gDAAA;A,QAAAJ,qC;IAAA,0D;IAAA,a;EAAA,C;mDAAA;A,IAAA,mB;MAAA,W;IAAA,sC;MAAA,Y;IAAA,gC;MAAA,Y;IAAA,4B;MAAA,Y;IAAA,W;EAAA,C;iBAiCuBP,CACnBY,K,EACAC,MAFmBb,EAAA;A,IACnB,kB;IACA,oB;EAFmB,C;iCACnBc,CAAAA,EAAA;A,IAAA,iB;EAAW,C;iCACXC,CAAAA,EAAA;A,IAAA,kB;EAAY,C;mCAnChB;A,IAAA,iB;EAAA,C;mCAAA;A,IAAA,kB;EAAA,C;iDAAA;A,IAAA,gC;EAAA,C;;6BAAA,I,CAAA,K;+BAAA,I,CAAA,M;;;yCAAA;A,IAAA,yF;EAAA,C;yCAAA;A,QAAAR,sD;IAAA,iF;IAAA,a;EAAA,C;4CAAA;A,IAAA,mB;MAAA,W;IAAA,+B;MAAA,Y;IAAA,qC;MAAA,Y;IAAA,uC;MAAA,Y;IAAA,W;EAAA,C;qBAuCmBP,CACPgB,Y,EACAC,eAFOjB,EAAA;A,IACf,yB;IACA,4B;EAFe,C;yCAIfkB,CAAAA,EAAyB;A,IAAiB,OAAjB,Y;EAAgB,C;sCAEzCC,CAAAA,EAAe;A,IACP,KAAC,cAAD,C;MAAY,MAAM,qCAAuB,kBAAvB,C;IACtB,OAAO,Y;EACX,C;wBAIoBnB,CACpBoB,C,EACAC,KAFoBrB,EAAA;A,IACpB,U;IACA,kB;EAFoB,C;wCACpBsB,CAAAA,EAAA;A,IAAA,a;EAAiC,C;wCACjCC,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;0CAtDpB;A,IAAA,a;EAAA,C;0CAAA;A,IAAA,iB;EAAA,C;mDAAA;A,IAAA,kC;EAAA,C;;qBAAA,I,CAAA,C;6BAAA,I,CAAA,K;;;gDAAA;A,IAAA,8E;EAAA,C;gDAAA;A,QAAAhB,yB;IAAA,6D;IAAA,a;EAAA,C;mDAAA;A,IAAA,mB;MAAA,W;IAAA,sC;MAAA,Y;IAAA,6B;MAAA,Y;IAAA,kC;MAAA,Y;IAAA,W;EAAA,C;uBA0DuBP,CACnBwB,W,EACAC,OAFmBzB,EAAA;A,IACnB,4B;IACA,sB;EAFmB,C;uCACnB0B,CAAAA,EAAA;A,IAAA,qB;EAAoC,C;uCACpCC,CAAAA,EAAA;A,IAAA,mB;EAAgC,C;0CAEvBC,CAAWC,KAAXD,EAAiC;A,IAClC,aAAS,KAAT,C;MAAgB,OAAO,I;IACvB,aAAS,IAAT,IAAiB,8DAAe,KAAf,EAAjB,C;MAA8C,OAAO,K;UAEzD,K;;IAEI,KAAW,cAAV,IAAU,CAAV,SAAU,EAAc,KAAd,CAAoB,SAApB,CAAX,C;MAA2C,OAAO,K;IAClD,KAAS,cAAR,IAAQ,CAAR,OAAQ,EAAc,KAAd,CAAoB,OAApB,CAAT,C;MAAuC,OAAO,K;IAElD,OAAO,I;EACX,C;4CAESE,CAAAA,EAAoB;A,QACzBvB,SAAuB,gBAAV,IAAU,CAAV,SAAU,C;IACvB,SAAS,SAAK,MAAL,IAAsB,gBAAR,IAAQ,CAAR,OAAQ,CAA/B,I;IACA,OAAO,M;EACX,C;yCA9EJ;A,IAAA,qB;EAAA,C;yCAAA;A,IAAA,mB;EAAA,C;8DAAA;A,IAAA,6C;EAAA,C;;yCAAA,I,CAAA,S;iCAAA,I,CAAA,O;;;+CAAA;A,IAAA,6G;EAAA,C;0BAkF0BP,CACtB+B,G,EACAV,K,EACAW,a,EACAC,S,EACAC,KALsBlC,EAAA;A,IACtB,c;IACA,kB;IACA,kC;IACA,0B;IACA,kB;EALsB,C;0CACtBmC,CAAAA,EAAA;A,IAAA,e;EAAc,C;0CACdZ,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;0CAChBa,CAAAA,EAAA;A,IAAA,yB;EAA+C,C;0CAC/CC,CAAAA,EAAA;A,IAAA,qB;EAAoB,C;0CACpBC,CAAAA,EAAA;A,IAAA,iB;EAAsB,C;6CAEbV,CAAWC,KAAXD,EAAiC;A,IAClC,aAAS,KAAT,C;MAAgB,OAAO,I;IACvB,aAAS,IAAT,IAAiB,8DAAe,KAAf,EAAjB,C;MAA8C,OAAO,K;UAEzD,K;;IAEI,mBAAO,KAAP,CAAa,GAAb,E;MAAkB,OAAO,K;IACzB,qBAAS,KAAT,CAAe,KAAf,E;MAAsB,OAAO,K;IAC7B,KAAe,cAAd,IAAc,CAAd,aAAc,EAAc,KAAd,CAAoB,aAApB,CAAf,C;MAAmD,OAAO,K;IAC1D,yBAAa,KAAb,CAAmB,SAAnB,E;MAA8B,OAAO,K;IAEzC,OAAO,I;EACX,C;+CAESE,CAAAA,EAAoB;A,QACzBvB,SAAiB,kBAAJ,IAAI,CAAJ,GAAI,C;IACjB,SAAS,SAAK,MAAL,IAAoB,kBAAN,IAAM,CAAN,KAAM,CAA7B,I;IACA,SAAS,SAAK,MAAL,IAA4B,gBAAd,IAAc,CAAd,aAAc,CAArC,I;IACA,SAAS,SAAK,MAAL,IAAwB,kBAAV,IAAU,CAAV,SAAU,CAAjC,I;IACA,OAAO,M;EACX,C;4CA7GJ;A,IAAA,e;EAAA,C;4CAAA;A,IAAA,iB;EAAA,C;6CAAA;A,IAAA,yB;EAAA,C;6CAAA;A,IAAA,qB;EAAA,C;6CAAA;A,IAAA,iB;EAAA,C;wFAAA;A,IAAA,uE;EAAA,C;;yBAAA,I,CAAA,G;6BAAA,I,CAAA,K;6CAAA,I,CAAA,a;qCAAA,I,CAAA,S;6BAAA,I,CAAA,K;;;kDAAA;A,IAAA,qM;EAAA,C;kBAkHYgC,CAAA,K,EAAYC,MAAZD,EAAiD;A,QACrDL,QACW,UAAP,MAAO,EACH,WAAW,+BAAX,CADG,C;;iBAYH,K,CAAM,K;;sBC05CL,wBAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,oBAvEN,MAuEM,I;WAAA,qB,EACT;A,UADCO,OAAQ,qB;UDh+CmF,YAAzE,oBCi+CO,IDj+CP,CAAmB,KAAnB,CAA4B,KAA5B,ECi+CO,IDj+C6C,CAAT,KAAS,MAApD,ECi+CO,IDj+CP,CAAmE,KAAnE,C;MCi+CnB,WAAY,GAAI,SAAJ,C;IAAmB,C;;cCxkD+B,YDykD3D,WCzkD2D,C;;iBF0GtD,K,CAAM,K;;wBCs5CL,wBAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,sBAvEN,MAuEM,I;WAAA,uB,EACT;A,UADCA,SAAQ,uB;UD59CqE,YAA3D,kBC69CO,MD79CP,CAAiB,KAAjB,CAA0B,KAA1B,EC69CO,MD79CP,CAAyC,KAAzC,CAAgD,KAAhD,C;MC69CnB,aAAY,GAAI,SAAJ,C;IAAmB,C;;QCxkDgD,YAAjB,YDykD3D,aCzkD2D,C;IFoG9D,OAAO,sBAQM,SARN,C;EAUX,C;mBAEQC,CAAA,K,EACJC,c,EACAC,SAFIF,EAGS;A,QACbG,QAAmB,gCAAM,SAAN,C;QACnBC,WAAuB,2BAAW,qBAAX,QAA4C,KAA5C,C;;gBAIM,mCAAe,aAE3B,+BACiB,OAAO,qBAAP,CADjB,CAEC,MACD,aAAK,QAAL,CAL2B,C;gBAOX,mCAAa,yDAAqB,KAArB,CAA2B,uEAAmC,KAAnC,C;gBACnD,+C;gBACK,wBAAG,cAAH,C;;gBACA,SAAG,wBAAH,C;;IAZ3B,OAA4B,6FAaC,SAAG,0BAAH,CAbD,C;EAehC,C;yCAxC4BC,CAAA,EAAAA,EAAA;A,IAAU,OAAR,EAAG,M;EAAM,C;2CACdA,CAJFC,gBAIED,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAAuC,OAAP,MAAX,SAAnB,EAAG,MAAH,IAAgB,sBAAhB,CAAmB,CAAW,C;IAAQ,C;G;kCAJ1CC,CAHHC,OAGGD,E;oBAAAH,CAAA,gBAAAA,EAAA;A,gBACP,OACK,OAAM,gDAAiB,sBAAjB,KAAN,C;kBACA,YAAO,8BAAP,C;MAEO,OAAP,MADA,WAAI,kDAAJ,CACA,C;IACT,C;G;mCAkCsBK,CAAE,mBAAFA,EAAA;A,IAAQ,oB;EAAD,C;qCACLA,CAAE,mBAAFA,EAAA;A,IAAQ,oB;EAAD,C;gCAiBXC,CAJ5BC,U,EAHAH,OAO4BE,E;oBAAAE,CAAE,GAAFA,EAAA;A;MAChB,IAAA,GAAI,MAAJ,C;oBAGI,UAAU,KAAO,cAAA,GAAI,MAAJ,CAAP,C;;qBACV,GAAI,M;;0BGvDX,wBAAa,UAAb,C;;YA2BA,oBA3BN,MCgR6E,KAAQ,I;eDrP/E,qB,EACT;A,cADCd,OAAQ,qB;cH6B8E,YAA5D,WAAO,UAAU,KG5BlB,IH4B4B,KAAV,CAAjB,EAAiC,UAAU,KG5B5C,IH4BsD,KAAV,CAA3C,C;UG5B3B,WAAY,GAAI,SAAJ,C;QAAmB,C;;YD/HgD,YAAjB,YCgI3D,WDhI2D,C;cFuJlD,oBACI,KADJ,SAKS,SALT,EAMI,EANJ,EAOI,2BAAQ,OAAR,CAPJ,C;aASO,IAAA,GAAI,MAAJ,C;;YK9KmC,YAAR,E;cL+KlC,oBAAgB,IAAhB,EAAsB,EAAtB,EAA0B,SAA1B,EAAwC,EAAxC,EAA4C,2BAAQ,OAAR,CAA5C,C;;;YK/K0C,YAAR,E;cLiLlC,oBAAgB,MAAhB,EAAwB,EAAxB,EAA4B,SAA5B,EAAwD,SAAd,GAAI,MAAU,CAAxD,EAAoE,2BAAQ,OAAR,CAApE,C;;MACH,U;IACL,C;G;kCAKmBY,CAHvBG,EAGuBH,E;oBAAAE,CAAAA,EAAA;A,MAAqC,OAA/B,EAAE,IAAF,GAAa,EAAE,IAAf,GAA2B,I;IAAK,C;G;kCACnCF,CAJ1BG,EAI0BH,E;oBAAAE,CAAAA,EAAA;A,MAAa,OAAX,EAAE,I;IAAU,C;G;mBArFhDvD,CAAAA,EAAA;A,EAAA,C;qCAkDIyD,CACIC,S,EACAC,U,EACAf,S,EACAD,cAJJc,EAKiB;A,QACbjB,SAAa,eAAS,cAAT,EAAyB,SAAzB,C;QACbnB,QAAmB,oDAAM,SAAN,EAAiB,MAAO,MAAxB,C;QACnBuC,SAAoB,6CAAM,UAAN,EAAkB,MAAO,MAAzB,C;QACpBC,YAA8B,uE;IAC9B,MAAO,cAAa,MAAb,C;cAGH,MAAO,OAAM,KAAN,C;QADXC,YACwB,SAAI,wCAAJ,C;QAkBxB1C,IAAQ,SAAU,I;gBAGK,0B;QAFvB2C,OACI,sBAEsB,0BAFtB,C;IAKJ,OAAO,kBAAc,IAAd,EAAoB,SAAU,KAAO,KAAP,CAA9B,C;EACX,C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
|