@tuprolog/arg2p-causality-solver 0.9.0 → 0.10.0

package/2p-dsl-theory.js.map

@@ -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],"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>","<get-X>","<get-Y>","<get-_>","<get-emptyLogicList>","anonymous","atomOf","value","blockOf","terms","clauseOf","head","body","consOf","tail","contains","variable","directiveOf","body1","factOf","get","getValue","thisRef","property","indicatorOf","name","arity","intOf","radix","logicListFrom","last","logicListOf","numOf","realOf","ruleOf","structOf","functor","args","substitutionOf","assignments","truthOf","tupleOf","unifierOf","varOf","whatever","where","lambda","with","match","term1","term2","occurCheckEnabled","merge","substitution1","substitution2","mgu","unify","emptyMutableTheory","emptyTheory","copy","newScope","toClause$clauseOf","LogicProgrammingScopeWithTheories$toClause$clauseOf$ref","LogicProgrammingScopeWithTheories$toClause$clauseOf$ref$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0BAeIA,CAAIC,aAAJD,EAA6B;A;IAAkD,OAAlD,wDAAuC,6DAAvC,C;EAAiD,C;iBAG9EE,CAAWC,eAAXD,EACI;A;;sBCqyVS,wBAhyVf,eAgyVe,CAAa,MAAb,C;QA+UA,qB;QAAA,OA/mWf,eA+mWe,O;WAAb,oBAAa,I,EAAb;A,UAAKE,OA/mWP,eA+mWe,mB;MAAA,6C;;sBDpnWsC,qBAAL,KAAX,eAAW,CAAK,C;MCqnW/C,WAAY,GAAI,SAAJ,C;;IDrnWgD,OAA5D,sBCsnWG,WDtnWH,C;EAA2D,C;wCAG/DC,CACIC,O,EACAC,YAFJF,EAGY;A;;sBC+yTK,2B;QAwbD,qB;QAAA,OA/tUmD,YA+tUnD,O;WAAhB,oBAAgB,I,EAAhB;A,UAAKG,UA/tU8D,YA+tUnD,mB;MAAA,6C;;UACZC,ODhtU65oV,O;MCitUj5oV,OAAZ,WAAY,EAAO,IAAP,C;;IDzuU2C,OAA/C,sBAAS,cC2uUd,WD3uUc,CAAT,C;EAA8C,C;wCAG1DJ,CACIC,O,EACAC,YAFJF,EAGY;A,IAAqE,OAArE,sBAA2D,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAA3D,C;EAAoE,C;wBAGhFK,CAAkBP,eAAlBO,EACI;A;;sBCqxVS,wBAzwVD,eAywVC,CAAa,MAAb,C;QA+UA,qB;QAAA,OAxlWD,eAwlWC,O;WAAb,oBAAa,I,EAAb;A,UAAKN,OAxlWO,eAwlWC,mB;MAAA,6C;;sBDpmW6C,qBAAL,KAAX,eAAW,CAAK,C;MCqmWtD,WAAY,GAAI,SAAJ,C;;IDrmWuD,OAAnE,6BCsmWG,WDtmWH,C;EAAkE,C;+CAGtEO,CACIL,O,EACAC,YAFJI,EAGmB;A;;sBC+xTF,2B;QAwbD,qB;QAAA,OAxsUJ,YAwsUI,O;WAAhB,oBAAgB,I,EAAhB;A,UAAKH,UAxsUO,YAwsUI,mB;MAAA,6C;;UACZC,ODhtU65oV,O;MCitUj5oV,OAAZ,WAAY,EAAO,IAAP,C;;IDztUyD,OAAtD,6BAAgB,cC2tU5B,WD3tU4B,CAAhB,C;EAAqD,C;+CAGxEE,CACIL,O,EACAC,YAFJI,EAGmB;A,IAA4E,OAA5E,6BAAkE,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAAlE,C;EAA2E,C;;;;2BElClGC,CACIC,U,EACAC,UAFJF,EAGO;A,iEAF4C,K;IAEG,OAAV,WAAf,uCAAG,UAAH,CAAe,C;EAAS,C;oBCQjDG,CAAAA,EAAA;A;IACgD,0C;EADhD,C;sCAIIC,CAAAA,EAAqC;A,IAAI,OAAJ,S;EAAG,C;oCAGxCC,CACIC,K,EACAC,Y,EACAC,iB,EACAP,U,EACAQ,aALJJ,EAOI;A,IAMC,OAND,8BACI,KADJ,EAEQ,YAAa,MAAb,KAAuB,KAA3B,GAAkC,YAAlC,GAAoD,YAAa,KAAK,KAAL,CAFrE,EAGQ,iBAAkB,MAAlB,KAA4B,KAAhC,GAAuC,iBAAvC,GAA8D,iBAAkB,KAAK,KAAL,CAHpF,EAII,UAJJ,EAKQ,aAAc,MAAd,KAA6B,UAAjC,GAA6C,aAA7C,GAAgE,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;oCAWnCL,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;;;;;;;oCC5CrEP,CACIG,K,EACAC,Y,EACAC,iB,EACAP,U,EACAQ,aALJN,EAAA;A,IACI,kB;IACA,yB;IACA,8B;IACA,uB;IACA,0B;;;ICsBA,IAAI,EATF,eAAU,IAAkB,CAAlB,KAAkB,MAA5B,GAAqC,eAAU,IAAa,CAAb,KAAa,MAA5D,GAAqC,KASnC,CAAJ,C,CAAY;A;UACRQ,UDhBK,0F;MCiBL,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;;;IAHA,IAAI,CALkB,mBACd,IAAc,CAAd,KAAc,MADA,CAKtB,C,CAAY;A;UACRA,YDbK,yF;MCcL,MAAM,uCAAiC,SAAR,SAAQ,CAAjC,C;IACV,C;ED9BJ,C;oDACaC,CAAAA,EAAA;A,IAAA,iB;EAAe,C;oDACfC,CAAAA,EAAA;A,IAAA,iB;EAA6B,C;oDAE7BC,CAAAA,EAAA;A,IAAA,iB;EAAyB,C;oDAZtCC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;0DAAAC,CAAAA,EAAA;A,IAAA,6B;EAAA,C;2DAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mC;EAAA,C;uDAAAA,CAAAC,KAAAD,EAAA;A,IAAA,+B;EAAA,C;wDAAAE,CAAAC,KAAAD,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAAAC,KAAAD,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAAAC,KAAAD,EAAA;A,IAAA,wC;EAAA,C;yDAAAE,CAAAC,I,EAAAC,IAAAF,EAAA;A,IAAA,sC;EAAA,C;uDAAAG,CAAAF,I,EAAAG,IAAAD,EAAA;A,IAAA,oC;EAAA,C;4DAAAE,CAAAC,QAAAD,EAAA;A,IAAA,uC;EAAA,C;yDAAAA,CAAAC,QAAAD,EAAA;A,IAAA,oC;EAAA,C;4DAAAE,CAAAC,K,EAAAN,IAAAK,EAAA;A,IAAA,0C;EAAA,C;uDAAAE,CAAAR,IAAAQ,EAAA;A,IAAA,8B;EAAA,C;oDAAAC,CAAAJ,QAAAI,EAAA;A,IAAA,+B;EAAA,C;yDAAAC,CAAAC,O,EAAAC,QAAAF,EAAA;A,IAAA,6C;EAAA,C;4DAAAG,CAAAC,I,EAAAC,KAAAF,EAAA;A,IAAA,0C;EAAA,C;qEAAAA,CAAAC,I,EAAAC,KAAAF,EAAA;A,IAAA,mD;EAAA,C;0DAAAG,CAAApB,KAAAoB,EAAA;A,IAAA,kC;EAAA,C;sDAAAA,CAAApB,KAAAoB,EAAA;A,IAAA,8B;EAAA,C;0DAAAA,CAAApB,KAAAoB,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAAApB,KAAAoB,EAAA;A,IAAA,mC;EAAA,C;yDAAAA,CAAApB,KAAAoB,EAAA;A,IAAA,iC;EAAA,C;8DAAAA,CAAApB,K,EAAAqB,KAAAD,EAAA;A,IAAA,6C;EAAA,C;gEAAAA,CAAApB,KAAAoB,EAAA;A,IAAA,wC;EAAA,C;oDAAAE,CAAApB,K,EAAAqB,IAAAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAAApB,K,EAAAqB,IAAAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAAApB,K,EAAAqB,IAAAD,EAAA;A,IAAA,kC;EAAA,C;4DAAAE,CAAAtB,KAAAsB,EAAA;A,IAAA,oC;EAAA,C;oEAAAA,CAAAtB,KAAAsB,EAAA;A,IAAA,4C;EAAA,C;oEAAAA,CAAAtB,KAAAsB,EAAA;A,IAAA,4C;EAAA,C;0DAAAC,CAAAzB,KAAAyB,EAAA;A,IAAA,kC;EAAA,C;4DAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,oC;EAAA,C;2DAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,mC;EAAA,C;yDAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,iC;EAAA,C;0DAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,kC;EAAA,C;sDAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,8B;EAAA,C;2DAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,mC;EAAA,C;yDAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,iC;EAAA,C;gEAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,wC;EAAA,C;uDAAAC,CAAA1B,KAAA0B,EAAA;A,IAAA,+B;EAAA,C;4DAAAA,CAAA1B,KAAA0B,EAAA;A,IAAA,oC;EAAA,C;0DAAAA,CAAA1B,KAAA0B,EAAA;A,IAAA,kC;EAAA,C;iEAAAA,CAAA1B,KAAA0B,EAAA;A,IAAA,yC;EAAA,C;uDAAAC,CAAAvB,I,EAAAO,K,EAAAN,IAAAsB,EAAA;A,IAAA,2C;EAAA,C;yDAAAC,CAAAC,O,EAAAC,IAAAF,EAAA;A,IAAA,yC;EAAA,C;iEAAAA,CAAAC,O,EAAAC,IAAAF,EAAA;A,IAAA,iD;EAAA,C;6DAAAA,CAAAC,O,EAAAC,IAAAF,EAAA;A,IAAA,6C;EAAA,C;iEAAAA,CAAAC,O,EAAAC,IAAAF,EAAA;A,IAAA,iD;EAAA,C;+DAAAG,CAAAC,WAAAD,EAAA;A,IAAA,6C;EAAA,C;uEAAAA,CAAAC,WAAAD,EAAA;A,IAAA,qD;EAAA,C;uEAAAA,CAAAC,WAAAD,EAAA;A,IAAA,qD;EAAA,C;wDAAAE,CAAAjC,KAAAiC,EAAA;A,IAAA,gC;EAAA,C;wDAAAC,CAAAhC,KAAAgC,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAAAhC,KAAAgC,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAAAhC,KAAAgC,EAAA;A,IAAA,wC;EAAA,C;0DAAAC,CAAAH,WAAAG,EAAA;A,IAAA,wC;EAAA,C;kEAAAA,CAAAH,WAAAG,EAAA;A,IAAA,gD;EAAA,C;kEAAAA,CAAAH,WAAAG,EAAA;A,IAAA,gD;EAAA,C;0DAAAC,CAAAlB,IAAAkB,EAAA;A,IAAA,iC;EAAA,C;sDAAAA,CAAAlB,IAAAkB,EAAA;A,IAAA,6B;EAAA,C;yDAAAC,CAAAA,EAAA;A,IAAA,4B;EAAA,C;sDAAAC,CAAAC,MAAAD,EAAA;A,IAAA,+B;EAAA,C;qDAAAE,CAAAD,MAAAC,EAAA;A,IAAA,8B;EAAA,C;sDAAAC,CAAAC,K,EAAAC,KAAAF,EAAA;A,IAAA,qC;EAAA,C;oEAAAA,CAAAC,K,EAAAC,K,EAAAC,iBAAAH,EAAA;A,IAAA,sE;EAAA,C;sDAAAI,CAAAC,a,EAAAC,aAAAF,EAAA;A,IAAA,qD;EAAA,C;oEAAAA,CAAAC,a,EAAAC,a,EAAAH,iBAAAC,EAAA;A,IAAA,sF;EAAA,C;oDAAAG,CAAAN,K,EAAAC,KAAAK,EAAA;A,IAAA,mC;EAAA,C;oDAAAA,CAAAN,K,EAAAC,K,EAAAC,iBAAAI,EAAA;A,IAAA,sD;EAAA,C;sDAAAC,CAAAP,K,EAAAC,KAAAM,EAAA;A,IAAA,qC;EAAA,C;oEAAAA,CAAAP,K,EAAAC,K,EAAAC,iBAAAK,EAAA;A,IAAA,sE;EAAA,C;mEAAAC,CAAAA,EAAA;A,IAAA,sC;EAAA,C;iFAAAA,CAAAtE,UAAAsE,EAAA;A,IAAA,8D;EAAA,C;4DAAAC,CAAAA,EAAA;A,IAAA,+B;EAAA,C;0EAAAA,CAAAvE,UAAAuE,EAAA;A,IAAA,uD;EAAA,C;8EAAAzE,CAAAE,U,EAAAP,OAAAK,EAAA;A,IAAA,oE;EAAA,C;gEAAAA,CAAAL,OAAAK,EAAA;A,IAAA,0C;EAAA,C;wEAAAA,CAAAL,OAAAK,EAAA;A,IAAA,kD;EAAA,C;sFAAAA,CAAAL,O,EAAAO,UAAAF,EAAA;A,IAAA,4E;EAAA,C;wEAAAA,CAAAL,OAAAK,EAAA;A,IAAA,kD;EAAA,C;sFAAAA,CAAAL,O,EAAAO,UAAAF,EAAA;A,IAAA,4E;EAAA,C;uEAAAN,CAAAQ,U,EAAAP,OAAAD,EAAA;A,IAAA,6D;EAAA,C;yDAAAA,CAAAC,OAAAD,EAAA;A,IAAA,mC;EAAA,C;iEAAAA,CAAAC,OAAAD,EAAA;A,IAAA,2C;EAAA,C;+EAAAA,CAAAC,O,EAAAO,UAAAR,EAAA;A,IAAA,qE;EAAA,C;iEAAAA,CAAAC,OAAAD,EAAA;A,IAAA,2C;EAAA,C;+EAAAA,CAAAC,O,EAAAO,UAAAR,EAAA;A,IAAA,qE;EAAA,C;oDA2BagF,CAASnE,KAATmE,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;oDAEKA,CAASxE,UAATwE,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;oDAEKC,CAAAA,EAAwC;A,IAAmB,OAAnB,SAAW,0BAAX,C;EAAkB,C;;;;4BJ9BCC,CAAA,Q,EAAA,EAAAA,EAAA;A,IAAA,gC;EAAS,C;kEAATC,C,UAAAA,E;oBAAAC,C,EAAAA,EAAA;A;IAAS,C;G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;"}

