@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
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../../../../../causality-solver/src/commonMain/kotlin/it/unibo/tuprolog/argumentation/causality/libs/CausalitySolver.kt","common/src/generated/_Collections.kt"
|
|
1
|
+
{"version":3,"sources":["../../../../../../causality-solver/src/commonMain/kotlin/it/unibo/tuprolog/argumentation/causality/libs/CausalitySolver.kt","common/src/generated/_Collections.kt"],"sourcesContent":[null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["CausalitySolver$CausalityCheckCause$solve$lambda$lambda","$this_arg2pScope","CausalitySolver$CausalityCheckCause$solve$lambda$lambda$lambda","$request","$effect","$intervention","CausalitySolver$CausalityCheckCause$solve$lambda","$rules","$cause","equalTerms","a","b","attackers","x","graph","element","item","supporters","list","solveFresh","kb","getSupports","effect","checkBaseTheory","request","checkIntervention","intervention","support","getSubsets","checkCausality","supports","<init>","<get-signature>","solve","cause","rules","CausalitySolver$getSupports$lambda","CausalitySolver$getSupports$lambda$lambda","$graph","CausalitySolver$checkBaseTheory$lambda","CausalitySolver$getSubsets$lambda$lambda","CausalitySolver$getSubsets$lambda$lambda$lambda","CausalitySolver$getSubsets$lambda","clean","string","<get-alias>","<get-baseContent>","capacity","identifier","<get-theoryOperators>"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kEA+KoCA,CAAA,EAAAA,EAAA;A,IACI,OAAR,EAAG,M;EACP,C;oEAAMA,CALHC,gBAKGD,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAAmC,OAAjC,cAAA,EAAG,MAAH,IAAgB,sBAAhB,EAAqB,a;IAAa,C;G;oEAClCF,CAjJpC,M,EAiH2BG,Q,EAGfC,OA6BwBJ,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAAqC,OAAnC,uBAAe,QAAf,EAAwB,EAAxB,EAA4B,OAA5B,C;IAAoC,C;G;oEACzCF,CAhCrBK,aAgCqBL,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAAmC,OAApB,2BAAG,aAAH,EAAiB,EAAjB,C;IAAqB,C;G;2DAPtCI,CA1BJH,Q,EAcfI,M,EAZAC,M,EAnHZ,M,EAoHYJ,O,EAFAC,aAyBmBC,E;oBAAAN,CAAA,gBAAAA,EAAA;A,gBACP,QACK,OAAM,wDAAyB,MAAzB,EAAgC,SAAO,sBAAP,CAAhC,CAAN,C;kBACA,YAAO,uDAAP,C;kBAEC,WAAI,2EAAJ,C;kBACD,cAAO,oFAAP,C;UALL,iBAOK,YADA,WAAI,wEAAJ,CACA,C;MAAsC,OAP3C,yBAOmC,gCAPnC,iB;IAQJ,C;G;qBA/IRS,CAAA,K,EACJC,C,EACAC,CAFIF,EAGJ;A,IAAsD,OAA3C,+BAAQ,OAAW,8BAAM,CAAN,CAAX,EAA0B,8BAAM,CAAN,CAA1B,C;EAAkC,C;oBAEjDG,CAAA,K,EACJC,C,EACAC,KAFIF,EAIJ;A;eAAA,K,CAAM,K;;sBCstBM,yB;QA2FA,4B;WAAA,qB,EAAM;A,UAAjBG,UAAW,qB;MAAU,IAAU,ODhzBlB,CAAG,KAAH,CAAU,KAAV,KAAwB,CAAxB,CAA0B,KCgzBlB,C,CAAgC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;;;wBA0rBxD,0BAAa,wBAzrBnB,WAyrBmB,EAAwB,EAAxB,CAAb,C;QAuEA,sBAhwBN,WAgwBM,I;WAAA,uB,EACT;A,UADCC,OAAQ,uB;;mBDhjDS,K,CAAM,K;;;;YCqPZ,gC;eAAA,uB,EAAM;A,cAAjBD,YAAW,uB;UAAU,IA4zCI,IDjjDgB,CAAI,KAAJ,CAAa,KAAb,KCqPV,SDrPU,CAA8B,KAA9B,CAAuC,KCqP3D,C;YAAoB,YAAO,S;;;QAAM,C;QAC3D,YAAO,I;;UA1HP,YAAO,S;UD5H4F,YAA7E,cAAiB,SAAjB,C;MCijDlB,aAAY,GAAI,SAAJ,C;IAAmB,C;IDjjDkE,OCkjD9F,a;EDljD6F,C;qBAE5FE,CAAA,K,EACJJ,C,EACAC,KAFIG,EAIJ;A;eAAA,K,CAAM,K;;sBC8sBM,yB;QA2FA,4B;WAAA,qB,EAAM;A,UAAjBF,UAAW,qB;MAAU,IDxyBR,EAAE,KAAF,KCwyBkB,ODxyBlB,CAAmB,KAAnB,CAA4B,KCwyBpB,C,CAAgC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;cAC9D,W;;iBDxyBC,iBAAU,CAAV,EAAa,KAAb,C;;wBCoyCS,yB;QAsFD,gC;WAAA,uB,EAAM;A,UAAjBA,YAAW,uB;;mBDz3CJ,iBC03Ca,SD13Cb,CAAc,KAAd,EAAwB,KAAxB,C;;0BC2sBI,yB;UA2FA,gC;aAAA,uB,EAAM;A,YAAjBA,YAAW,uB;QAAU,IDtyB0B,ECsyBhB,SDtyBgB,CAAG,KAAH,CAAY,KAAZ,KAA0B,CAA1B,CAA4B,KAA5B,CCsyB1B,C,CAAgC;A,UAAZ,aAAY,GAAI,SAAJ,C;;MAAW,C;;;0BA6fpD,yB;UAsFD,sBAllBT,aAklBS,I;aAAA,uB,EAAM;A,YAAjBA,YAAW,uB;YACZG,OD13CmG,kBC03C9E,SD13C8E,CAAc,KAAd,EAAwB,KAAxB,C;QC23CvF,OAAZ,aAAY,EAAO,IAAP,C;MAChB,C;UAFIA,SAGG,a;MAFS,OAAZ,aAAY,EAAO,MAAP,C;IAChB,C;ID33CS,OAJL,UCg4CG,aDh4CH,C;EAII,C;qBAEAC,CAAA,K,EAAeC,EAAfD,EACJ;A,QAAA,iBAIM,YAHD,gCACG,EAAG,kBAAwB,IAAxB,CADN,EAEG,6EAA+B,WAA/B,CAFH,CAGC,C;IAA6D,OAJnE,yBAIuB,UAAM,WAAN,EAAmB,WAAnB,EAAgC,WAAhC,CAJvB,iB;EAIkE,C;sBAG9DE,CAAA,K,EACJP,K,EACAQ,MAFID,EAIJ;A,cACK,WADL,KACK,CADC,KACD,C;gBACA,YAAO,iDAAP,C;gBACA,eAAQ,kDAAR,C;gBACA,cAAO,oCAAP,C;IACmB,OAAnB,WAAI,oCAAJ,C;EAAkB,C;0BAEnBE,CAAA,K,EACJC,O,EACAF,MAFIC,EAGJ;A;aAAA,kBAAW,OAAgB,CAAR,OAAQ,MAA3B,C;cACA,mBAAY,EAAZ,EAAgB,MAAhB,C;IACH,OAD+D,OAApC,SAAI,sCAAJ,CAAoC,C;EAChE,C;4BAEQE,CAAA,K,EACJD,O,EACAE,Y,EACAC,OAHIF,EAIJ;A;iBAAA,YAAa,S;;sBC+7CJ,0BAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,oBAvEN,MAuEM,I;WAAA,qB,EACT;A,UADCT,OAAQ,qB;UDtgDsF,YAArD,6BAAU,uCAAO,QAAP,YAAsB,+BAAtB,IAAiC,IAAjC,GCugD1B,IDvgD0B,cAAuC,GAAvC,CAAV,K;MCugD1C,WAAY,GAAI,SAAJ,C;IAAmB,C;;;;eDtgD/B,kBAAW,OAAgB,CAAR,OAAQ,MAAS,YAAY,qDCugD7C,WDvgD6C,CAAZ,CAApC,C,CACQ,K;;wBCwqBI,yB;QA2FA,8B;WAAA,uB,EAAM;A,UAAjBD,UAAW,uB;MAAU,IAAU,ODlwBT,CAAE,KAAF,KAAW,KCkwBZ,IAAU,ODlwBW,CAAE,KAAF,KAAW,KCkwBhC,C,CAAgC;A,QAAZ,aAAY,GAAI,OAAJ,C;;IAAW,C;;;wBA0rBxD,0BAAa,wBAzrBnB,aAyrBmB,EAAwB,EAAxB,CAAb,C;QAuEA,sBAhwBN,aAgwBM,I;WAAA,uB,EACT;A,UADCC,SAAQ,uB;UDlgD0C,YCmgDzB,MDngDK,CAAT,KAAS,M;MCmgD/B,aAAY,GAAI,SAAJ,C;IAAmB,C;;;;;MA8H/B,gBA7HG,aA6HH,c;cA7HG,aA6HmB,I;;cAAA,K;;MAAtB,Q;QAAiC,YAAO,K;;;UAC5B,sBA9HT,aA8HS,I;aAAA,uB,EAAM;A,YAAjBD,YAAW,uB;;;;;UADZ,gBDhoDoB,OCgoDpB,c;oBDhoDoB,OCgoDE,I;;oBAAA,K;;UAAtB,U;YAAiC,aAAO,K;;;cAC5B,sBDjoDQ,OCioDR,I;iBAAA,uB,EAAM;A,gBAAjBA,YAAW,uB;YAAU,IDjoD4B,+BAAQ,OCioD1B,SDjoD0B,ECioD1B,SDjoD0B,CCioDpC,C;cAAoB,aAAO,I;;;UAAG,C;UACxD,aAAO,K;;QADmB,IDjoDM,UCioDN,C;UAAoB,YAAO,I;;;MAAG,C;MACxD,YAAO,K;;IDhoDN,OAFY,S;EAEb,C;qBAEQa,CAAA,K,EACJJ,O,EACAE,YAFIE,EAGJ;A,IAOH,OAPG,WAAW,wDAAX,C;EAOJ,C;yBAKQC,CAAA,K,EACJL,O,EACAE,Y,EACAJ,MAHIO,EAIG;A,QACPC,WAAe,uBAAgB,OAAhB,EAAyB,MAAzB,C;IACX,IAAA,QAAS,IAAT,C;MAAoB,OAAO,K;;IAExB,6BAAkB,OAAlB,EAA2B,YAA3B,EAAyC,QAAzC,E;;MAEC,IAAA,YAAa,KAAb,IAAgC,CAAhC,C;gBAAA,I;;mBACI,kBAAW,OAAX,EAAoB,YAApB,C;;;;;UC6kDZ,kC;oBAAsB,Q;;oBAAA,K;;UAAtB,U;YAAiC,YAAO,I;;;cAC5B,4B;iBAAA,qB,EAAM;A,gBAAjBf,UAAW,qB;YAAU,KD9kD8B,CAAC,yBAAkB,OAAlB,EC8kDpB,OD9kDoB,EAA+B,QAA/B,CC8kD/B,C;cAAqB,YAAO,K;;;UAAI,C;UAC1D,YAAO,I;;gBD/kD2C,S;;;;YADtC,K;;IAFR,U;EAKJ,C;qCAEAgB,C,MAAAA,EAAA;A,IAAA,mB;IAC6B,2BAAU,uBAAV,EAAmC,CAAnC,C;EAD7B,C;qDACaC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qDAEZC,CAAUT,OAAVS,EAA8E;A,QACnFP,eAA2B,QAAQ,SAAR,GAAkB,CAAlB,CAAqB,a;QAChDJ,SAAqB,eAAM,QAAQ,SAAR,GAAkB,CAAlB,CAAqB,WAA3B,C;IAErB,OAAO,WACH,OAAQ,oBAAU,2BAAe,OAAf,EAAwB,YAAxB,EAAsC,MAAtC,CAAV,WADL,C;EAGX,C;wDArIGE,O;;;8BAwIPO,C,MAAAA,EAAA;A,IAAA,mB;IAC6B,2BAAU,UAAV,EAAsB,CAAtB,C;EAD7B,C;8CACaC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;8CAEZC,CAAUT,OAAVS,EAA8E;A,QACnFP,eAAyB,QAAQ,SAAR,GAAkB,CAAlB,C;QACzBQ,QAAkB,QAAQ,SAAR,GAAkB,CAAlB,C;QAClBZ,SAAqB,eAAM,QAAQ,SAAR,GAAkB,CAAlB,CAAqB,WAA3B,C;IAEjB,oC,CAAsB;A,MACtB,MAAgB,6BACZ,OADY,CACJ,OADI,EAEZ,OAFY,CAEJ,SAFI,EAGO,+BAHP,EAIZ,YAJY,C;IAMpB,C;;;iBAIQ,uBAAW,OAAgB,CAAR,OAAQ,MAA3B,C,CACK,K;;sBCu3CR,0BAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,oBAvEN,MAuEM,I;WAAA,qB,EACT;A,UADCN,OAAQ,qB;UD77CwB,YC87CP,ID97CO,CAAP,K;MC87C1B,WAAY,GAAI,SAAJ,C;IAAmB,C;;;wBA71BnB,yB;QA2FA,sBAmwBT,WAnwBS,I;WAAA,uB,EAAM;A,UAAjBD,UAAW,uB;MAAU,ID3rBI,EC2rBM,OD3rBN,KAAM,MAAN,CC2rBJ,C,CAAgC;A,QAAZ,aAAY,GAAI,OAAJ,C;;IAAW,C;QDhsB7DoB,QACS,eAMI,SADA,SC2rBd,aD3rBc,CACA,CANJ,C;IAST,OAAO,WACH,OAAQ,WACJ,WAAW,yGAAX,CADI,WADL,C;EAcX,C;iDAjLGX,O;;;6CAoESY,CANR,M,EAEJhC,OAIYgC,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAAgE,OAA9D,GAAG,KAAH,KAAY,IAAkD,IAA1C,mBAAW,EAAX,CAAc,KAAd,CAAuB,KAAvB,EAAmC,OAAnC,C;IAA2C,C;G;+CAChED,CAPT,M,EACJE,MAMaF,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAAgC,OAA9B,mBAAW,EAAX,CAAc,KAAd,EAAwB,MAAxB,C;IAA+B,C;G;+CAClCD,CAAA,EAAAA,EAAA;A,IAAkB,OAAhB,GAAG,KAAH,KAAY,I;EAAK,C;+CACtBA,CAAA,EAAAA,EAAA;A,IAAa,OAAX,EAAW,CAAR,K;EAAS,C;iDAMKG,CAAE,CAAFA,EAAA;A,IAA6B,OAAtB,CAAE,M;EAAqB,C;mDAsB9CC,CAAA,EAAAA,EAAA;A,IACI,OAAR,EAAG,M;EACP,C;qDAAMA,CALCvC,gBAKDuC,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAAmC,OAAjC,cAAA,EAAG,MAAH,IAAgB,sBAAhB,EAAqB,a;IAAa,C;G;4CALnCC,CAFXvC,Q,EACAE,aACWqC,E;oBAAAF,CAAA,gBAAAA,EAAA;A,gBACX,QACK,OAAM,gDAAiB,aAAjB,EAA+B,wBAA/B,CAAN,C;kBACA,YAAO,wCAAP,C;MAGQ,OAAR,OADC,WAAI,4DAAJ,CACD,C;IACT,C;G;0BA7EJT,CAAAA,EAAA;A,IA0JyB,oD;IAsDZ,aAFA,0BACA,iBAAoB,0BAApB,CACA,2CAAiB,OAAjB,C;EAhNb,C;0CAGIY,CAAUC,MAAVD,EAA4B;A,IAAwC,OAAhB,QAAjB,QAAP,MAAO,EAAQ,GAAR,EAAa,EAAb,CAAiB,EAAQ,GAAR,EAAa,EAAb,C;EAAe,C;0CAuJ1DE,CAAAA,EAAA;A,IAAA,iB;EAAQ,C;0CAGbC,CAAAA,EACI;A;qBAAA,OAAO,uCAA8B,6BAA9B,CAAP,C;;;QCw/BRC,WAAwD,cAAzC,YAAY,wBDr/BE,UCq/BF,EAAwB,EAAxB,CAAZ,CAAyC,EAAc,EAAd,C;;sBACnC,4BAAoB,QAApB,C;QA2BL,oBDjhCa,UCihCb,I;WAAA,qB,EAAM;A,UAAjBhC,UAAW,qB;UDjhCkD,YCkhClC,ODlhCyB,M;MCkhCrD,WAAY,IAAI,SAAJ,EAA0B,OAA1B,C;IAChB,C;ID/+BS,OAtCW,OACI,IADJ,CACS,KADT,ECshCb,WDthCa,EAIO,+CA8BC,2oBA9BD,EA+BH,IA/BG,CA+BH,KA/BG,CAJP,C;EAsCZ,C;0CAKCiC,CAAAA,EAA2B;A,IAAW,OAAX,W;EAAU,C;0CAErCC,CAAAA,EAAA;A,IAAA,iB;EAAkB,C;;;;;;;;;;"}
|