@tuprolog/arg2p 0.16.4 → 0.16.6
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 +3067 -3017
- package/2p-core.js.map +1 -1
- package/2p-dsl-core.js +485 -485
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +251 -251
- package/2p-dsl-solve.js.map +1 -1
- package/2p-dsl-theory.js +161 -161
- package/2p-dsl-theory.js.map +1 -1
- package/2p-dsl-unify.js +15 -15
- package/2p-dsl-unify.js.map +1 -1
- package/2p-io-lib.js +893 -889
- package/2p-io-lib.js.map +1 -1
- package/2p-parser-core.js +140 -140
- package/2p-parser-core.js.map +1 -1
- package/2p-parser-impl.js +1875 -1873
- package/2p-parser-impl.js.map +1 -1
- package/2p-parser-theory.js +96 -96
- package/2p-parser-theory.js.map +1 -1
- package/2p-solve-classic.js +1043 -1043
- package/2p-solve-classic.js.map +1 -1
- package/2p-solve.js +4574 -4392
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +1715 -1715
- package/2p-theory.js.map +1 -1
- package/2p-unify.js +372 -372
- package/2p-unify.js.map +1 -1
- package/2p-utils.js +457 -457
- package/2p-utils.js.map +1 -1
- package/arg2p-causality-solver.js +265 -265
- package/arg2p-causality-solver.js.map +1 -1
- package/arg2p-core.js +1930 -1918
- package/arg2p-core.js.map +1 -1
- package/arg2p.js +112 -112
- package/arg2p.js.map +1 -1
- package/kotlin-kotlin-stdlib.js +3327 -3076
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js.map +1 -1
- package/kt-math.js +1616 -1610
- package/kt-math.js.map +1 -1
- package/okio-parent-okio-nodefilesystem.js +52 -52
- package/okio-parent-okio-nodefilesystem.js.map +1 -1
- package/okio-parent-okio.js +695 -695
- package/okio-parent-okio.js.map +1 -1
- package/package.json +2 -2
package/2p-dsl-theory.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/LogicProgrammingScopeWithTheories.kt","common/src/generated/_Arrays.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/DSL.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/LogicProgrammingScope.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/LogicProgrammingScopeImpl.kt","src/kotlin/util/Preconditions.kt"],"sourcesContent":[null,null,null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["toClause","<this>","theory","clauseFunctions","item","theoryOf","clauses","otherClauses","element","list","mutableTheory","mutableTheoryOf","logicProgramming","unificator","function","<init>","empty","of","scope","termificator","variablesProvider","theoryFactory","of$default","message","<get-scope>","<get-termificator>","<get-unificator>","copy","newScope","structOf","functor","args","tupleOf","terms","logicListOf","blockOf","factOf","head","consOf","tail","directiveOf","body1","body","contains","variable","get","where","lambda","with","varOf","name","atomOf","value","logicListFrom","last","ruleOf","clauseOf","indicatorOf","arity","anonymous","whatever","numOf","intOf","radix","realOf","truthOf","unifierOf","assignments","substitutionOf","<get-emptyLogicList>","<get-_>","getValue","thisRef","property","<get-X>","<get-Y>","mgu","term1","term2","occurCheckEnabled","match","unify","merge","substitution1","substitution2","emptyTheory","emptyMutableTheory","LogicProgrammingScopeWithTheories$clauseOf$ref","p0","LogicProgrammingScopeWithTheories$clauseOf$ref$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0BAiDIA,CAAIC,aAAJD,EAA6B;A;IAAkD,OAAlD,wDAAuC,oDAAvC,C;EAAiD,C;iBAW9EE,CAAWC,eAAXD,EACI;A;;sBC44YS,wBD54YA,eC44YA,CAAa,MAAb,C;QA2VA,qB;QAAA,ODvuZA,eCuuZA,O;WAAb,oBAAa,I,EAAb;A,UAAKE,ODvuZQ,eCuuZA,mB;MAAA,6C;UDvuZgD,YAA1B,IAAgB,iBCwuZrB,IDxuZgB,CAAX,eAAW,CAAK,C;MCwuZ/C,WAAY,GAAI,SAAJ,C;;IDxuZgD,OAA5D,sBCyuZG,WDzuZH,C;EAA2D,C;wCAI/DC,CACIC,O,EACAC,YAFJF,EAGY;A;;sBC+2WK,2B;QA4cD,qB;QAAA,OD3zXe,YC2zXf,O;WAAhB,oBAAgB,I,EAAhB;A,UAAKG,UD3zX0B,YC2zXf,mB;MAAA,6C;UACZC,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;ID7zX2C,OAA/C,sBAAS,cC+zXd,WD/zXc,CAAT,C;EAA8C,C;wCAI1DJ,CACIC,O,EACAC,YAFJF,EAGY;A,IAAqE,OAArE,sBAA2D,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAA3D,C;EAAoE,C;wBAShFK,CAAkBP,eAAlBO,EACI;A;;sBCo3YS,wBDp3YO,eCo3YP,CAAa,MAAb,C;QA2VA,qB;QAAA,OD/sZO,eC+sZP,O;WAAb,oBAAa,I,EAAb;A,UAAKN,OD/sZe,eC+sZP,mB;MAAA,6C;UD/sZuD,YAA1B,IAAgB,iBCgtZ5B,IDhtZuB,CAAX,eAAW,CAAK,C;MCgtZtD,WAAY,GAAI,SAAJ,C;;IDhtZuD,OAAnE,6BCitZG,WDjtZH,C;EAAkE,C;+CAItEO,CACIL,O,EACAC,YAFJI,EAGmB;A;;sBCu1WF,2B;QA4cD,qB;QAAA,ODnyX6B,YCmyX7B,O;WAAhB,oBAAgB,I,EAAhB;A,UAAKH,UDnyXwC,YCmyX7B,mB;MAAA,6C;UACZC,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;IDryXyD,OAAtD,6BAAgB,cCuyX5B,WDvyX4B,CAAhB,C;EAAqD,C;+CAIxEE,CACIL,O,EACAC,YAFJI,EAGmB;A,IAA4E,OAA5E,6BAAkE,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAAlE,C;EAA2E,C;;;;2BE1ElGC,CACIC,U,EACAC,UAFJF,EAGO;A,iEAF4C,K;IAEG,OAAV,WAAf,uCAAG,UAAH,CAAe,C;EAAS,C;oBCejDG,CAAAA,EAAA;A;IACgD,0C;EADhD,C;sCAMIC,CAAAA,EAAqC;A,IAAI,OAAJ,S;EAAG,C;oCAcxCC,CACIC,K,EACAC,Y,EACAC,iB,EACAP,U,EACAQ,aALJJ,EAOI;A,IAMC,OAND,8BACI,KADJ,EAEQ,YAAa,MAAb,KAAuB,KAAvB,GAA8B,YAA9B,GAAgD,YAAa,KAAK,KAAL,CAFrE,EAGQ,iBAAkB,MAAlB,KAA4B,KAA5B,GAAmC,iBAAnC,GAA0D,iBAAkB,KAAK,KAAL,CAHpF,EAII,UAJJ,EAKQ,aAAc,MAAd,KAA6B,UAA7B,GAAyC,aAAzC,GAA4D,aAAc,KAAK,UAAL,CALlF,C;EAMA,C;mCAbJK,CACIJ,K,EACAC,Y,EACAC,iB,EACAP,U,EACAQ,a,QALJC,E;6BACyB,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;uCAChC,I,CAAA,K;6CACM,yBAAqB,UAArB,C;;G;oCAgBnCL,CACIJ,U,EACAQ,a,EACAH,K,EACAC,Y,EACAC,iBALJH,EAM2B;A,IAAqE,OAArE,SAAG,KAAH,EAAU,YAAV,EAAwB,iBAAxB,EAA2C,UAA3C,EAAuD,aAAvD,C;EAAoE,C;6CAN/FK,CACIT,U,EACAQ,a,EACAH,K,EACAC,Y,EACAC,iB,QALJE,E;6CAEmC,yBAAqB,UAArB,C;6BACV,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;;G;;;;;;;oCCxEtCP,CAClBG,K,EACAC,Y,EACAC,iB,EACAP,U,EACAQ,aALkBN,EAAA;A,IAC3B,kB;IACA,yB;IACA,8B;IACA,uB;IACA,0B;;ICaI,MDPQ,eAAU,IAAkB,CAAlB,KAAkB,MCOpC,IDP6C,eAAU,IAAa,CAAb,KAAa,MCOpE,E,CAAQ;A,UACRQ,UDPI,0F;MCQJ,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;;IAHI,KDJQ,mBAAc,IAAc,CAAd,KAAc,MAA5B,CCIR,C,CAAQ;A,UACRA,YDJI,yF;MCKJ,MAAM,uCAAiC,SAAR,SAAQ,CAAjC,C;IACV,C;EDrB2B,C;oDAClBC,CAAAA,EAAA;A,IAAA,iB;EAAe,C;oDACfC,CAAAA,EAAA;A,IAAA,iB;EAA6B,C;oDAE7BC,CAAAA,EAAA;A,IAAA,iB;EAAyB,C;oDAgBzBC,CAAST,KAATS,EACL;A,IAMC,OAND,8BACI,KADJ,EAEI,IAAa,CAAb,KAAa,KAAK,KAAL,CAFjB,EAGI,IAAkB,CAAlB,KAAkB,KAAK,KAAL,CAHtB,EAII,IAJJ,CAII,KAJJ,EAKI,IALJ,CAKI,KALJ,C;EAMA,C;oDAGKA,CAASd,UAATc,EACL;A,IAMC,OAND,8BACI,IADJ,CACI,KADJ,EAEI,IAFJ,CAEI,KAFJ,EAGI,IAHJ,CAGI,KAHJ,EAII,UAJJ,EAKI,IAAc,CAAd,KAAc,KAAK,UAAL,CALlB,C;EAMA,C;oDAGKC,CAAAA,EAAwC;A,IAAmB,OAAnB,SAAW,0BAAX,C;EAAkB,C;;;;yDAzDvEC,CAiBAC,O,EAAAC,IAjBAF,EAAA;A,IAAA,yC;EAAA,C;iEAAAA,CAiBAC,O,EAAAC,IAjBAF,EAAA;A,IAAA,iD;EAAA,C;iEAAAA,CAiBAC,O,EAAAC,IAjBAF,EAAA;A,IAAA,iD;EAAA,C;6DAAAA,CAiBAC,O,EAAAC,IAjBAF,EAAA;A,IAAA,6C;EAAA,C;wDAAAG,CAiBAC,KAjBAD,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAiBAC,KAjBAD,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAiBAC,KAjBAD,EAAA;A,IAAA,wC;EAAA,C;4DAAAE,CAiBAD,KAjBAC,EAAA;A,IAAA,oC;EAAA,C;oEAAAA,CAiBAD,KAjBAC,EAAA;A,IAAA,4C;EAAA,C;oEAAAA,CAiBAD,KAjBAC,EAAA;A,IAAA,4C;EAAA,C;wDAAAC,CAiBAF,KAjBAE,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAiBAF,KAjBAE,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAiBAF,KAjBAE,EAAA;A,IAAA,wC;EAAA,C;uDAAAC,CAiBAC,IAjBAD,EAAA;A,IAAA,8B;EAAA,C;uDAAAE,CAiBAD,I,EAAAE,IAjBAD,EAAA;A,IAAA,oC;EAAA,C;4DAAAE,CAiBAC,K,EAAAC,IAjBAF,EAAA;A,IAAA,0C;EAAA,C;4DAAAG,CAiBAC,QAjBAD,EAAA;A,IAAA,uC;EAAA,C;yDAAAA,CAiBAC,QAjBAD,EAAA;A,IAAA,oC;EAAA,C;oDAAAE,CAiBAD,QAjBAC,EAAA;A,IAAA,+B;EAAA,C;sDAAAC,CAiBAC,MAjBAD,EAAA;A,IAAA,+B;EAAA,C;qDAAAE,CAiBAD,MAjBAC,EAAA;A,IAAA,8B;EAAA,C;sDAAAC,CAiBAC,IAjBAD,EAAA;A,IAAA,6B;EAAA,C;0DAAAA,CAiBAC,IAjBAD,EAAA;A,IAAA,iC;EAAA,C;uDAAAE,CAiBAC,KAjBAD,EAAA;A,IAAA,+B;EAAA,C;2DAAAA,CAiBAC,KAjBAD,EAAA;A,IAAA,mC;EAAA,C;oDAAAE,CAiBApB,K,EAAAqB,IAjBAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAiBApB,K,EAAAqB,IAjBAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAiBApB,K,EAAAqB,IAjBAD,EAAA;A,IAAA,kC;EAAA,C;uDAAAE,CAiBAlB,I,EAAAI,K,EAAAC,IAjBAa,EAAA;A,IAAA,2C;EAAA,C;yDAAAC,CAiBAnB,I,EAAAK,IAjBAc,EAAA;A,IAAA,sC;EAAA,C;4DAAAC,CAiBAP,I,EAAAQ,KAjBAD,EAAA;A,IAAA,0C;EAAA,C;qEAAAA,CAiBAP,I,EAAAQ,KAjBAD,EAAA;A,IAAA,mD;EAAA,C;0DAAAE,CAAAA,EAAA;A,IAAA,6B;EAAA,C;yDAAAC,CAAAA,EAAA;A,IAAA,4B;EAAA,C;gEAAAC,CAiBAT,KAjBAS,EAAA;A,IAAA,wC;EAAA,C;4DAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,oC;EAAA,C;2DAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,mC;EAAA,C;gEAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,wC;EAAA,C;yDAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,iC;EAAA,C;0DAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,iC;EAAA,C;sDAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,8B;EAAA,C;gEAAAC,CAiBAV,KAjBAU,EAAA;A,IAAA,wC;EAAA,C;sDAAAA,CAiBAV,KAjBAU,EAAA;A,IAAA,8B;EAAA,C;0DAAAA,CAiBAV,KAjBAU,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAiBAV,KAjBAU,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAiBAV,KAjBAU,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAiBAV,KAjBAU,EAAA;A,IAAA,iC;EAAA,C;8DAAAA,CAiBAV,K,EAAAW,KAjBAD,EAAA;A,IAAA,6C;EAAA,C;iEAAAE,CAiBAZ,KAjBAY,EAAA;A,IAAA,yC;EAAA,C;uDAAAA,CAiBAZ,KAjBAY,EAAA;A,IAAA,+B;EAAA,C;4DAAAA,CAiBAZ,KAjBAY,EAAA;A,IAAA,oC;EAAA,C;0DAAAA,CAiBAZ,KAjBAY,EAAA;A,IAAA,kC;EAAA,C;wDAAAC,CAiBAb,KAjBAa,EAAA;A,IAAA,gC;EAAA,C;0DAAAC,CAiBAC,WAjBAD,EAAA;A,IAAA,wC;EAAA,C;kEAAAA,CAiBAC,WAjBAD,EAAA;A,IAAA,gD;EAAA,C;kEAAAA,CAiBAC,WAjBAD,EAAA;A,IAAA,gD;EAAA,C;+DAAAE,CAiBAD,WAjBAC,EAAA;A,IAAA,6C;EAAA,C;uEAAAA,CAiBAD,WAjBAC,EAAA;A,IAAA,qD;EAAA,C;uEAAAA,CAiBAD,WAjBAC,EAAA;A,IAAA,qD;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;yDAAAC,CAiBAC,O,EAAAC,QAjBAF,EAAA;A,IAAA,6C;EAAA,C;oDAAAG,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAiBAC,K,EAAAC,K,EAAAC,iBAjBAH,EAAA;A,IAAA,sD;EAAA,C;oDAAAA,CAiBAC,K,EAAAC,KAjBAF,EAAA;A,IAAA,mC;EAAA,C;oEAAAI,CAiBAH,K,EAAAC,K,EAAAC,iBAjBAC,EAAA;A,IAAA,sE;EAAA,C;sDAAAA,CAiBAH,K,EAAAC,KAjBAE,EAAA;A,IAAA,qC;EAAA,C;oEAAAC,CAiBAJ,K,EAAAC,K,EAAAC,iBAjBAE,EAAA;A,IAAA,sE;EAAA,C;sDAAAA,CAiBAJ,K,EAAAC,KAjBAG,EAAA;A,IAAA,qC;EAAA,C;oEAAAC,CAiBAC,a,EAAAC,a,EAAAL,iBAjBAG,EAAA;A,IAAA,sF;EAAA,C;sDAAAA,CAiBAC,a,EAAAC,aAjBAF,EAAA;A,IAAA,qD;EAAA,C;+EAAA7E,CAiBAC,O,EAAAO,UAjBAR,EAAA;A,IAAA,qE;EAAA,C;iEAAAA,CAiBAC,OAjBAD,EAAA;A,IAAA,2C;EAAA,C;uEAAAA,CAiBAQ,U,EAAAP,OAjBAD,EAAA;A,IAAA,6D;EAAA,C;yDAAAA,CAiBAC,OAjBAD,EAAA;A,IAAA,mC;EAAA,C;+EAAAA,CAiBAC,O,EAAAO,UAjBAR,EAAA;A,IAAA,qE;EAAA,C;iEAAAA,CAiBAC,OAjBAD,EAAA;A,IAAA,2C;EAAA,C;sFAAAM,CAiBAL,O,EAAAO,UAjBAF,EAAA;A,IAAA,4E;EAAA,C;wEAAAA,CAiBAL,OAjBAK,EAAA;A,IAAA,kD;EAAA,C;8EAAAA,CAiBAE,U,EAAAP,OAjBAK,EAAA;A,IAAA,oE;EAAA,C;gEAAAA,CAiBAL,OAjBAK,EAAA;A,IAAA,0C;EAAA,C;sFAAAA,CAiBAL,O,EAAAO,UAjBAF,EAAA;A,IAAA,4E;EAAA,C;wEAAAA,CAiBAL,OAjBAK,EAAA;A,IAAA,kD;EAAA,C;0EAAA0E,CAiBAxE,UAjBAwE,EAAA;A,IAAA,uD;EAAA,C;4DAAAA,CAAAA,EAAA;A,IAAA,+B;EAAA,C;iFAAAC,CAiBAzE,UAjBAyE,EAAA;A,IAAA,8D;EAAA,C;mEAAAA,CAAAA,EAAA;A,IAAA,sC;EAAA,C;yDJiDwEC,CAAAC,EAAAD,E;+CAAAE,C,IAAAA,EAAA;A,MAAA,4B;IAAS,C,EAjDjF,C,EAAA,C;G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
|
|
1
|
+
{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/LogicProgrammingScopeWithTheories.kt","common/src/generated/_Arrays.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/DSL.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/LogicProgrammingScope.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/LogicProgrammingScopeImpl.kt","src/kotlin/util/Preconditions.kt"],"sourcesContent":[null,null,null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["toClause","<this>","theory","clauseFunctions","theoryOf","clauses","otherClauses","list","mutableTheory","mutableTheoryOf","logicProgramming","function","<init>","empty","of","scope","termificator","variablesProvider","unificator","theoryFactory","message","copy","newScope","LogicProgrammingScopeWithTheories$clauseOf$ref$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECiDIA,yBAAIC,aAAJD,EAA6B;A,QDjDjC,uB;ICiDmF,OAAlD,wDAAuC,oDAAvC,C;EAAiD,C;EAW9EE,gBAAWC,eAAXD,EACI;A;;QD7DR,cEijZiB,wBDp/YA,eCo/YA,CAAa,MAAb,C;QA2VA,qB;QAAA,OD/0ZA,eC+0ZA,O;WAAb,oBAAa,I,EAAb;A,UF54ZJ,OC6DiB,eC+0ZA,mB;MAAA,6C;UD/0ZgD,YAA1B,IAAgB,iBCg1ZrB,IDh1ZgB,CAAX,eAAW,CAAK,C;MCg1Z/C,WAAY,eAAI,SAAJ,C;;IDh1ZgD,OAA5D,sBCi1ZG,WDj1ZH,C;EAA2D,C;EAI/DE,uCACIC,O,EACAC,YAFJF,EAGY;A;;QDpEhB,cE2hXqB,2B;QA4cD,qB;QAAA,ODn6Xe,YCm6Xf,O;WAAhB,oBAAgB,I,EAAhB;A,UFv+XJ,UCoEmC,YCm6Xf,mB;MAAA,6C;UACZG,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;IDr6X2C,OAA/C,sBAAS,cCu6Xd,WDv6Xc,CAAT,C;EAA8C,C;EAI1DH,uCACIC,O,EACAC,YAFJF,EAGY;A,IAAqE,OAArE,sBAA2D,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAA3D,C;EAAoE,C;EAShFI,uBAAkBL,eAAlBK,EACI;A;;QDrFR,cEijZiB,wBD59YO,eC49YP,CAAa,MAAb,C;QA2VA,qB;QAAA,ODvzZO,eCuzZP,O;WAAb,oBAAa,I,EAAb;A,UF54ZJ,OCqFwB,eCuzZP,mB;MAAA,6C;UDvzZuD,YAA1B,IAAgB,iBCwzZ5B,IDxzZuB,CAAX,eAAW,CAAK,C;MCwzZtD,WAAY,eAAI,SAAJ,C;;IDxzZuD,OAAnE,6BCyzZG,WDzzZH,C;EAAkE,C;EAItEC,8CACIJ,O,EACAC,YAFJG,EAGmB;A;;QD5FvB,cE2hXqB,2B;QA4cD,qB;QAAA,OD34X6B,YC24X7B,O;WAAhB,oBAAgB,I,EAAhB;A,UFv+XJ,UC4FiD,YC24X7B,mB;MAAA,6C;UACZF,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;ID74XyD,OAAtD,6BAAgB,cC+4X5B,WD/4X4B,CAAhB,C;EAAqD,C;EAIxEE,8CACIJ,O,EACAC,YAFJG,EAGmB;A,IAA4E,OAA5E,6BAAkE,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAAlE,C;EAA2E,C;;;;EE1ElGC,0BHzBA,U,EG2BIC,UAFJD,EAGO;A,iEAF4C,mB;IAEG,OAAV,WAAf,uCAAG,UAAH,CAAe,C;EAAS,C;ECejDE,mBAAAA,EAAA;A;IACgD,0E;EADhD,C;6BAMIC,UAAAA,EAAqC;A,IAAI,OAAJ,S;EAAG,C;oCAcxCC,UACIC,K,EACAC,Y,EACAC,iB,EACAC,U,EACAC,aALJL,EAOI;A,IAMC,OAND,8BACI,KADJ,EAEQ,YAAa,sBAAb,KAAuB,KAAvB,GAA8B,YAA9B,GAAgD,YAAa,gBAAK,KAAL,CAFrE,EAGQ,iBAAkB,sBAAlB,KAA4B,KAA5B,GAAmC,iBAAnC,GAA0D,iBAAkB,gBAAK,KAAL,CAHpF,EAII,UAJJ,EAKQ,aAAc,2BAAd,KAA6B,UAA7B,GAAyC,aAAzC,GAA4D,aAAc,gBAAK,UAAL,CALlF,C;EAMA,C;0BAbJA,UJ/DR,K,EAAA,Y,EAAA,iB,EAAA,U,EAAA,a,EAAA,MI+DQA,E;6BACyB,0B;2CACqB,6BAAQ,KAAR,C;qDACe,kCAAG,KAAH,C;uCAChC,I,CAAA,mB;6CACM,yBAAqB,UAArB,C;;G;oCAgBnCA,UACII,U,EACAC,a,EACAJ,K,EACAC,Y,EACAC,iBALJH,EAM2B;A,IAAqE,OAArE,kBAAG,KAAH,EAAU,YAAV,EAAwB,iBAAxB,EAA2C,UAA3C,EAAuD,aAAvD,C;EAAoE,C;oCAN/FA,UACII,U,EJrFZ,a,EAAA,K,EAAA,Y,EAAA,iB,EAAA,MIoFQJ,E;6CAEmC,yBAAqB,UAArB,C;6BACV,0B;2CACqB,6BAAQ,KAAR,C;qDACe,kCAAG,KAAH,C;;G;;EJzFrE,iCAAA,EAAA;AAAA;AAAA,qBAAA;;AAAA,GAAA;A,EKiB+BF,mCAClBG,K,EACAC,Y,EACAC,iB,EACAC,U,EACAC,aALkBP,EAAA;A,IAC3B,oB;IACA,kC;IACA,4C;IACA,8B;IACA,oC;;ICaI,MDPQ,iBAAU,IAAkB,CAAlB,mBAAkB,sBCOpC,IDP6C,iBAAU,IAAa,CAAb,cAAa,sBCOpE,E,CAAQ;A,UACRQ,UDPI,0F;MCQJ,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;;IAHI,KDJQ,0BAAc,IAAc,CAAd,eAAc,2BAA5B,CCIR,C,CAAQ;A,UACRA,YDJI,yF;MCKJ,MAAM,uCAAiC,SAAR,SAAQ,CAAjC,C;IACV,C;EDrB2B,C;2DLjB/B,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,OAAA;AAAA,EAAA,CAAA;kEAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,cAAA;AAAA,EAAA,CAAA;gEAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,YAAA;AAAA,EAAA,CAAA;sDKqCaC,UAASN,KAATM,EACL;A,IAMC,OAND,8BACI,KADJ,EAEI,IAAa,CAAb,cAAa,gBAAK,KAAL,CAFjB,EAGI,IAAkB,CAAlB,mBAAkB,gBAAK,KAAL,CAHtB,EAII,IAJJ,CAII,YAJJ,EAKI,IALJ,CAKI,eALJ,C;EAMA,C;sDAGKA,UAASH,UAATG,EACL;A,IAMC,OAND,8BACI,IADJ,CACI,OADJ,EAEI,IAFJ,CAEI,cAFJ,EAGI,IAHJ,CAGI,mBAHJ,EAII,UAJJ,EAKI,IAAc,CAAd,eAAc,gBAAK,UAAL,CALlB,C;EAMA,C;0DAGKC,UAAAA,EAAwC;A,IAAmB,OAAnB,oBAAW,0BAAX,C;EAAkB,C;gDLzDvE,UAAA,EAAA;AAAA;AAAA,GAAA;gDAAA,UAAA,OAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,UAAA,OAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,OAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,kBAAA,OAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,OAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,kBAAA,OAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;oDAAA,UAAA,OAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,cAAA,OAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;+CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,SAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,aAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,qBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,qBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;+CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,SAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,QAAA,IAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,IAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,QAAA,IAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,aAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,QAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,aAAA,QAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,QAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,UAAA,QAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,QAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,KAAA,QAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,MAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,OAAA,MAAA,CAAA;AAAA,EAAA,CAAA;4CAAA,UAAA,MAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,MAAA,MAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,OAAA,IAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,WAAA,IAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,QAAA,KAAA,CAAA;AAAA,EAAA,CAAA;kDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,YAAA,KAAA,CAAA;AAAA,EAAA,CAAA;+DAAA,UAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,yBAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;+DAAA,UAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,yBAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;+DAAA,UAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,yBAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,IAAA,EAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,QAAA,IAAA,EAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,IAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,UAAA,IAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,IAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,aAAA,IAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;4DAAA,UAAA,IAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,sBAAA,IAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,YAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,WAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,aAAA,KAAA,CAAA;AAAA,EAAA,CAAA;kDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,YAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,UAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;kDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,YAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,UAAA,KAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,OAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,OAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;kDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,YAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,UAAA,KAAA,CAAA;AAAA,EAAA,CAAA;qDAAA,UAAA,KAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,eAAA,KAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,kBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,QAAA,KAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,aAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;+CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,SAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,WAAA,WAAA,CAAA;AAAA,EAAA,CAAA;yDAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,mBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;yDAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,mBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;sDAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,gBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;8DAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,wBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;8DAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,wBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;oEAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,+BAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,kBAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,OAAA,EAAA,QAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,UAAA,OAAA,EAAA,QAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,kBAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,mBAAA,kBAAA;AAAA,EAAA,CAAA;qDAAA,UAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,YAAA,eAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,KAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,YAAA,KAAA,KAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,YAAA,qBAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,KAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,YAAA,OAAA,KAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,YAAA,qBAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,KAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,YAAA,OAAA,KAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,aAAA,EAAA,aAAA,EAAA,iBAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,YAAA,qBAAA,aAAA,EAAA,aAAA,EAAA,iBAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,aAAA,EAAA,aAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,YAAA,OAAA,aAAA,EAAA,aAAA,CAAA;AAAA,EAAA,CAAA;sEAAA,UAAA,OAAA,EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,gCAAA,OAAA,EAAA,UAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,kBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;8DAAA,UAAA,UAAA,EAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,wBAAA,UAAA,EAAA,OAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,UAAA,OAAA,CAAA;AAAA,EAAA,CAAA;sEAAA,UAAA,OAAA,EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,gCAAA,OAAA,EAAA,UAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,kBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;6EAAA,UAAA,OAAA,EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,uCAAA,OAAA,EAAA,UAAA,CAAA;AAAA,EAAA,CAAA;+DAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,yBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;qEAAA,UAAA,UAAA,EAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,+BAAA,UAAA,EAAA,OAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,iBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;6EAAA,UAAA,OAAA,EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,uCAAA,OAAA,EAAA,UAAA,CAAA;AAAA,EAAA,CAAA;+DAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,yBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;iEAAA,UAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,2BAAA,UAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,cAAA;AAAA,EAAA,CAAA;wEAAA,UAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,kCAAA,UAAA,CAAA;AAAA,EAAA,CAAA;0DAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,eAAA,qBAAA;AAAA,EAAA,CAAA;A,EAAA,wDAAA,EAAA,EAAA;AAAA,sCCiDwEC,UDjDxE,ICiDwEA,EAAA;A,MAAA,4B;IAAS,C,EDjDjF,CAAA,EAAA,CAAA;AAAA,GAAA;A;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
|
package/2p-dsl-unify.js
CHANGED
|
@@ -1,28 +1,28 @@
|
|
|
1
1
|
(function (factory) {
|
|
2
2
|
if (typeof define === 'function' && define.amd)
|
|
3
|
-
define(['exports', './kotlin-kotlin-stdlib.js', './2p-
|
|
3
|
+
define(['exports', './kotlin-kotlin-stdlib.js', './2p-unify.js', './2p-dsl-core.js'], factory);
|
|
4
4
|
else if (typeof exports === 'object')
|
|
5
|
-
factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-
|
|
5
|
+
factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-unify.js'), require('./2p-dsl-core.js'));
|
|
6
6
|
else {
|
|
7
7
|
if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
|
|
8
8
|
throw new Error("Error loading module '2p-dsl-unify'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-dsl-unify'.");
|
|
9
9
|
}
|
|
10
|
-
if (typeof globalThis['2p-dsl-core'] === 'undefined') {
|
|
11
|
-
throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-dsl-core' was not found. Please, check whether '2p-dsl-core' is loaded prior to '2p-dsl-unify'.");
|
|
12
|
-
}
|
|
13
10
|
if (typeof globalThis['2p-unify'] === 'undefined') {
|
|
14
11
|
throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-dsl-unify'.");
|
|
15
12
|
}
|
|
16
|
-
|
|
13
|
+
if (typeof globalThis['2p-dsl-core'] === 'undefined') {
|
|
14
|
+
throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-dsl-core' was not found. Please, check whether '2p-dsl-core' is loaded prior to '2p-dsl-unify'.");
|
|
15
|
+
}
|
|
16
|
+
globalThis['2p-dsl-unify'] = factory(typeof globalThis['2p-dsl-unify'] === 'undefined' ? {} : globalThis['2p-dsl-unify'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-unify'], globalThis['2p-dsl-core']);
|
|
17
17
|
}
|
|
18
|
-
}(function (_, kotlin_kotlin,
|
|
18
|
+
}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_dsl_core) {
|
|
19
19
|
'use strict';
|
|
20
20
|
//region block: imports
|
|
21
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
21
|
+
var protoOf = kotlin_kotlin.$_$.r7;
|
|
22
22
|
var VOID = kotlin_kotlin.$_$.b;
|
|
23
|
-
var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
|
|
24
23
|
var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
|
|
25
|
-
var
|
|
24
|
+
var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
|
|
25
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.g7;
|
|
26
26
|
//endregion
|
|
27
27
|
//region block: pre-declaration
|
|
28
28
|
function anyMguWith(_this__u8e3s4, other) {
|
|
@@ -35,27 +35,27 @@
|
|
|
35
35
|
return this.unify(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
|
|
36
36
|
}
|
|
37
37
|
function mgu(term1, term2, occurCheckEnabled) {
|
|
38
|
-
return this.
|
|
38
|
+
return this.mgu_mo2ly8_k$(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
|
|
39
39
|
}
|
|
40
40
|
function mguAny(term1, term2, occurCheckEnabled, $super) {
|
|
41
41
|
occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
|
|
42
|
-
return $super === VOID ? this.
|
|
42
|
+
return $super === VOID ? this.mgu_fgrk6i_k$(term1, term2, occurCheckEnabled) : mgu(term1, term2, occurCheckEnabled);
|
|
43
43
|
}
|
|
44
44
|
function match(term1, term2, occurCheckEnabled) {
|
|
45
45
|
return this.matchWithOccurCheck(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
|
|
46
46
|
}
|
|
47
47
|
function matchAny(term1, term2, occurCheckEnabled, $super) {
|
|
48
48
|
occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
|
|
49
|
-
return $super === VOID ? this.
|
|
49
|
+
return $super === VOID ? this.match_4ipou8_k$(term1, term2, occurCheckEnabled) : match(term1, term2, occurCheckEnabled);
|
|
50
50
|
}
|
|
51
51
|
function unify(term1, term2, occurCheckEnabled) {
|
|
52
52
|
return this.unifyWithOccurCheck(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
|
|
53
53
|
}
|
|
54
54
|
function unifyAny(term1, term2, occurCheckEnabled, $super) {
|
|
55
55
|
occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
|
|
56
|
-
return $super === VOID ? this.
|
|
56
|
+
return $super === VOID ? this.unify_xpvp6q_k$(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
|
|
57
57
|
}
|
|
58
|
-
initMetadataForInterface(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', VOID, VOID, [
|
|
58
|
+
initMetadataForInterface(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', VOID, VOID, [Unificator, BaseLogicProgrammingScope]);
|
|
59
59
|
//endregion
|
|
60
60
|
function LogicProgrammingScopeWithUnification() {
|
|
61
61
|
}
|
package/2p-dsl-unify.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/dsl-unify/src/commonMain/kotlin/it/unibo/tuprolog/dsl/unify/LogicProgrammingScopeWithUnification.kt"],"sourcesContent":[null],"ignoreList":[],"x_google_ignoreList":[],"names":["mguWith","<this>","other","matches","unifyWith","mgu","term1","term2","occurCheckEnabled","
|
|
1
|
+
{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../../2p-kt/2p-kt/dsl-unify/src/commonMain/kotlin/it/unibo/tuprolog/dsl/unify/LogicProgrammingScopeWithUnification.kt"],"sourcesContent":[null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["mguWith","<this>","other","matches","unifyWith","mgu","term1","term2","occurCheckEnabled","match","unify"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;ECqCUA,oBAAIC,a,EAAYC,KAAhBF,EACF;A,IAA4E,OAA5E,IAA0C,KAAI,IAAK,eAAL,aAAK,CAAT,EAAmB,IAAM,eAAN,KAAM,CAAzB,C;EAAiC,C;EAQzEG,oBAAIF,a,EAAYC,KAAhBC,EACF;A,IAA8E,OAA9E,IAA0C,OAAM,IAAK,eAAL,aAAK,CAAX,EAAqB,IAAM,eAAN,KAAM,CAA3B,C;EAAmC,C;EAU3EC,sBAAIH,a,EAAcC,KAAlBE,EACF;A,IAA8E,OAA9E,IAA0C,OAAM,IAAK,eAAL,aAAK,CAAX,EAAqB,IAAM,eAAN,KAAM,CAA3B,C;EAAmC,C;EASjFC,aACIC,K,EACAC,K,EACAC,iBAHJH,EAIkB;A,IAAsD,OAAtD,mBAAI,IAAM,eAAN,KAAM,CAAV,EAAoB,IAAM,eAAN,KAAM,CAA1B,EAAoC,iBAApC,C;EAAqD,C;EAJvEA,gBACIC,K,EACAC,K,EDrER,iB,EAAA,MCmEIF,E;qDAGiC,I;;G;EASjCI,eACIH,K,EACAC,K,EACAC,iBAHJC,EAIa;A,IAAwD,OAAxD,yBAAM,IAAM,eAAN,KAAM,CAAZ,EAAsB,IAAM,eAAN,KAAM,CAA5B,EAAsC,iBAAtC,C;EAAuD,C;EAJpEA,kBACIH,K,EACAC,K,EDjFR,iB,EAAA,MC+EIE,E;qDAGiC,I;;G;EASjCC,eACIJ,K,EACAC,K,EACAC,iBAHJE,EAIW;A,IAAwD,OAAxD,yBAAM,IAAM,eAAN,KAAM,CAAZ,EAAsB,IAAM,eAAN,KAAM,CAA5B,EAAsC,iBAAtC,C;EAAuD,C;EAJlEA,kBACIJ,K,EACAC,K,ED7FR,iB,EAAA,MC2FIG,E;qDAGiC,I;;G;;;;;;;;;;;;;;;;;;;;"}
|