package/2p-dsl-unify.js

@@ -1,77 +1,13 @@
 (function (root, factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports', './kotlin-kotlin-stdlib.js', './2p-unify.js', './2p-dsl-core.js'], factory);
+    define(['exports'], factory);
   else if (typeof exports === 'object')
-    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-unify.js'), require('./2p-dsl-core.js'));
-  else {
-    if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
-      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'.");
-    }
-    if (typeof this['2p-unify'] === 'undefined') {
-      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'.");
-    }
-    if (typeof this['2p-dsl-core'] === 'undefined') {
-      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'.");
-    }
-    root['2p-dsl-unify'] = factory(typeof this['2p-dsl-unify'] === 'undefined' ? {} : this['2p-dsl-unify'], this['kotlin-kotlin-stdlib'], this['2p-unify'], this['2p-dsl-core']);
-  }
-}(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_dsl_core) {
+    factory(module.exports);
+  else
+    root['2p-dsl-unify'] = factory(typeof this['2p-dsl-unify'] === 'undefined' ? {} : this['2p-dsl-unify']);
+}(this, function (_) {
   'use strict';
-  //region block: imports
-  var protoOf = kotlin_kotlin.$_$.a6;
-  var VOID = kotlin_kotlin.$_$.d;
-  var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
-  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
-  var interfaceMeta = kotlin_kotlin.$_$.n5;
-  var setMetadataFor = kotlin_kotlin.$_$.b6;
-  //endregion
   //region block: pre-declaration
-  function anyMguWith(_this__u8e3s4, other) {
-    return this.mgu(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
-  }
-  function anyMatches(_this__u8e3s4, other) {
-    return this.match(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
-  }
-  function anyUnifyWith(_this__u8e3s4, other) {
-    return this.unify(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
-  }
-  function mgu(term1, term2, occurCheckEnabled) {
-    return this.u1j(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
-  }
-  function mguAny(term1, term2, occurCheckEnabled, $super) {
-    occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
-    return $super === VOID ? this.a1l(term1, term2, occurCheckEnabled) : mgu(term1, term2, occurCheckEnabled);
-  }
-  function match(term1, term2, occurCheckEnabled) {
-    return this.matchWithOccurCheck(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
-  }
-  function matchAny(term1, term2, occurCheckEnabled, $super) {
-    occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
-    return $super === VOID ? this.b1l(term1, term2, occurCheckEnabled) : match(term1, term2, occurCheckEnabled);
-  }
-  function unify(term1, term2, occurCheckEnabled) {
-    return this.unifyWithOccurCheck(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
-  }
-  function unifyAny(term1, term2, occurCheckEnabled, $super) {
-    occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
-    return $super === VOID ? this.c1l(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
-  }
-  setMetadataFor(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', interfaceMeta, VOID, [Unificator, BaseLogicProgrammingScope]);
-  //endregion
-  function LogicProgrammingScopeWithUnification() {
-  }
-  //region block: exports
-  _.$_$ = _.$_$ || {};
-  _.$_$.a = matchAny;
-  _.$_$.b = mguAny;
-  _.$_$.c = unifyAny;
-  _.$_$.d = anyMatches;
-  _.$_$.e = match;
-  _.$_$.f = anyMguWith;
-  _.$_$.g = mgu;
-  _.$_$.h = anyUnifyWith;
-  _.$_$.i = unify;
-  _.$_$.j = LogicProgrammingScopeWithUnification;
   //endregion
   return _;
 }));

package/2p-dsl-unify.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../../../../../../../../2p-kt/2p-kt/dsl-unify/src/commonMain/kotlin/it/unibo/tuprolog/dsl/unify/LogicProgrammingScopeWithUnification.kt"],"sourcesContent":[null],"names":["mguWith","<this>","other","matches","unifyWith","mgu","term1","term2","occurCheckEnabled","mgu$default","match","match$default","unify","unify$default"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;qBAUUA,CAAIC,a,EAAYC,KAAhBF,EACF;A,IAA4E,OAA5E,IAA0C,KAAS,mBAAL,aAAK,CAAT,EAAyB,mBAAN,KAAM,CAAzB,C;EAAiC,C;qBAGzEG,CAAIF,a,EAAYC,KAAhBC,EACF;A,IAA8E,OAA9E,IAA0C,OAAW,mBAAL,aAAK,CAAX,EAA2B,mBAAN,KAAM,CAA3B,C;EAAmC,C;uBAG3EC,CAAIH,a,EAAcC,KAAlBE,EACF;A,IAA8E,OAA9E,IAA0C,OAAW,mBAAL,aAAK,CAAX,EAA2B,mBAAN,KAAM,CAA3B,C;EAAmC,C;cAGjFC,CACIC,K,EACAC,K,EACAC,iBAHJH,EAIkB;A,IAAsD,OAAtD,SAAU,mBAAN,KAAM,CAAV,EAA0B,mBAAN,KAAM,CAA1B,EAAoC,iBAApC,C;EAAqD,C;iBAJvEI,CACIH,K,EACAC,K,EACAC,iB,QAHJC,E;qDAGiC,I;;G;gBAIjCC,CACIJ,K,EACAC,K,EACAC,iBAHJE,EAIa;A,IAAwD,OAAxD,yBAAY,mBAAN,KAAM,CAAZ,EAA4B,mBAAN,KAAM,CAA5B,EAAsC,iBAAtC,C;EAAuD,C;mBAJpEC,CACIL,K,EACAC,K,EACAC,iB,QAHJG,E;qDAGiC,I;;G;gBAIjCC,CACIN,K,EACAC,K,EACAC,iBAHJI,EAIW;A,IAAwD,OAAxD,yBAAY,mBAAN,KAAM,CAAZ,EAA4B,mBAAN,KAAM,CAA5B,EAAsC,iBAAtC,C;EAAuD,C;mBAJlEC,CACIP,K,EACAC,K,EACAC,iB,QAHJK,E;qDAGiC,I;;G;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;"}