@tuprolog/2p-full 3.0.8 → 4.0.0

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-repl.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","src/kotlin/text/Strings.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","src/kotlin/collections/Maps.kt","src/kotlin/util/Standard.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../../../../../../Users/runner/work/clikt/clikt/clikt/src/commonMain/kotlin/com/github/ajalt/clikt/parameters/arguments/Argument.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/PlatformSpecificUtils.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["printSolution","sol","operatorSet","groundQueriesHaveBooleanSolution","printYesSolution","printHaltSolution","ex","printEndOfSolutions","readQueryMultiline","query","longQuery","lastRead","printNoSolution","<init>","help","context","helpEpilog","printParseException","e","readQuery","printSolutions","solutions","first","cmd","printNumSolutions","maxSolutions","i","NullInputException_init_$Init$","message","cause","loadTheory","theory","t","readEvalPrintLoop","solver","goal","TuPrologCmd$getSolver$lambda$lambda$lambda","TuPrologCmd$getSolver$lambda$lambda","sep","formatter","stacktrace","TuPrologCmd$getSolver$lambda","additionalLibraries","run","getTimeout","getSolver","outputChannel","libraries","<get-parentCommand>","evalAndPrint","duration","TuPrologSolveQuery$query$delegate$lambda$lambda","isReadableFile","path","loadTheoryFromFile","main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EC6CYA,uBD7CZ,K,EC8CQC,G,EACAC,W,EACAC,gCAHIH,EAIN;A,IAEM,gBADE,GACF,O,CAAmB;A,MACf,wBAAiB,GAAjB,EAAsB,WAAtB,EAAmC,gCAAnC,C;IACJ,C;MACA,gBAJE,GAIF,M,CAAkB;A,QACd,uBAAgB,GAAhB,EAAqB,WAArB,C;MACJ,C;QACA,gBAPE,GAOF,Q,CAAoB;A,UAChB,yBAAkB,GAAlB,EAAuB,WAAvB,C;QACJ,C;UATJ,8B;;;;EAWJ,C;EAEQI,0BD/DZ,K,ECgEQH,G,EACAC,W,EACAC,gCAHIC,EAIN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,uBAAc,WAAd,EAA2B,gCAA3B,CAAzB,CAAT,C;EACJ,C;EAEQC,2BDvEZ,K,ECwEQJ,G,EACAC,WAFIG,EAGN;A,QACQC,KAAS,GAAI,M;IACf,gC,CAAoB;A,MAChB,UAAK,YAAL,C;MACA,MAAM,kBAAc,EAAd,CAAiB,UAAjB,C;IACV,C;MACQ,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;;EAEhB,C;EAWQC,6BD7FZ,KC6FYA,EAA0B;A,EAElC,C;EAyBQC,4BDxHZ,K,ECwHmCC,KAAvBD,EAA8C;A,QAClDE,YAAgB,kBAAc,KAAd,C;QAChBC,WAAe,K;0BACf;A;UD3HR,SC2HgB,Q;UCyDkE,YAAV,SAAP,KAAtB,6CAAsB,CAAO,C;WDzDzD,CAAiB,SAAP,SAAO,EAAS,8BAAT,C;;;UACT,iBAAS,OAAT,mBAAS,EAAO,GAAP,gCAA2B,GAA3B,C;UD5HhC,G;MC4HuB,2B;QACJ,MAAM,iCAAmB,iDAAnB,C;;cADF,c;;MAAX,c;MAEA,SAAU,IAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;EAGQC,yBDpIZ,K,ECqIQX,G,EACAC,WAFIU,EAGN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;EA5GkCC,iCD7BtC,I,EAAA,M,EAAA,I,EAAA,uB,EAAA,oB,EAAA,Q,EAAA,kB,EAAA,wB,EAAA,yB,EAAA,cC6BsCA,EAAA;A,2BACP,E;+BACE,E;2BACb,I;iEACgC,K;2DACH,K;mCACA,U;uDACF,E;mEACM,K;qEACC,K;+CACX,K;IAV3C,wBAWiB,IAXjB,C;IACI,iB;IACA,mB;IAEA,oC;IACA,iC;IACA,qB;IACA,+B;IACA,qC;IACA,sC;IACA,2B;EAVkC,C;yCD7BtC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCCyCaC,UAASC,OAATD,EAA6B;A,IAAS,OAAT,IAAS,CAAJ,K;EAAG,C;yCAErCE,UAAeD,OAAfC,EAAmC;A,IAAW,OAAX,IAAW,CAAN,K;EAAK,C;yCA8C5CC,UAAwBC,CAAxBD,EAA2C;A,QACrC,qBAAF,CAAE,Q;QD1FpB,G;IC0F6B,+B;YAAA,I;;;UD1F7B,K;;MEi1Be,IAniBwC,mBDpNrC,kBCoNqC,IAAS,CAmiBjD,C;YFj1Bf,KEi1BuC,WDvvBrB,kBCuvBqB,EAAK,CAAL,C;YDvvBgE,YAAhD,YAAH,EAAG,CAAP,GAAyB,UAAH,EAAG,CAAzB,GAA6C,WAAH,EAAG,C;gBCuvB7C,SAAnB,SAAmB,CAAnB,GAAgC,UDvvB3C,kBCuvB2C,EAAU,CAAV,C;;gBDvvB3C,kB;;;;IAAV,SAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;yCAcUE,UAAAA,EAAwB;A,QAC9BV,QAA8B,OAAT,kBAAS,EAAO,IAAP,gCAA4B,GAA5B,C;QD1GtC,G;IC4GY,aAAS,IAAT,C;MACI,MAAM,iCAAmB,gDAAnB,C;;;UCuE4D,YAAV,SAAP,KAAtB,eDrE/B,KCqE+B,IDrE/B,KCqE+B,cAAsB,CAAO,C;MDrE5D,IAAa,SAAP,SAAO,EAAS,8BAAT,CAAb,C;cACI,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;EAWJ,C;yCA6BUW,UACNC,S,EACAnB,W,EACAC,gCAHMiB,EAIR;A,QACEE,QAAY,I;oBACL,SAAU,I,EAAW;A,MACpB,KAAC,KAAD,C,CAAQ;A,YACW,4BAAT,kBAAS,EAAO,EAAP,oBAAuB,KAAvB,C;YD3JnC,G;QC2JkE,+B;gBAAA,I;;;gBCyBM,SAAP,KAAtB,eDzBjB,kBCyBiB,IDzBjB,kBCyBiB,cAAsB,CAAO,C;;YDzBxDC,S;QACI,cAAO,GAAP,E;UAAY,a;MACpB,C,MAAO;A,QACH,QAAQ,K;MACZ,C;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,EAA6C,gCAA7C,C;IACJ,C;IACA,yB;EACJ,C;yCASUC,UACNH,S,EACAI,Y,EACAvB,W,EACAC,gCAJMqB,EAKR;A,QACEE,IAAQ,C;WACD,IAAI,Y,IAAgB,SAAU,I,EAAW;A,MAC5C,IAAA,CAAC,IAAD,I;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,EAA6C,gCAA7C,C;IACJ,C;IACA,yB;EACJ,C;EE3KAC,wCAAYC,O,EAAkBC,K,EHblC,KGaIF,E;IAAmD,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;G;EAEAA,0CAAYC,O,EHfhB,KGeID,E;IAAgC,+BAAK,OAAL,EAAc,IAAd,Q;;G;EAAhCA,0CAAYC,OAAZD,E;QHfJ,0F;;;G;EAAA,4BAAA,EAAA;AAAA;AAAA,EAAA,CAAA;A,EIwDId,mBAAAA,EAAA;A,IAEqC,iB;EAFrC,C;;EJxDJ,iCAAA,EAAA;AAAA;AAAA,GAAA;EAAA,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,sFAAA;AAAA,EAAA,CAAA;EAAA,6BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,0FAAA;AAAA,EAAA,CAAA;EAAA,0BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,kFAAA;AAAA,EAAA,CAAA;EIyFYiB,oBJzFZ,KIyFYA,EAAyB;A,QAC7BC,SAA4B,iD;QACf,oBAAK,mBAAL,KAAK,CAAL,I;WAAA,qB,EAAY;A,UJ3FjC,OI2FqB,qB;MACL,mBAAe,IAAf,E,CAAsB;A,QACtB,IAAI;A,cACAC,IAAQ,mBAAmB,IAAnB,C;UACR,UAAM,wBAAN,GAA8B,CAAE,IAAhC,cAAqC,gBAArC,GAAoD,IAApD,C;UACA,2BAAU,CAAV,C;QACJ,C;4CAA4B;A,gBJjG5C,M;YIkGoB,UAOQ,WAND,gEAMC,GALiC,IAKjC,GALqC,4CAKrC,GAJc,CAId,CAJgB,OAIhB,GAJwB,4CAIxB,GAHc,CAGd,CAHgB,IAGhB,GAHqB,4CAGrB,GAFc,CAEd,CAFgB,MAEhB,GAFuB,4CAEvB,GADc,CACd,CADgB,WAChB,GAD4B,4BAC5B,CAPR,QAQU,IARV,C;UAUJ,C;;;;MACJ,C;IACJ,C;IACA,UAAK,EAAL,C;IACA,OAAO,M;EACX,C;EAEQC,2BJnHZ,K,EImHkCC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACAxB,QAAqB,W;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACA0B,OAAkB,kDAAM,KAAN,EAAa,MAAO,MAApB,C;cAClBd,YAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,MAAjB,CAA+B,I;UACtD,UACI,SADJ,EAEI,MAAO,MAFX,EAGI,OAAA,MAAO,MAAP,qGAAmF,KAAnF,CAHJ,C;QAKJ,C;4CAA4B;A,gBJ/H5C,M;YIgIoB,UAAoB,CAApB,C;UACJ,C;;;;QACA,UAAK,EAAL,C;QACA,QAAQ,W;MACZ,C;IACJ,C;8CAAgC;A,YJrIxC,0B;QIsIY,UAAK,cAAL,C;QACA,MAAM,kBAAc,CAAd,C;MACV,C;;;;EACJ,C;EJzIJ,4CAAA,EAAA;AAAA,gDAAA,E;aI+DuC,sB;OJ/DvC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,8CAAA,EAAA;AAAA,gDAAA,E;aIkE2B,uB;OJlE3B,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0CAAA,EAAA;AAAA,gDAAA,E;aIwEuB,oB;OJxEvB,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,6CAAA,UAAA,EAAA;AAAA,WIsKqEe,UAAA,EAAAA,EAAA;A,MAAsB,OAAjB,OAAH,EAAG,EAAO,UAAP,C;IAAkB,C;AJtK5F,GAAA;EAAA,sCAAA,MAAA,EAAA;AAAA,WIkKsCC,UJlKtC,CIkKsCA,EAAA;A,MACtB,WAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAC,MAAU,W;UACVC,YAAwC,sDAAkB,CAAE,KAAQ,MAA5B,C;UJrKxD,MIsKiC,CAAE,M;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,WAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,oB;IAAA,C;AJxKZ,GAAA;EImLkCC,wCAAA,UAAAA,EAAA;A,IAAI,OAAF,UAAE,CAAF,K;EAAG,C;EAnItB5B,qBACb6B,mBADa7B,EAAA;A,IAAjB,mCAMe,qCANf,QAKe,uBALf,EAGkC,IAHlC,oBAImC,IAJnC,C;IAa0D,gC;QJ7D1D,MI+DuC,I;QJ/DvC,QIgES,SAD8B,aAAO,OAAM,UAAN,CAAP,EAAgC,kCAAhC,CAC9B,C;QJhET,kB;II+DuC,kH;QJ/DvC,QIkE2B,I;QJlE3B,QIsEY,UAAN,IAJqB,aACnB,OACA,WADA,CADmB,EAGZ,oEAHY,CAIrB,CAAM,EAAQ,IAAR,C;QJtEZ,kB;IIkE2B,wH;QJlE3B,QIwEuB,I;QJxEvB,QI2EM,KAHiB,aACf,SADe,EAER,uBAFQ,CAGjB,MAAe,KAAf,C;QJ3EN,kB;IIwEuB,gH;EAxBN,C;6BAmCJ8B,UAAAA,EAAU;A,IACX,IAAA,UAAe,MAAf,IAAoC,IAApC,C,CAA0C;A,MAC1C,wBAAkB,UAAlB,C;IACJ,C;EACJ,C;6BAyDAC,UAAAA,EAAiC;A,IAAgB,OAAR,QAAR,yBAAQ,C;EAAO,C;6BAchDC,UAAAA,EAAwB;A,IACpB,SAAK,uBAAL,C;QACAd,SAA0B,WAAL,IAAK,C;QJhKlC,0B;QIiKQe,gBACkB,OAAY,kCAAZ,C;QJlK1B,K;II0KgB,2B;cACQ,wBAAG,0DAAgB,IAAhB,CAAgB,KAAhB,EAAH,C;;cAEA,wBAAG,oCAAQ,IAAR,CAAQ,KAAR,EAAH,C;;QAJhBC,iB;QJzKR,QI+KsB,+BACT,aACA,YAAQ,SAAR,CACA,aAAS,MAAT,C;QJlLb,oC;;QAAA,SImLa,mCAAqB,8BAArB,CACA,aAAS,aAAT,CACA,Q;;QAEwB,oBEjF3B,MFiF8B,MCuWgD,KAAQ,I;WDvW3D,qB,EAAc;A;UAA1B,UAAY,qBC6I+B,K;MD5IhD,SAAM,iCAAN,GAAuC,OAAQ,MAA/C,GAAqD,GAArD,C;IACJ,C;IACA,SAAK,EAAL,C;IAXR,OExEG,M;EFqFP,C;EJ5LJ,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,6FAAA;AAAA,EAAA,CAAA;EAAA,mCAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,2GAAA;AAAA,EAAA,CAAA;EOqCQC,oCPrCR,KOqCQA,EAAQ;A,QAAe,qBAAf,WAAe,M;QPrC/B,MOqCuC,oCAAvB,kBAAuB,M;IAAsB,OAA7C,8C;EAA4C,C;EAWhDC,sBPhDZ,K,EOgD6Bf,MAAjBe,EAAiC;A,IACrC,IAAI;A,UACAC,WAA6B,iCAAc,M;UAC3C7B,YAAgB,MAAO,kBAAa,qCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,I;UAC5DlB,mCACI,OAAA,MAAO,MAAP,qGAAmF,KAAnF,C;MACA,yCAAgB,CAAhB,C,CAAmB;A,QACnB,UAAe,SAAf,EAA0B,MAAO,MAAjC,EAA4C,gCAA5C,C;MACJ,C,MAAO;A,QACH,UAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,MAAlD,EAA6D,gCAA7D,C;MACJ,C;IACJ,C;wCAA4B;A,YP3DpC,M;QO4DY,UAAoB,CAApB,C;MACJ,C;;;;EACJ,C;EP9DJ,kDAAA,QAAA,EAAA;AAAA,WOgEq+kBgD,UAAA,c,EAAA,EAAAA,EAAA;A;;MC8Bz9kB,KN+N2C,CAAC,QK7Pi8kB,EL6Pj8kB,CM/N5C,C,CAAQ;A,YAqgB0C,YAtB3C,Q;QD7gBo9kB,cC8Bn9kB,KAAK,SAAL,C;MAAkB,C;MD9B4+kB,oB;IAAA,C;APhElhlB,GAAA;EAAA,mDAAA,EAAA;AAAA,gDAAA,E;aO+BiC,sB;OP/BjC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0DAAA,EAAA;AAAA,gDAAA,E;aOgCqC,6B;OPhCrC,CAAA,EAAA,CAAA;AAAA,GAAA;A,EO0BAtC,4BAAAA,EAAA;A,IAAA,mCAEe,+CAFf,QAGe,OAHf,C;QP1BA,MO+BiC,I;QP/BjC,OO+BiC,c;;QP/BjC,UO+BkD,yB;;QP/BlD,QQmmBW,eAAS,iDAAT,C;QRnmBX,kB;IO+BiC,yH;QP/BjC,QOgCqC,I;QPhCrC,QOkCS,UADA,IAD4B,aAAO,OAAM,qBAAN,CAAP,EAA2C,iCAA3C,CAC5B,CACA,EAAQ,CAAR,C;QPlCT,kB;IOgCqC,yI;EANrC,C;oCAiBa8B,UAAAA,EAAU;A,QACfT,SAAa,gCAAc,M;IAC3B,mBAAa,MAAb,C;EACJ,C;EErCGkB,wBAAmBC,IAAnBD,EAA0C;A;QTTjD,SSUS,qB;IHmByC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EGlBxD,C;EAOOE,4BAAuBD,IAAvBC,EAA6C;A;QTlBpD,SSmBS,qB;IHUyC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EGTxD,C;ECPAC,gBAASC,IAATD,EAA8B;A,IACsB,KAAlC,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,EAAK,IAAL,C;EACpD,C;;;;;;;;;;"}
1
+ {"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","common/src/generated/_Strings.kt","src/kotlin/text/Strings.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","src/kotlin/time/Duration.kt","src/kotlin/collections/Maps.kt","src/kotlin/util/Standard.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../../../../../../Users/runner/work/clikt/clikt/clikt/src/commonMain/kotlin/com/github/ajalt/clikt/parameters/arguments/Argument.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/PlatformSpecificUtils.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["printSolution","sol","number","operatorSet","groundQueriesHaveBooleanSolution","exception","plain","keyword","prefix","printEndOfSolutions","solutions","readQueryMultiline","query","longQuery","lastRead","<init>","help","context","helpEpilog","printQuery","printParseException","e","readQuery","printSolutions","timedSolutions","cmd","printNumSolutions","maxSolutions","i","NullInputException_init_$Init$","message","cause","loadTheory","theory","t","readEvalPrintLoop","solver","goal","TuPrologCmd$getSolver$lambda$lambda$lambda","TuPrologCmd$getSolver$lambda$lambda","sep","formatter","stacktrace","additionalLibraries","run","getTimeout","getSolver","outputChannel","libraries","<get-parentCommand>","evalAndPrint","duration","TuPrologSolveQuery$query$delegate$lambda$lambda","isReadableFile","path","loadTheoryFromFile","main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECoDYA,uBDpDZ,K,ECqDQC,G,EACAC,M,EACAC,W,EACAC,gCAJIJ,EAKN;A,QACmB,wD;QAAjBK,YAAyC,oCAAxB,kBAAwB,M;IACrC,uC,CAA4B;A,MAC5B,UAAK,YAAL,C;MACA,MAAM,kBAAc,SAAd,CAAwB,UAAxB,C;IACV,C;QACAC,QAGS,OAFL,GACK,WAAY,MAAA,GAAI,KAAJ,EAAW,qCAAX,CAAZ,CACA,EAAyB,uBAAc,WAAd,EAA2B,gCAA3B,CAAzB,C;QDlEjB,S;;;UEipBkB,qB;UAAQ,OD9kBJ,KC8kBI,O;MAAtB,wBAAc,IAAd,C;WAAA;A,cFjpBJ,QEipBkB,iB;UAAA,6C;cFjpBlB,KEkpBuB,WD/kBD,KC+kBC,EAAI,KAAJ,C;UAAX,KD/kB+B,SAAH,EAAG,CC+kB/B,C,CAAwB;A,YACxB,YAAO,UDhlBG,KCglBH,EAAU,CAAV,EAAa,KAAb,C;;UACX,C;;QAHJ,4BAAc,IAAd,C;MAIA,YDllBkB,K;;QAAdC,UAAoB,S;QACS,8BAAJ,GAAI,C;QDpErC,G;QAAA,QCoE2C,kB;IAAA,yD;YAAA,I;;UDpE3C,QCoEiC,kB;;UDpEjC,wD;YCoEkD,GAAD,GAAO,WAAH,IAAG,CAAP,GAAoB,I;;;QEsRvB,oB;QFtRtCC,cAAe,MAAfA,GAAqB,IAArBA,IEsRsC,yBAAQ,EAAR,iBFtRtCA,C;IACA,mBAAS,KAAQ,SAAoB,kCAAK,OAAL,CAApB,GAA0C,KAAN,KAAM,EAAK,OAAL,CAAa,MAAb,CAAlD,C;EACb,C;EAmBQC,6BDzFZ,K,ECyFoCC,SAAxBD,EAAmD;A,IACvD,UAAM,qBAAN,GAAmD,WAAxB,SAAU,MAAc,CAAP,MAAO,CAAnD,C;EACJ,C;EA6BQE,4BDxHZ,K,ECwHmCC,KAAvBD,EAA8C;A,QAClDE,YAAgB,kBAAc,KAAd,C;QAChBC,WAAe,K;0BACf;A;UD3HR,SC2HgB,Q;UEyDkE,YAAV,SAAP,KAAtB,6CAAsB,CAAO,C;WFzDzD,CAAiB,SAAP,SAAO,EAAS,8BAAT,C;;;UACT,iBAAS,OAAT,mBAAS,EAAO,GAAP,gCAA2B,GAA3B,C;UD5HhC,G;MC4HuB,2B;QACJ,MAAM,iCAAmB,iDAAnB,C;;cADF,c;;MAAX,c;MAEA,SAAU,IAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;EA7FkCC,iCDpCtC,I,EAAA,M,EAAA,I,EAAA,uB,EAAA,oB,EAAA,Q,EAAA,kB,EAAA,wB,EAAA,yB,EAAA,cCoCsCA,EAAA;A,2BACP,E;+BACE,E;2BACb,I;iEACgC,K;2DACH,K;mCACA,U;uDACF,E;mEACM,K;qEACC,K;+CACX,K;IAV3C,wBAWiB,IAXjB,C;IACI,iB;IACA,mB;IAEA,oC;IACA,iC;IACA,qB;IACA,+B;IACA,qC;IACA,sC;IACA,2B;EAVkC,C;yCDpCtC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCCgDaC,UAASC,OAATD,EAA6B;A,IAAS,OAAT,IAAS,CAAJ,K;EAAG,C;yCAErCE,UAAeD,OAAfC,EAAmC;A,IAAW,OAAX,IAAW,CAAN,K;EAAK,C;yCAuB5CC,UAAeP,KAAfO,EAA8B;A,QDzE5C,MC0EQ,kB;QD1ER,QC2Ea,GAAD,GAAI,qBAAkC,oBAAM,KAAxC,CAAJ,GAAmE,IAAnE,GACe,kCAAK,IAAL,C;;QE8H6D,YAAV,SAAV,QAAtB,eF9HF,KE8HE,IF9HF,KE8HE,cAAsB,CAAU,C;IFhI7D,QACL,SAC6B,GAD7B,GACgD,aAAV,SAAU,EAAa,GAAb,CADhD,GACkE,GADlE,CADK,C;EAIb,C;yCAOUC,UAAwBC,CAAxBD,EAA2C;A,QACrC,qBAAF,CAAE,Q;QDtFpB,G;ICsF6B,+B;YAAA,I;;;UDtF7B,K;;MGi1Be,IAniBwC,mBFxNrC,kBEwNqC,IAAS,CAmiBjD,C;YHj1Bf,KGi1BuC,WF3vBrB,kBE2vBqB,EAAK,CAAL,C;YF3vBgE,YAAhD,YAAH,EAAG,CAAP,GAAyB,UAAH,EAAG,CAAzB,GAA6C,WAAH,EAAG,C;gBE2vB7C,SAAnB,SAAmB,CAAnB,GAAgC,YF3vB3C,kBE2vB2C,EAAU,CAAV,C;;gBF3vB3C,kB;;;;IAAV,SAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;yCAcUE,UAAAA,EAAwB;A,QAC9BV,QACa,OAAT,kBAAS,EACJ,GADI,GACD,qBAAkC,oBAAM,KAAxC,CADC,GAC8D,IAD9D,GAC6E,kCAAK,IAAL,CAD7E,gCAEU,GAFV,C;QDvGrB,G;IC4GY,aAAS,IAAT,C;MACI,MAAM,iCAAmB,gDAAnB,C;;;UEuE4D,YAAV,SAAP,KAAtB,eFrE/B,KEqE+B,IFrE/B,KEqE+B,cAAsB,CAAO,C;MFrE5D,IAAa,SAAP,SAAO,EAAS,8BAAT,CAAb,C;cACI,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;EAWJ,C;yCAsBUW,UACNC,c,EACArB,W,EACAC,gCAHMmB,EAIR;A,QACEb,YAAgB,cAAe,I;QAC/BR,SAAa,C;oBACN,SAAU,I,EAAW;A,MACpB,aAAS,CAAT,C,CAAY;A,YACO,4BAAT,kBAAS,EAAO,EAAP,oBAAuB,KAAvB,C;YDrJnC,G;QCqJkE,+B;gBAAA,I;;;gBE+BM,SAAP,KAAtB,eF/BjB,kBE+BiB,IF/BjB,kBE+BiB,cAAsB,CAAO,C;;YF/BxDuB,S;QACI,cAAO,GAAP,E;UAAY,a;MACpB,C;UDvJZ,QCwJ0B,SAAU,I;MAAU,SAAA,MAAF,IAAE,I;MAAlC,2BAAkC,MAAlC,EAA0C,WAA1C,EAAuD,gCAAvD,C;IACJ,C;IACA,0BAAoB,cAApB,C;EACJ,C;yCASUC,UACNF,c,EACAG,Y,EACAxB,W,EACAC,gCAJMsB,EAKR;A,QACEhB,YAAgB,cAAe,I;QAC/BkB,IAAQ,C;WACD,IAAI,Y,IAAgB,SAAU,I,EAAW;A,MAC5C,IAAA,CAAC,IAAD,I;MACA,oBAAc,SAAU,IAAxB,EAAgC,CAAhC,EAAmC,WAAnC,EAAgD,gCAAhD,C;IACJ,C;IACA,0BAAoB,cAApB,C;EACJ,C;EGpKAC,wCAAYC,O,EAAkBC,K,EJblC,KIaIF,E;IAAmD,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;G;EAEAA,0CAAYC,O,EJfhB,KIeID,E;IAAgC,+BAAK,OAAL,EAAc,IAAd,Q;;G;EAAhCA,0CAAYC,OAAZD,E;QJfJ,0F;;;G;EAAA,4BAAA,EAAA;AAAA;AAAA,EAAA,CAAA;A,EKyDId,mBAAAA,EAAA;A,IAEqC,iB;EAFrC,C;;ELzDJ,iCAAA,EAAA;AAAA;AAAA,GAAA;EAAA,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,sFAAA;AAAA,EAAA,CAAA;EAAA,6BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,0FAAA;AAAA,EAAA,CAAA;EAAA,0BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,kFAAA;AAAA,EAAA,CAAA;EK0FYiB,oBL1FZ,KK0FYA,EAAyB;A,QAC7BC,SAA4B,iD;QACf,oBAAK,mBAAL,KAAK,CAAL,I;WAAA,qB,EAAY;A,UL5FjC,OK4FqB,qB;MACL,mBAAe,IAAf,E,CAAsB;A,QACtB,IAAI;A,cACAC,IAAQ,mBAAmB,IAAnB,C;UACR,UAAM,wBAAN,GAA8B,CAAE,IAAhC,cAAqC,gBAArC,GAAoD,IAApD,C;UACA,2BAAU,CAAV,C;QACJ,C;4CAA4B;A,gBLlG5C,M;YKmGoB,UAOQ,WAND,gEAMC,GALiC,IAKjC,GALqC,4CAKrC,GAJc,CAId,CAJgB,OAIhB,GAJwB,4CAIxB,GAHc,CAGd,CAHgB,IAGhB,GAHqB,4CAGrB,GAFc,CAEd,CAFgB,MAEhB,GAFuB,4CAEvB,GADc,CACd,CADgB,WAChB,GAD4B,4BAC5B,CAPR,QAQU,IARV,C;UAUJ,C;;;;MACJ,C;IACJ,C;IACA,UAAK,EAAL,C;IACA,OAAO,M;EACX,C;EAEQC,2BLpHZ,K,EKoHkCC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACAvB,QAAqB,W;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACAyB,OAAkB,kDAAM,KAAN,EAAa,MAAO,MAApB,C;cAClB3B,YAAsD,MAAtC,MAAO,kBAAM,IAAN,EAAY,KAAK,MAAjB,CAA+B,C;UACtD,UACI,SADJ,EAEI,MAAO,MAFX,EAGI,OAAA,MAAO,MAAP,qGAAmF,KAAnF,CAHJ,C;QAKJ,C;4CAA4B;A,gBLhI5C,M;YKiIoB,UAAoB,CAApB,C;UACJ,C;;;;QACA,UAAK,EAAL,C;QACA,QAAQ,W;MACZ,C;IACJ,C;8CAAgC;A,YLtIxC,0B;QKuIY,UAAK,cAAL,C;QACA,MAAM,kBAAc,CAAd,C;MACV,C;;;;EACJ,C;EL1IJ,4CAAA,EAAA;AAAA,gDAAA,E;aKgEuC,sB;OLhEvC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,8CAAA,EAAA;AAAA,gDAAA,E;aKmE2B,uB;OLnE3B,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0CAAA,EAAA;AAAA,gDAAA,E;aKyEuB,oB;OLzEvB,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,6CAAA,UAAA,EAAA;AAAA,WKsKqE4B,UAAA,EAAAA,EAAA;A,MAAsB,OAAjB,OAAH,EAAG,EAAO,UAAP,C;IAAkB,C;ALtK5F,GAAA;EAAA,sCAAA,MAAA,EAAA;AAAA,WKkKsCC,ULlKtC,CKkKsCA,EAAA;A,MACtB,WAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAC,MAAU,W;UACVC,YAAwC,sDAAkB,CAAE,KAAQ,MAA5B,C;ULrKxD,MKsKiC,CAAE,M;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,WAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,oB;IAAA,C;ALxKZ,GAAA;A,EKiDiB3B,qBACb4B,mBADa5B,EAAA;A,IAAjB,mCAMe,qCANf,QAKe,uBALf,EAGkC,IAHlC,oBAImC,IAJnC,C;IAa0D,gC;QL9D1D,MKgEuC,I;QLhEvC,QKiES,SAD8B,aAAO,OAAM,UAAN,CAAP,EAAgC,kCAAhC,CAC9B,C;QLjET,kB;IKgEuC,kH;QLhEvC,QKmE2B,I;QLnE3B,QKuEY,UAAN,IAJqB,aACnB,OACA,WADA,CADmB,EAGZ,oEAHY,CAIrB,CAAM,EAAQ,IAAR,C;QLvEZ,kB;IKmE2B,wH;QLnE3B,QKyEuB,I;QLzEvB,QK4EM,KAHiB,aACf,SADe,EAER,uBAFQ,CAGjB,MAAe,KAAf,C;QL5EN,kB;IKyEuB,gH;EAxBN,C;6BAmCJ6B,UAAAA,EAAU;A,IACX,IAAA,UAAe,MAAf,IAAoC,IAApC,C,CAA0C;A,MAC1C,wBAAkB,UAAlB,C;IACJ,C;EACJ,C;6BAyDAC,UAAAA,EAA6B;A;;QLjJjC,SKiJyC,QAAR,yBAAQ,C;IAAqB,OCEA,mBAAwB,uCAAxB,C;EDFD,C;6BAazDC,UAAAA,EAAwB;A,IACpB,SAAK,uBAAL,C;QACAb,SAA0B,WAAL,IAAK,C;QLhKlC,0B;QKiKQc,gBACkB,OAAY,kCAAZ,C;QLlK1B,K;IK0KgB,2B;cACQ,wBAAG,0DAAgB,IAAhB,CAAgB,KAAhB,EAAH,C;;cAEA,wBAAG,oCAAQ,IAAR,CAAQ,KAAR,EAAH,C;;QAJhBC,iB;;QLzKR,SK+KsB,+BACT,aACA,YAAQ,SAAR,CACA,aAAS,MAAT,CACA,aAAS,aAAT,CACA,Q;;QAEwB,oBGhF3B,MHgF8B,MEwWgD,KAAQ,I;WFxW3D,qB,EAAc;A;UAA1B,UAAY,qBE8I+B,K;MF7IhD,SAAM,iCAAN,GAAuC,OAAQ,MAA/C,GAAqD,GAArD,C;IACJ,C;IACA,SAAK,EAAL,C;IAVR,OGxEG,M;EHoFP,C;EL3LJ,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,6FAAA;AAAA,EAAA,CAAA;EAAA,mCAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,2GAAA;AAAA,EAAA,CAAA;ESsCQC,oCTtCR,KSsCQA,EAAQ;A,QAAe,qBAAf,WAAe,M;QTtC/B,MSsCuC,oCAAvB,kBAAuB,M;IAAsB,OAA7C,8C;EAA4C,C;EAWhDC,sBTjDZ,K,ESiD6Bd,MAAjBc,EAAiC;A,IACrC,IAAI;A,MACA,UAAW,yBAAX,C;UACAC,WAAyB,iCAAc,M;UACvCzC,YAA4D,MAA5C,MAAO,kBAAa,qCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,C;UAC5DN,mCACI,OAAA,MAAO,MAAP,qGAAmF,KAAnF,C;MACA,yCAAgB,CAAhB,C,CAAmB;A,QACnB,UAAe,SAAf,EAA0B,MAAO,MAAjC,EAA4C,gCAA5C,C;MACJ,C,MAAO;A,QACH,UAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,MAAlD,EAA6D,gCAA7D,C;MACJ,C;IACJ,C;wCAA4B;A,YT7DpC,M;QS8DY,UAAoB,CAApB,C;MACJ,C;;;;EACJ,C;EThEJ,kDAAA,QAAA,EAAA;AAAA,WSkEk7kBgD,UAAA,c,EAAA,EAAAA,EAAA;A;;MC4Bt6kB,KP+N2C,CAAC,QM3P84kB,EN2P94kB,CO/N5C,C,CAAQ;A,YAqgB0C,YAtB3C,Q;QD3gBi6kB,cC4Bh6kB,KAAK,SAAL,C;MAAkB,C;MD5By7kB,oB;IAAA,C;ATlE/9kB,GAAA;EAAA,mDAAA,EAAA;AAAA,gDAAA,E;aSgCiC,sB;OThCjC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0DAAA,EAAA;AAAA,gDAAA,E;aSiCqC,6B;OTjCrC,CAAA,EAAA,CAAA;AAAA,GAAA;A,ES2BArC,4BAAAA,EAAA;A,IAAA,mCAEe,+CAFf,QAGe,OAHf,C;QT3BA,MSgCiC,I;QThCjC,OSgCiC,c;;QThCjC,USgCkD,yB;;QThClD,QUmmBW,eAAS,iDAAT,C;QVnmBX,kB;ISgCiC,yH;QThCjC,QSiCqC,I;QTjCrC,QSmCS,UADA,IAD4B,aAAO,OAAM,qBAAN,CAAP,EAA2C,iCAA3C,CAC5B,CACA,EAAQ,CAAR,C;QTnCT,kB;ISiCqC,yI;EANrC,C;oCAiBa6B,UAAAA,EAAU;A,QACfR,SAAa,gCAAc,M;IAC3B,mBAAa,MAAb,C;EACJ,C;EEtCGiB,wBAAmBC,IAAnBD,EAA0C;A;QXTjD,SWUS,qB;IHmByC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EGlBxD,C;EAOOE,4BAAuBD,IAAvBC,EAA6C;A;QXlBpD,SWmBS,qB;IHUyC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EGTxD,C;ECPAC,gBAASC,IAATD,EAA8B;A,IACsB,KAAlC,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,EAAK,IAAL,C;EACpD,C;;;;;;;;;;"}
package/2p-solve-plp.js CHANGED
@@ -15,8 +15,8 @@
15
15
  }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_utils) {
16
16
  'use strict';
17
17
  //region block: imports
18
- var THROW_CCE = kotlin_kotlin.$_$.he;
19
- var setTag = kotlin_it_unibo_tuprolog_utils.$_$.l1;
18
+ var THROW_CCE = kotlin_kotlin.$_$.sf;
19
+ var setTag = kotlin_it_unibo_tuprolog_utils.$_$.v;
20
20
  //endregion
21
21
  //region block: pre-declaration
22
22
  //endregion
@@ -24,7 +24,7 @@
24
24
  return _this__u8e3s4.setOption('it.unibo.tuprolog.solve.options.probabilistic', value);
25
25
  }
26
26
  function get_isProbabilistic(_this__u8e3s4) {
27
- var tmp = _this__u8e3s4.u20().j2('it.unibo.tuprolog.solve.options.probabilistic');
27
+ var tmp = _this__u8e3s4.a27().j2('it.unibo.tuprolog.solve.options.probabilistic');
28
28
  var tmp0_elvis_lhs = (tmp == null ? true : typeof tmp === 'boolean') ? tmp : THROW_CCE();
29
29
  return tmp0_elvis_lhs == null ? false : tmp0_elvis_lhs;
30
30
  }