@tuprolog/arg2p-causality-solver 0.9.0 → 0.10.1

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-utils.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"sources":["../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cache.kt","src/kotlin/util/Standard.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cached.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Castable.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cursor.kt","src/kotlin/collections/Iterables.kt","src/kotlin/collections/Sequences.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Indexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/IntIndexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/LongIndexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Taggable.kt","src/kotlin/collections/Maps.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/CursorExtensions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/IterUtils.kt","common/src/generated/_Collections.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/NumberTypeTester.kt","src/kotlin/text/regex/RegexExtensions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Optional.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Taggables.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/ThreadSafety.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/AbstractCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/CachedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/ConjunctionCursor.kt","src/kotlin/util/Lazy.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/EmptyCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/IntIndexedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/LazyCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/LongIndexedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/MapperCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/NonLastCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/SimpleLRUCache.kt","common/src/generated/_Maps.kt","src/kotlin/util/Preconditions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/ValueCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/Deque.kt","src/kotlin/collections/Collections.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/ThreadSafetyJs.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/TypeUtilsJs.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"names":["getOrSet","key","valueGenerator","got","ifValid","consumer","castTo","asIterable","asSequence","component1","component2","compareTo","other","getTag","name","containsTag","<init>","simpleLru","capacity","of","generator","iterator","sequence","empty","cursor","<this>","plus","toCursor","index","value","dropLast","itemWiseHashCode","iterable","hash","i","insertAt","item","items","itemWiseEquals","sequence1","sequence2","comparator","cached","buffered","iterable1","iterable2","j","a","b","mergeSequences","iterables","assertItemsAreNotNull","merge","indexed","compare","invoke","$this$sequence","$completion","doResume","dropLast$slambda","dropLast$slambda$lambda","$index","$item","$items","insertAt$slambda","insertAt$slambda$lambda","itemWiseEquals$lambda","assertItemsAreNotNull$lambda","it","merge$slambda$lambda","$comparator","merge$slambda$lambda$lambda","$iterables","merge$slambda","indexed$lambda","<get-stringRepresentation>","NumberTypeTester$<get-stringRepresentation>$lambda","NumberTypeTester$<get-stringRepresentation>$lambda$lambda","<get-isInteger>","toInteger","toDecimal","numberIsInteger","number","numberToInteger","numberToDecimal","some","none","<get-value>","<get-isPresent>","toString","hashCode","equals","<get-isAbsent>","setTags","tags","synchronizedOnSelf","action","source","hasNext","next","result","<get-isLazy>","map","mapper","<get-isValid>","<get-isInvalid>","regenerate","invalidate","ConjunctionCursor$next$delegate$lambda","ConjunctionCursor$next$delegate$lambda$lambda","first","second","<get-isOver>","<get-next>","<get-current>","<get-hasNext>","next$factory","get","receiver","<get-index>","<get-wrapped>","LazyCursor$wrapped$delegate$lambda","LazyCursor$wrapped$delegate$lambda$lambda","delegate","wrapped$factory","MapperCursor$current$delegate$lambda","MapperCursor$current$delegate$lambda$lambda","wrapped","current$factory","NonLastCursor$next$delegate$lambda","$source","NonLastCursor$next$delegate$lambda$lambda","removeLeastRecent","removeLeastRecentIfNecessary","SimpleLRUCache$set$lambda","$key","$value","SimpleLRUCache$set$lambda$lambda","evicted","SimpleLRUCache$get$lambda","SimpleLRUCache$get$lambda$lambda","SimpleLRUCache$toSequence$lambda$lambda","SimpleLRUCache$toSequence$lambda","SimpleLRUCache$toString$lambda","message","set","toSequence","current","dequeOf","takeFirst","addFirst","synchronizedOn","obj","forceCast"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBA6CIA,CACIC,G,EACAC,cAFJF,EAII;A,QAAMG,MAAU,QAAI,GAAJ,C;;IACZ,wB;YAAoB,G,CAAI,I;;;mBCIM,gB;;;MDFF,QAAI,GAAJ,EA0BgqB,MA1BhqB,C;YC8C7B,M;;ID5CF,U;EAAD,C;;;kBE5BJC,CAAgBC,QAAhBD,EAAqD;A;IAC1C,IAAI,SAAJ,C;;;;sBDoFJ,SA9FuC,SA8FvC,C;YCnFU,SAAS,SAAT,C;;YAEA,yB;;IAHb,U;EAKJ,C;;iBCpBAE,CAAAA,EAA0B;A,IAAS,mBAAT,IAAS,cAAT,IAAS,c;EAAD,C;;;;;uBCiBlCC,CAAAA,EAAgC;A;IAAuB,OCd4B,mC;EDc7B,C;uBAGtDC,CAAAA,EAAgC;A;IAAuB,OEZ4B,qC;EFY7B,C;;qBGzB7CC,CAAAA,EAAsB;A,IAAK,OAAL,S;EAAI,C;qBAE1BC,CAAAA,EAAsB;A,IAAK,OAAL,S;EAAI,C;;;oBCJ1BC,CAAcC,KAAdD,EAAyC;A,IAC9C,OAAO,YAAQ,KAAM,KAArB,I;EACJ,C;;;;;;;;sBCFSA,CAAcC,KAAdD,EAA0C;A,IAC/C,OAAQ,aAAQ,KAAM,KAAd,CAAqB,K;EACjC,C;;;;;;;;iBCGAE,CAAqBC,IAArBD,EAAyC;A,cAAA,aAAK,IAAL,C;IAAgB,+CAAhB,GAAgB,c;EAAD,C;sBAMxDE,CAAgBD,IAAhBC,EAAyC;A;;iBCHpB,S;IDGgC,OCgQL,aAAnB,MAAmB,SAAnB,MAAmB,mBAnQnC,IAmQmC,C;EDhQI,C;;;;;;;;;;;;;;;;oBVkDpDC,CAAAA,EAAA;A,EAAA,C;mCASIC,CAAqBC,QAArBD,EAAuD;A,IAAwB,OAAxB,mBAAe,QAAf,C;EAAuB,C;;;;;;;sBEtElFD,CAAAA,EAAA;A,EAAA,C;qCACIG,CAAWC,SAAXD,EAA0C;A,IACtC,OAAO,eAAW,SAAX,C;EACX,C;;;;;;;;;sBE0BJH,CAAAA,EAAA;A,EAAA,C;qCAGIG,CAAWE,QAAXF,EAAiD;A,IAC7C,OAAgB,SAAT,QAAS,C;EACpB,C;6CAIAA,CAAWG,QAAXH,EAAiD;A,IAC7C,OAAgB,SAAT,QAAS,C;EACpB,C;wCAIAI,CAAAA,EAA+B;A,IAC3B,gC;EACJ,C;;;;;oCAnBHP,CAJD,MAICA,EAAA;A;EAAA,C;kDAAoCK,CAAAA,EAE/B;A;IAAU,OAL2B,oB;EAK5B,C;sCAERL,CALP,MAKOA,EAAA;A;EAAA,C;oDACcK,CAAAA,EAA8B;A;IACjD,OANyC,oB;EAM1C,C;;;iBQpBLG,CAAQC,aAARD,EAA8C;A,IAA0B,OAAV,SAAhB,aAAK,IAAW,C;EAAS,C;mBAEvEA,CAAQC,aAARD,EAA8C;A,IAA0B,OAAV,SAAhB,aAAK,IAAW,C;EAAS,C;mBAEvEA,CAAQC,aAARD,EAA2C;A,IAA0B,OAAV,SAAX,cAAL,aAAK,CAAW,C;EAAS,C;eAb3DE,CAAQD,a,EAAmBb,KAA3Bc,EACL;A,IAIC,OAHG,KAAM,QAAW,sBAAkB,aAAlB,EAA8B,UAAN,KAAM,CAA9B,CAAX,GACN,qBAAW,aAAX,4B;EAEJ,C;mBAEJC,CAAQF,aAARE,EAAgD;A,IAAuB,OAAR,wBAAG,aAAH,C;EAAO,C;;;sBJLlEX,CAAAA,EAAA;A,EAAA,C;qCACIG,CACIS,K,EACAC,KAFJV,EAGiB;A,IACb,OAAO,mBAAe,KAAf,EAAsB,KAAtB,C;EACX,C;;;;;;;mBKsSRW,CAAQL,aAARK,EACI;A,IAQC,OARD,SAAS,uCAAT,C;EAQA,C;2BA1FJC,CAAyBC,QAAzBD,EAAqD;A,QACjDE,OAAW,E;QACXC,IAAQ,QAAS,I;WACV,CAAE,I,EAAW;A,gBACT,SAAK,IAAL,C;UAAe,qBAAF,CAAE,I;UAAF,iBAAE,kBAAQ,2BAAR,kBAAQ,C;MAA9B,OAAO,OAAa,yBAAwB,CAAxB,iBAAb,CAAP,I;IACJ,C;IACA,OAAO,I;EACX,C;mBA2DAC,CAAQV,a,EACJG,K,EACAQ,I,EACAC,KAHJF,EAKI;A,IAQC,OARD,SAAS,2DAAT,C;EAQA,C;6BAtEJJ,CAAyBT,QAAzBS,EAAqD;A,IACjD,OAAO,iBAA0B,WAAT,QAAS,CAA1B,C;EACX,C;yBA9BAO,CACIC,S,EACAC,S,EACAC,UAHJH,EAIW;A,IACP,OAAO,iBAAyB,WAAV,SAAU,CAAzB,EAAiD,WAAV,SAAU,CAAjD,EAA+D,UAA/D,C;EACX,C;iBAsCAI,CAAQjB,aAARiB,EAA0C;A,IACtC,OAAY,SAAL,aAAK,CAAS,a;EACzB,C;mBANAC,CAAQlB,aAARkB,EAA4C;A,IACxC,OAAqB,WAAT,OAAL,aAAK,CAAS,C;EACzB,C;2BAnEAL,CACIM,S,EACAC,S,EACAJ,UAHJH,EAIW;A,QACPJ,IAAQ,SAAU,I;QAClBY,IAAQ,SAAU,I;WACX,CAAE,OAAa,CAAE,IAAf,GAAe,K,EAAW;A,UAC/BC,IAAQ,CAAE,I;UACVC,IAAQ,CAAE,I;MACV,IAAI,CAAC,WAAW,CAAX,EAAc,CAAd,CAAL,C,CAAuB;A,QACnB,OAAO,K;MACX,C;IACJ,C;IACA,OAAO,CAAE,IAAF,KAAe,CAAE,I;EAC5B,C;6BAyBAjB,CAAyBM,KAAzBN,EAA+C;A,IAC3C,OAAO,iBAAuB,aAAN,KAAM,CAAvB,C;EACX,C;2BAzBAO,CACIM,S,EACAC,SAFJP,EAII;A,IAEC,OAFD,iBAAe,SAAf,EAA0B,SAA1B,EAAqC,qBAArC,C;EAEA,C;yBAjJJW,CACIC,S,EACAT,UAFJQ,EAGe;A,0CACa,U;;;sBCw8CX,wBAAa,wBAt8CL,SAs8CK,EAAwB,EAAxB,CAAb,C;QAuEA,gBA7gDQ,SA6gDR,I;WAAA,iB,EAAb;A,UAAKb,OAAQ,iB;;sBD/gD2C,WA2Rw/2C,IA3Rx/2C,C;MCghDpD,WAAY,GAAI,SAAJ,C;IAAmB,C;IDhhDnC,OAAO,WCihDA,WDjhDA,C;EACX,C;gCAyRAe,CAAQ1B,aAAR0B,EAA4D;A,IAAiD,OAAZ,WAAxB,wBAAb,yBAAa,CAAwB,C;EAAW,C;kCAR5GA,CAAQ1B,aAAR0B,EACI;A,cAAA,sB;IAKC,OALS,SAAI,4BAAJ,C;EAKV,C;kCAhBJA,CAAQ1B,aAAR0B,EAAkD;A,QACvB,4B;QAAA,S;WAAvB,Y,EAAA;A,UAAMvB,UAAiB,K;MAAA,qB;UAAVC,QAAU,Y;MACnB,IAAI,SAAS,IAAb,C,CAAmB;A,QACf,MAAM,uCAA0B,gBAA1B,GAAyC,OAAzC,GAA8C,UAA9C,C;MACV,C;;IAGJ,mBAAO,aAAP,UAAO,aAAP,c;EACJ,C;gBA9UAuB,CACIX,U,EACAS,SAFJE,EAGe;A,IACX,OAAO,SAAS,4CAAT,C;EAiBX,C;kBAkGAC,CAAQ5B,aAAR4B,EACI;A,cAA+B,WAA3B,aAAS,CAAT,8BAAgB,SAAhB,CAA2B,C;IAE9B,OAFD,wBAA6C,cAA7C,C;EAEA,C;kCA5DarC,C,UAAAA,EAAA;A,IAAA,sB;EAAA,C;iDAAAsC,CAxDsBP,C,EAClCC,CAuDYM,E;;G;uDAxDsBP,C,EAClCC,C;;;4BA0SG,c;;;;0CACKO,CAAAC,c,EAAAC,WAAAF,EACL;A;;;;EAMA,C;2CA/TR,E,EAAAE,W;;;0CAwTaC,CAAAA,EAAA;A;;MAAA,I;;;;;YACL,YAAQ,a;;;;iBACC,KAAF,IAAE,I;;;;;YACL,YAAgB,KAAF,IAAE,I;YACV,SAAF,IAAE,K;;8BACF,kBAAM,IAAN,O;;;;;;;;;;;;;;;;;YAGZ,oB;;;;;;;;;;;;;;EAAA,C;2CARS,c,EA/LZ,U;;;;;6BA+LYC,CADL,c,oBACKA,E;;qBAAAC,CAAAJ,c,EAAAC,WAAAG,E;;K;;;G;4BAhBL,c,EACJC,M,EACAC,K,EACAC,M;;;;;;;0CAESR,CAAAC,c,EAAAC,WAAAF,EACL;A;;;;EAMA,C;2CApTR,E,EAAAE,W;;;0CA6SaC,CAAAA,EAAA;A;;MAAA,I;;;;;YACU,YAAY,WAAZ,oBAAY,CAAZ,I;;;;iBAAA,a;;;;;YAAA,yB;YAAT,iBAAS,IAAT,K;YAAG,iBAAM,IAAN,K;YACD,uBAAK,IAAL,C;;8BACA,kBAAM,IAAN,O;;;;;;;;;;;;4BACA,aAAe,kBAAN,IAAM,CAAf,O;;;;;;;;;;;4BAEJ,kBAAM,IAAN,O;;;;;;;;;;YAER,oB;;;;;;;;;;;;;;EAAA,C;2CARS,c,EApLZ,U;;;;;6BAoLYM,CALL,c,EACJH,M,EACAC,K,EACAC,M,oBAESC,E;;qBAAAC,CAAAT,c,EAAAC,WAAAQ,E;;K;;;G;gCA9F4BC,CAAEnB,C,EAAGC,CAALkB,EAAA;A,IACjC,iBAAK,CAAL,C;EACJ,C;uCAsIcC,CAAAC,EAAAD,EAAA;A,QACJtC,QAAY,EAAG,K;;IACjB,kB;MAAQ,MAAM,uCAA0B,gBAA1B,GAA0C,EAAG,KAA7C,GAAmD,UAAnD,C;;YACN,K;;IAFZ,U;EAIJ,C;oCA7UgBb,C,UAAAA,EAAA;A,IAAA,sB;EAAA,C;mDAAAsC,CAHmBP,C,EAClCC,CAEeM,E;;G;yDAHmBP,C,EAClCC,C;;;+BAF6CqB,CAAAD,EAAAC,EAAA;A,IAAK,cAAH,EAAG,C;EAAS,C;iCAAYA,CAAAD,EAAAC,EAAA;A,IAAK,OAAH,EAAG,K;EAAO,C;iCAG9CA,CAAAD,EAAAC,EAAA;A,IAAY,qBAAV,EAAG,KAAO,C;EAAG,C;iCAC1BA,CAR3BC,WAQ2BD,E;oBAAAE,CAAExB,C,EAAGC,CAALuB,EAAA;A,MAAqB,OAAX,WAAW,SAAQ,CAAE,KAAV,EAAiB,CAAE,KAAnB,C;IAA0B,C;G;yBAP1EC,U,EADAF,W;;;;;uCAGgBf,CAAAC,c,EAAAC,WAAAF,EACZ;A;;;;EAcA,C;wCAzBR,E,EAAAE,W;;;uCAUoBC,CAAAA,EAAA;A;;MAAA,I;;;;;;wBACa,gBAAV,IAAU,C;wBAAa,WAAI,oBAAJ,C;YAAtC,aAAkF,cAAxB,iBAAU,sBAAV,CAAwB,C;;;;iBAoVd,CAAC,KAnV9D,IAmV8D,I;;;;;;wBAjVpD,gBAAT,IAAS,C;wBAAkC,QAArB,WAAI,sBAAJ,CAAqB,C;gBAC5B,yC;YACd,2BAFoD,qBACtC,oCADsC,CAEpD,C;YAHA,iBAGA,IAHA,K;YAAU,iBAGV,IAHU,K;;4BAIf,kBAAM,IAAN,O;;;;;;;qBACA,kBAAS,IAAT,CAAmB,K;YACf,IAAI,EAAG,KAAP,C,CAAe;A,cACF,KAAT,IAAS,SAAS,IAAT,C;YACb,C,MAAO;A,cACH,iBAAS,IAAT,EAAqB,EAArB,C;YACJ,C;;;;;;;YAGZ,oB;;;;;;;;;;;;EAAA,C;wCAhBgB,c,EA+GnB,U;;;;;0BA/GmBe,CAFhBD,U,EADAF,W,oBAGgBG,E;;qBAAAJ,CAAAb,c,EAAAC,WAAAY,E;;K;;;G;yBAoH6BK,CAAEN,E,EAAIlC,CAANwC,EAAA;A,IAC9B,+BAAG,CAAH,EAAM,EAAN,C;EACf,C;sBJrHA1D,CAAAA,EAAA;A,EAAA,C;qCACIG,CACIS,K,EACAC,KAFJV,EAGkB;A,IACd,OAAO,oBAAgB,KAAhB,EAAuB,KAAvB,C;EACX,C;;;;;;;sBMXJH,CAAAA,EAAA;A;cACqC,I;;IAAA,WCOG,oBAZ0D,QAY1D,C;EDRxC,C;;;;;;;4CAYI2D,CADQlD,a,OACRkD,EAAQ;A,IAAyC,OAAzC,KAAY,CAAZ,IAAY,IAAS,aAAT,EAAe,wEAAf,C;EAA4B,C;oEAAbC,CAD3B,0BAC2BA,E;oBAAAC,CAAAA,EAAA;A,MAAE,2C;IAAW,C;G;2BAbxD7D,CAAAA,EAAA;A,IAAA,yB;IAKwD,kCAAU,CAAV,C;EALxD,C;0CAQQ8D,CADArD,aACAqD,EAAM;A,IACF,OAAiB,0BAAV,IAAU,IAAQ,sDAAR,C;EACrB,C;0CAKJC,CAAItD,aAAJsD,EAAmC;A,IAC/B,OAAkB,8BAAG,sDAAH,C;EACtB,C;0CAEAC,CAAIvD,aAAJuD,EAAmC;A,IAC/B,OAAkB,gCAAG,sDAAH,C;EACtB,C;0CAEAC,CAAoBC,MAApBD,EAA+C;A,IAAgB,OAAT,QAAP,MAAO,C;EAAQ,C;0CAE9DE,CAAoBD,MAApBC,EAAkD;A,IAAkB,OAAX,QAAP,MAAO,C;EAAU,C;0CAEnEC,CAAoBF,MAApBE,EAAkD;A,IAAkB,OAAX,QAAP,MAAO,C;EAAU,C;sBE7BnEpE,CAAAA,EAAA;A,EAAA,C;qCACIqE,CAAaxD,KAAbwD,EAAsC;A,IAAW,OAAX,SAAK,KAAL,C;EAAU,C;qCAEhDlE,CAAWU,KAAXV,EACI;A;IAAA,IAAI,SAAS,IAAb,C;YACI,S;;YAEA,QAAK,KAAL,C;;IACH,U;EAAD,C;qCAEJmE,CAAAA,EAAkC;A,IAAI,yB;EAAD,C;;;;;eAGpCtE,CAAca,KAAdb,EAAL;A,IAA4C,mB;IAAzB,iB;EAAnB,C;8BAA4BuE,CAAAA,EAAA;A,IAAA,gB;EAAW,C;8BAE/BC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAYNC,CAAAA,EAAyB;A,IAAc,OAAb,OAAa,GAAP,IAAO,CAAP,IAAO,GAAF,G;EAAC,C;oCA9BvDC,CAAAA,EAAA;A,IAAA,kD;EAAA,C;kCAAAC,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,6B;MAAA,Y;QAAA,kE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;eAiCI3E,CAAAA,EAAA;A;IAAc,mB;EAAd,C;8BAEQuE,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;8BAGXC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;oCAQPC,CAAAA,EAAyB;A,IAAK,OAAJ,M;EAAI,C;;;;;;;mBA5CxCzE,CAAAA,EAAP;A,EAAA,C;kCAoDQ4E,CAAAA,EAAQ;A,IAAU,OAAV,CAAC,S;EAAQ,C;;;kBCxBzBC,CAAsCpE,a,EAAUqE,IAAhDD,EAA2E;A,cAAA,wBAAY,IAAZ,C;IAAsB,oCAAtB,GAAsB,c;EAAD,C;6BCnBhGE,CAAiBtE,a,EAAqBuE,MAAtCD,EAA4D;A,IAA4B,OAA5B,eAAe,aAAf,EAAqB,MAArB,C;EAA2B,C;sBCqBnF/E,CAAAA,EAAA;A,EAAA,C;qCACIG,CAAW8E,MAAX9E,EACI;A;IAAA,IAAI,MAAO,IAAX,C;YACI,eAAW,MAAX,C;;;;IAGH,U;EAAD,C;;;;;oCAzBJH,CADJ,MACIA,EAAA;A,IACyC,kB;EADzC,C;kDAGakF,CAAAA,EAAyB;A,IAAe,OAAf,CAAC,IAAQ,CAAR,IAAQ,K;EAAK,C;kDAEvCC,CAAAA,EAAc;A,QACnBC,SAAa,IAAQ,CAAR,IAAQ,K;IACrB,YAAU,IAAQ,CAAR,IAAQ,K;IAClB,OAAa,cAAN,MAAM,C;EACjB,C;yBAlBMpF,CAAAA,EAAlB;A,EAAA,C;8CACayE,CAAAA,EACL;A,IAIC,OAHG,IAAK,QAAW,IAAX,GACL,CAAC,IAAK,KAAN,GAAkB,GAAlB,GAAoB,SAApB,GAA2B,GAA3B,GACS,GADT,GACW,SADX,GACkB,Q;EACtB,C;uCAEKpE,CAAAA,EACL;A,IAUC,OAVD,mC;EAUA,C;;;;wCAKAgF,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;wCAEPC,CAAYC,MAAZD,EAAuD;A,IAA0B,OAA1B,iBAAa,IAAb,EAAmB,MAAnB,C;EAAyB,C;0CAhBjDC,M;;;qBCTvCvF,CAAoBI,SAApBJ,EAAL;A,IAAyB,qB;IAC0B,qC;EADnD,C;oCAIQwF,CAAAA,EAAQ;A,IAAgB,OAAhB,IAAO,CAAP,IAAO,K;EAAQ,C;oCAGvBC,CAAAA,EAAQ;A,IAAe,OAAf,IAAO,CAAP,IAAO,K;EAAO,C;oCAGtBlB,CAAAA,EAAM;A,IACF,S;IACA,OAAmB,cAAZ,IAAO,CAAP,IAAO,KAAK,C;EACvB,C;oCAEKmB,CAAAA,EAAiB;A,IACtB,IAAI,SAAJ,C,CAAe;A,MACX,YAAkB,wBAAK,WAAL,C;IACtB,C;EACJ,C;oCAESC,CAAAA,EAAiB;A,IACtB,YAAkB,yB;EACtB,C;0CA5BJlB,CAAAA,EAAA;A,IAAA,gD;EAAA,C;0CAAAC,CAAAA,EAAA;A,IAAA,0B;EAAA,C;wCAAAC,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;iDCWqDiB,CAPrD,MAOqDA,E;oBAAAC,CAAAA,EAAA;A,MAC7C,OACI,MAAM,CAAN,IAAM,QAAW,sBAAkB,MAAM,CAAN,IAAM,KAAxB,EAA8B,MAA9B,CAA8B,IAA9B,CAAX,GACN,MAAO,CAAP,IAAO,QAAU,MAAO,CAAP,IAAO,KAAjB,GACC,MADD,CACC,I;IAEhB,C;G;4BAbK7F,CACL8F,K,EACAC,MAFK/F,EAAT;A,IAGI,yB;IAFA,iB;IACA,kB;cAK4C,I;IAAA,gBAAK,4CAAL,C;EAPhD,C;2CAKQgG,CAAAA,EAAQ;A,IAA6B,OAA7B,IAAM,CAAN,IAAM,QAAU,IAAO,CAAP,IAAO,KAAjB,GAAiB,K;EAAK,C;2CAECC,CAAAA,EAAG;A;iBCEhD,I,CAAA,I;IAAA,c;IDFgD,OCgC4C,W;ED1BxF,C;2CAGIC,CAAAA,EAAQ;A,IAAoD,OAAhD,IAAM,CAAN,IAAM,KAAV,GAAmB,IAAM,CAAN,IAAM,KAAzB,GAAsC,IAAO,CAAP,IAAO,K;EAAM,C;2CAG3DC,CAAAA,EAAQ;A,IAA+B,OAA/B,IAAM,CAAN,IAAM,eAAW,IAAO,CAAP,IAAO,K;EAAM,C;+CAEjCxB,CAAW/E,KAAX+E,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,mBAAS,KAAT,CAAe,IAAf,CAAJ,C;MAA0B,OAAO,K;IACjC,IAAI,mBAAU,KAAV,CAAgB,IAAhB,CAAJ,C;MAA4B,OAAO,K;IAEnC,OAAO,I;EACX,C;iDAESD,CAAAA,EAAoB;A,QACzBU,SAAmB,SAAN,IAAM,CAAN,IAAM,C;IACnB,SAAS,SAAK,MAAL,IAAqB,SAAP,IAAO,CAAP,IAAO,CAA9B,I;IACA,OAAO,M;EACX,C;uBA9ByCgB,CAAAA,E;kCAAA,M,KAAA,U,WAAAC,CAgCs8BC,QAhCt8BD,E;;K,EAAA,I;G;sBET7CrG,CAAAA,EAAA;A;IAA8B,yB;EAA9B,C;qCAEQiG,CAAAA,EAAQ;A,IAAA,MAAM,sC;EAAuB,C;qCAGrCC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAGXC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;qCAGZH,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;2CAENvB,CAAAA,EAAyB;A,IAAgC,OAAV,sCAAtB,IAAsB,C;EAAS,C;qCAExDa,CAAYC,MAAZD,EAA6D;A,IAAI,OAAJ,I;EAAG,C;uCAFVC,M;;;sCAI0PA,M;;;;;;;;;yBCf/SvF,CACVY,K,EACAC,KAFUb,EAAd;A,IACI,iB;IACA,iB;EAFJ,C;wCACauG,CAAAA,EAAA;A,IAAA,gB;EAAa,C;wCACbhC,CAAAA,EAAA;A,IAAA,gB;EAAW,C;wCANxB9E,CAAAA,EAAA;A,IAAA,gB;EAAA,C;wCAAAC,CAAAA,EAAA;A,IAAA,gB;EAAA,C;8CAAA+E,CAAAA,EAAA;A,IAAA,yE;EAAA,C;8CAAAC,CAAAA,EAAA;A,QAAAU,kB;IAAA,6E;IAAA,a;EAAA,C;4CAAAT,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,uC;MAAA,Y;QAAA,4E;IAAA,+C;MAAA,Y;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;wCAYk+B/E,K;;;8BCTv7B4G,C,KAAAA,EAAG;A;iBHD+B,K,CAAA,I;IAAA,iB;IGC/B,OHwC8C,W;EGtCxF,C;6CAF+CC,CADnD,MACmDA,E;oBAAAC,CAAAA,EAAA;A,MAC3C,yBAAc,MAAd,CAAc,IAAd,C;IACJ,C;G;qBAHU1G,CAAoB2G,QAApB3G,EAAd;A,IAA+D,yB;IAA7B,oB;cACY,I;IAAA,gBAAK,wCAAL,C;EAD9C,C;oCAMQqF,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAGXY,CAAAA,EAAQ;A,IAAY,OAAZ,yBAAQ,K;EAAG,C;oCAGnBC,CAAAA,EAAQ;A,IAAe,OAAf,yBAAQ,K;EAAM,C;oCAGtBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAEPvB,CAAAA,EAAyB;A,IAAgC,OAAV,sCAAtB,IAAsB,C;EAAS,C;mCAExDpE,CAAAA,EAA8B;A,IAAkB,OAAlB,yBAAQ,I;EAAS,C;;;;0CAxB5DqE,CAAAA,EAAA;A,IAAA,0B;EAAA,C;wCAAAC,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;0BAG2CiC,CAAAA,E;kCAAA,S,KAAA,U,WAAAP,CAuBy8CC,QAvBz8CD,E;;K,EAAA,I;G;0BCC7BrG,CACVY,K,EACAC,KAFUb,EAAd;A,IACI,iB;IACA,iB;EAFJ,C;yCACauG,CAAAA,EAAA;A,IAAA,gB;EAAc,C;yCACdhC,CAAAA,EAAA;A,IAAA,gB;EAAW,C;yCAEX5E,CAAcC,KAAdD,EAA0C;A,IAC/C,OAAQ,aAAQ,KAAM,KAAd,CAAqB,K;EACjC,C;yCAM22BC,K;;;+CAhB/2B6E,CAAAA,EAAA;A,IAAA,qF;EAAA,C;+CAAAC,CAAAA,EAAA;A,QAAAU,6B;IAAA,6E;IAAA,a;EAAA,C;6CAAAT,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,wC;MAAA,Y;QAAA,6E;IAAA,iD;MAAA,Y;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;+CCSoCkC,CAPpC,MAOoCA,E;oBAAAC,CAAAA,EAAA;A,MAAE,mBAAsB,cAAf,MAAQ,CAAR,IAAQ,KAAO,CAAtB,C;IAA0B,C;G;uBAPvD9G,CACL+G,O,EACAxB,MAFKvF,EAAT;A,IAGI,yB;IAFA,mB;IACA,kB;cAK2B,I;IAAA,gBAAK,0CAAL,C;EAP/B,C;sCAKQiG,CAAAA,EAAQ;A,IAAwB,OAAxB,IAAQ,CAAR,IAAQ,KAAK,IAAI,IAAJ,CAAI,IAAJ,C;EAAU,C;sCAEXC,CAAAA,EAAG;A;iBLA/B,I,CAAA,I;IAAA,iB;IKA+B,OLkC6D,W;EKlC5B,C;sCAGxDC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;sCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAEPrB,CAAW/E,KAAX+E,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,mBAAW,KAAX,CAAiB,IAAjB,CAAJ,C;MAA8B,OAAO,K;IACrC,IAAI,mBAAU,KAAV,CAAgB,IAAhB,CAAJ,C;MAA4B,OAAO,K;IAEnC,OAAO,I;EACX,C;4CAESD,CAAAA,EAAoB;A,QACzBU,SAAqB,SAAR,IAAQ,CAAR,IAAQ,C;IACrB,SAAS,SAAK,MAAL,IAAqB,SAAP,IAAO,CAAP,IAAO,CAA9B,I;IACA,OAAO,M;EACX,C;sCAESE,CAAYC,MAAZD,EAAuD;A,IAA8C,OAA9C,gBAAY,OAAO,SAAP,CAAZ,EAA6B,SAAK,IAAI,MAAJ,CAAlC,C;EAA6C,C;wCApB9GC,M;;;uCAeoBA,M;;;0BArBKyB,CAAAA,E;kCAAA,S,KAAA,U,WAAAX,CA4BqlCC,QA5BrlCD,E;;K,EAAA,I;G;6CCJyBY,CAHrBC,O,EAAhC,MAGqDD,E;oBAAAE,CAAAA,EAAA;A;mB5BAvB,wBAAG,OAAH,C;;;M4BCW,cAAc,I;MAArB,O5B4FvB,M;I4B3FP,C;G;wBALKnH,CAAuBiF,MAAvBjF,EAAT;A,IAAuD,yB;IAChB,kB;cAES,I;IAAA,gBAAK,gDAAL,C;IAIX,YAAP,MAAO,I;EAPrC,C;uCAG6CiG,CAAAA,EAAG;A;iBNF9C,I,CAAA,I;IAAA,gB;IME8C,ONsC4C,W;EMpCxF,C;uCAESC,CAAAA,EAAA;A,IAAA,gB;EAA6B,C;uCAGlCC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;uCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;6CAEPvB,CAAAA,EAAuB;A,IAC5B,OAA6B,sCAAtB,IAAsB,C;EACjC,C;yBAdyC2B,CAAAA,E;kCAAA,M,KAAA,U,WAAAC,CAgB6jDC,QAhB7jDD,E;;K,EAAA,I;G;4BCmBjCe,C,KAAAA,EAAkD;A;oBCHtB,KAgjB7B,CAhjB6B,IAgjB7B,K;QD5iBmC,uBAAb,SAAa,C;;QAAjCnI,MnBLkB,cAgSqC,K;;QmB3RlD4B,QnBLa,cA6SqC,K;ImBvS5D,KAAM,CAAN,IAAM,IAAO,GAAP,C;IACN,OAAgB,wBAAK,QAAO,KAAP,CAAL,C;EACpB,C;uCAEQwG,C,KAAAA,EAA6D;A;IAC1D,IAAI,KAAM,CAAN,IAAM,IAAN,IAAc,KAAd,CAAc,IAAlB,C;YACH,wB;;YAES,yB;;IAHb,U;EAKJ,C;oCAlBuBC,CAJvB,M,EACIC,I,EACAC,MAEmBF,E;oBAAAG,CAAAA,EAAA;A,UACfC,UAAc,oC;mBACd,M,CAAA,I;gBAAM,I;kBAAO,M;MA8Ds6N,UAAI,GAAJ,EAAS,KAAT,C;MA7Dn7N,c;IACJ,C;G;oCAiBmBC,CADvB,M,EAAiBJ,IACMI,E;oBAAAC,CAAAA,EAAA;A;MACf,IAAI,MAAM,CAAN,IAAM,IAAY,IAAZ,CAAV,C;cACa,wBAAG,eAAM,IAAN,CAAH,C;;cAEA,yB;;MAHb,U;IAKJ,C;G;kDA2BmCC,CAAAzE,EAAAyE,EAAA;A;IAAK,OnB+PgB,SAlRT,EAkRc,KAAL,EAlRT,EAkRmB,KAAV,C;EmB/PP,C;2CAD9BC,CADvB,MACuBA,E;oBAAAD,CAAAA,EAAA;A,gBACD,WAAd,MAAM,CAAN,IAAM,KAAQ,C;MAAiC,gBAApB,SAAI,uCAAJ,CAAoB,C;IACnD,C;G;yCAG0CE,CAAA3E,EAAA2E,EAAA;A,IAAE,YAAG,EAAH,CAAM,IAAN,GAAY,KAAZ,GAAiB,EAAjB,CAAoB,I;EAAS,C;yBArExE/H,CAA2BE,QAA3BF,EAAT;A,IAAoC,oB;;;;;IE4BhC,IAAI,EAzBD,YAAW,CAyBV,CAAJ,C,CAAY;A;UACRgI,UAdc,qB;MAed,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;IF1BoB,yC;EALxB,C;wCAOaC,CACLhJ,G,EACA4B,KAFKoH,EAIL;A,IAIC,OAJD,yBAAmB,2CAAnB,C;EAIA,C;wCAgBK5B,CAAQpH,GAARoH,EACL;A,IAMC,OAND,yBAAmB,oCAAnB,C;EAMA,C;4CAOK1B,CAAW/E,KAAX+E,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,gBAAY,KAAZ,CAAkB,IAAlB,CAAJ,C;MAAgC,OAAO,K;IACvC,IAAI,kBAAS,KAAT,CAAe,IAAf,CAAJ,C;MAA0B,OAAO,K;IAEjC,OAAO,I;EACX,C;8CAESD,CAAAA,EAAoB;A,QACzBU,SAAa,IAAbA,CAAa,I;IACb,SAAS,SAAK,MAAL,IAAc,IAAM,CAAN,IAAM,WAA7B,I;IACA,OAAO,M;EACX,C;wCAES8C,CAAAA,EACL;A,IAEC,OAFD,yBAAmB,sCAAnB,C;EAEA,C;8CAEKzD,CAAAA,EAAuB;A,cACH,S;IAAzB,OAAQ,iBAAR,GAA2E,aAArC,SAAI,8BAAJ,CAAqC,EAAc,IAAd,CAA3E,GAA8F,G;EAClG,C;sBG3EKzE,CACLmI,O,EACAhD,IAFKnF,EAAT;A,IAGI,yB;IAFA,mB;IACA,gB;EAFJ,C;qCACakG,CAAAA,EAAA;A,IAAA,gB;EAAa,C;qCACbD,CAAAA,EAAA;A,IAAA,gB;EAA8B,C;qCAGnCE,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;kBCEboC,CAAgB/G,KAAhB+G,EAAoD;A,IACvD,OAAa,cAAN,KAAM,C;EACjB,C;oBAZOA,CAAgB/G,KAAhB+G,EAAiD;A,IACpD,OAAO,cAAe,KAAD,QAAd,C;EACX,C;oBAEOA,CAAgB/G,KAAhB+G,EAAoD;A;;iBCgGH,2B;;;ID9F7C,OA6Bi1E,MA7Bj1E,EAAO,KAAP,C;IADP,OjC2FO,M;EiCxFX,C;oBAqBOC,CAAQ5H,aAAR4H,EAAuC;A,IAC1C,IAAI,iBAAJ,C;MAAe,OAAO,I;QACtBvC,QAAY,iBAAI,CAAJ,C;IACZ,aAAK,IAAS,CAAT,C;IACL,OAAO,K;EACX,C;mBApBOwC,CAAQ7H,a,EAAwBW,IAAhCkH,EAAyC;A,IAC5C,aAAK,IAAI,CAAJ,EAAO,IAAP,C;EACT,C;qBAEOA,CAAQ7H,a,EAAwBY,KAAhCiH,EAAoD;A,QACvDpH,IAAQ,kB;QACK,yB;WAAA,iB,EAAb;A,UAAKE,OAAQ,iB;MACT,CAAE,IAAI,IAAJ,C;IACN,C;EACJ,C;yBEvBOmH,CACHC,G,EACAxD,MAFGuD,EAGA;A,IAAQ,OAAR,Q;EAAO,C;oBCFPE,CAAQhI,aAARgI,EAA4B;A,QAC/BrF,KACkB,a;IAClB,OAAO,E;EACX,C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
1
+ {"version":3,"sources":["../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cache.kt","src/kotlin/util/Standard.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cached.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Castable.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cursor.kt","src/kotlin/collections/Iterables.kt","src/kotlin/collections/Sequences.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Indexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/IntIndexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/LongIndexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Taggable.kt","src/kotlin/collections/Maps.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/CursorExtensions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/IterUtils.kt","common/src/generated/_Collections.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Optional.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Taggables.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/ThreadSafety.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/AbstractCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/CachedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/ConjunctionCursor.kt","src/kotlin/util/Lazy.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/EmptyCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/IntIndexedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/LazyCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/LongIndexedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/MapperCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/NonLastCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/SimpleLRUCache.kt","common/src/generated/_Maps.kt","src/kotlin/util/Preconditions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/ValueCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/Deque.kt","src/kotlin/collections/Collections.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/ThreadSafetyJs.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/TypeUtilsJs.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"names":["getOrSet","key","valueGenerator","got","ifValid","consumer","castTo","asIterable","asSequence","component1","component2","compareTo","other","getTag","name","containsTag","<init>","simpleLru","capacity","of","generator","iterator","sequence","empty","cursor","<this>","plus","toCursor","index","value","dropLast","itemWiseHashCode","iterable","hash","i","insertAt","item","items","itemWiseEquals","sequence1","sequence2","comparator","cached","buffered","iterable1","iterable2","j","a","b","mergeSequences","iterables","merge","indexed","compare","invoke","$this$sequence","$completion","doResume","dropLast$slambda","dropLast$slambda$lambda","$index","$item","$items","insertAt$slambda","insertAt$slambda$lambda","itemWiseEquals$lambda","merge$slambda$lambda","it","$comparator","merge$slambda$lambda$lambda","$iterables","merge$slambda","indexed$lambda","some","none","<get-value>","<get-isPresent>","toString","hashCode","equals","<get-isAbsent>","setTags","tags","synchronizedOnSelf","action","source","hasNext","next","result","<get-isLazy>","map","mapper","<get-isValid>","<get-isInvalid>","regenerate","invalidate","ConjunctionCursor$next$delegate$lambda","ConjunctionCursor$next$delegate$lambda$lambda","first","second","<get-isOver>","<get-next>","<get-current>","<get-hasNext>","next$factory","get","receiver","<get-index>","<get-wrapped>","LazyCursor$wrapped$delegate$lambda","LazyCursor$wrapped$delegate$lambda$lambda","delegate","wrapped$factory","MapperCursor$current$delegate$lambda","MapperCursor$current$delegate$lambda$lambda","wrapped","current$factory","NonLastCursor$next$delegate$lambda","$source","NonLastCursor$next$delegate$lambda$lambda","removeLeastRecent","removeLeastRecentIfNecessary","SimpleLRUCache$set$lambda","$key","$value","SimpleLRUCache$set$lambda$lambda","evicted","SimpleLRUCache$get$lambda","SimpleLRUCache$get$lambda$lambda","SimpleLRUCache$toSequence$lambda$lambda","SimpleLRUCache$toSequence$lambda","SimpleLRUCache$toString$lambda","message","set","toSequence","current","dequeOf","takeFirst","addFirst","synchronizedOn","obj","forceCast"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBA6CIA,CACIC,G,EACAC,cAFJF,EAII;A,QAAMG,MAAU,QAAI,GAAJ,C;;IACZ,wB;YAAoB,G,CAAI,I;;;mBCIM,gB;;;MDFF,QAAI,GAAJ,EA0BgqB,MA1BhqB,C;YC8C7B,M;;ID5CF,U;EAAD,C;;;kBE5BJC,CAAgBC,QAAhBD,EAAqD;A;IAC1C,IAAI,SAAJ,C;;;;sBDoFJ,SA9FuC,SA8FvC,C;YCnFU,SAAS,SAAT,C;;YAEA,yB;;IAHb,U;EAKJ,C;;iBCpBAE,CAAAA,EAA0B;A,IAAS,mBAAT,IAAS,cAAT,IAAS,c;EAAD,C;;;;;uBCiBlCC,CAAAA,EAAgC;A;IAAuB,OCd4B,mC;EDc7B,C;uBAGtDC,CAAAA,EAAgC;A;IAAuB,OEZ4B,qC;EFY7B,C;;qBGzB7CC,CAAAA,EAAsB;A,IAAK,OAAL,S;EAAI,C;qBAE1BC,CAAAA,EAAsB;A,IAAK,OAAL,S;EAAI,C;;;oBCJ1BC,CAAcC,KAAdD,EAAyC;A,IAC9C,OAAO,YAAQ,KAAM,KAArB,I;EACJ,C;;;;;;;;sBCFSA,CAAcC,KAAdD,EAA0C;A,IAC/C,OAAQ,aAAQ,KAAM,KAAd,CAAqB,K;EACjC,C;;;;;;iBCGAE,CAAqBC,IAArBD,EAAyC;A,cAAA,aAAK,IAAL,C;IAAgB,+CAAhB,GAAgB,c;EAAD,C;sBAMxDE,CAAgBD,IAAhBC,EAAyC;A;;iBCHpB,S;IDGgC,OCgQL,aAAnB,MAAmB,SAAnB,MAAmB,mBAnQnC,IAmQmC,C;EDhQI,C;;;;;;;;;;;;;;;;oBVkDpDC,CAAAA,EAAA;A,EAAA,C;mCASIC,CAAqBC,QAArBD,EAAuD;A,IAAwB,OAAxB,mBAAe,QAAf,C;EAAuB,C;;;;;;;sBEtElFD,CAAAA,EAAA;A,EAAA,C;qCACIG,CAAWC,SAAXD,EAA0C;A,IACtC,OAAO,eAAW,SAAX,C;EACX,C;;;;;;;;;sBE0BJH,CAAAA,EAAA;A,EAAA,C;qCAGIG,CAAWE,QAAXF,EAAiD;A,IAC7C,OAAgB,SAAT,QAAS,C;EACpB,C;6CAIAA,CAAWG,QAAXH,EAAiD;A,IAC7C,OAAgB,SAAT,QAAS,C;EACpB,C;wCAIAI,CAAAA,EAA+B;A,IAC3B,gC;EACJ,C;;;;;oCAnBHP,CAJD,MAICA,EAAA;A;EAAA,C;kDAAoCK,CAAAA,EAE/B;A;IAAU,OAL2B,oB;EAK5B,C;sCAERL,CALP,MAKOA,EAAA;A;EAAA,C;oDACcK,CAAAA,EAA8B;A;IACjD,OANyC,oB;EAM1C,C;;;iBQpBLG,CAAQC,aAARD,EAA8C;A,IAA0B,OAAV,SAAhB,aAAK,IAAW,C;EAAS,C;mBAEvEA,CAAQC,aAARD,EAA8C;A,IAA0B,OAAV,SAAhB,aAAK,IAAW,C;EAAS,C;mBAEvEA,CAAQC,aAARD,EAA2C;A,IAA0B,OAAV,SAAX,cAAL,aAAK,CAAW,C;EAAS,C;eAb3DE,CAAQD,a,EAAmBb,KAA3Bc,EACL;A,IAIC,OAHG,KAAM,QAAW,sBAAkB,aAAlB,EAA8B,UAAN,KAAM,CAA9B,CAAX,GACN,qBAAW,aAAX,4B;EAEJ,C;mBAEJC,CAAQF,aAARE,EAAgD;A,IAAuB,OAAR,wBAAG,aAAH,C;EAAO,C;;;sBJLlEX,CAAAA,EAAA;A,EAAA,C;qCACIG,CACIS,K,EACAC,KAFJV,EAGiB;A,IACb,OAAO,mBAAe,KAAf,EAAsB,KAAtB,C;EACX,C;;;;;;;mBKsSRW,CAAQL,aAARK,EACI;A,IAQC,OARD,SAAS,uCAAT,C;EAQA,C;2BA1FJC,CAAyBC,QAAzBD,EAAqD;A,QACjDE,OAAW,E;QACXC,IAAQ,QAAS,I;WACV,CAAE,I,EAAW;A,gBACT,SAAK,IAAL,C;UAAe,qBAAF,CAAE,I;UAAF,iBAAE,kBAAQ,2BAAR,kBAAQ,C;MAA9B,OAAO,OAAa,yBAAwB,CAAxB,iBAAb,CAAP,I;IACJ,C;IACA,OAAO,I;EACX,C;mBA2DAC,CAAQV,a,EACJG,K,EACAQ,I,EACAC,KAHJF,EAKI;A,IAQC,OARD,SAAS,2DAAT,C;EAQA,C;6BAtEJJ,CAAyBT,QAAzBS,EAAqD;A,IACjD,OAAO,iBAA0B,WAAT,QAAS,CAA1B,C;EACX,C;yBA9BAO,CACIC,S,EACAC,S,EACAC,UAHJH,EAIW;A,IACP,OAAO,iBAAyB,WAAV,SAAU,CAAzB,EAAiD,WAAV,SAAU,CAAjD,EAA+D,UAA/D,C;EACX,C;iBAsCAI,CAAQjB,aAARiB,EAA0C;A,IACtC,OAAY,SAAL,aAAK,CAAS,a;EACzB,C;mBANAC,CAAQlB,aAARkB,EAA4C;A,IACxC,OAAqB,WAAT,OAAL,aAAK,CAAS,C;EACzB,C;2BAnEAL,CACIM,S,EACAC,S,EACAJ,UAHJH,EAIW;A,QACPJ,IAAQ,SAAU,I;QAClBY,IAAQ,SAAU,I;WACX,CAAE,OAAa,CAAE,IAAf,GAAe,K,EAAW;A,UAC/BC,IAAQ,CAAE,I;UACVC,IAAQ,CAAE,I;MACV,IAAI,CAAC,WAAW,CAAX,EAAc,CAAd,CAAL,C,CAAuB;A,QACnB,OAAO,K;MACX,C;IACJ,C;IACA,OAAO,CAAE,IAAF,KAAe,CAAE,I;EAC5B,C;6BAyBAjB,CAAyBM,KAAzBN,EAA+C;A,IAC3C,OAAO,iBAAuB,aAAN,KAAM,CAAvB,C;EACX,C;2BAzBAO,CACIM,S,EACAC,SAFJP,EAII;A,IAEC,OAFD,iBAAe,SAAf,EAA0B,SAA1B,EAAqC,qBAArC,C;EAEA,C;yBAjJJW,CACIC,S,EACAT,UAFJQ,EAGe;A,0CACa,U;;;sBCw8CX,wBAAa,wBAt8CL,SAs8CK,EAAwB,EAAxB,CAAb,C;QAuEA,gBA7gDQ,SA6gDR,I;WAAA,iB,EAAb;A,UAAKb,OAAQ,iB;;sBD/gD2C,WA2Rw/2C,IA3Rx/2C,C;MCghDpD,WAAY,GAAI,SAAJ,C;IAAmB,C;IDhhDnC,OAAO,WCihDA,WDjhDA,C;EACX,C;gBA/DAe,CACIV,U,EACAS,SAFJC,EAGe;A,IACX,OAAO,SAAS,4CAAT,C;EAiBX,C;kBAkGAC,CAAQ3B,aAAR2B,EACI;A,cAA+B,WAA3B,aAAS,CAAT,8BAAgB,SAAhB,CAA2B,C;IAE9B,OAFD,wBAA6C,cAA7C,C;EAEA,C;kCA5DapC,C,UAAAA,EAAA;A,IAAA,sB;EAAA,C;iDAAAqC,CAxDsBN,C,EAClCC,CAuDYK,E;;G;uDAxDsBN,C,EAClCC,C;;;4BA0SG,c;;;;0CACKM,CAAAC,c,EAAAC,WAAAF,EACL;A;;;;EAMA,C;2CA/TR,E,EAAAE,W;;;0CAwTaC,CAAAA,EAAA;A;;MAAA,I;;;;;YACL,YAAQ,a;;;;iBACC,KAAF,IAAE,I;;;;;YACL,YAAgB,KAAF,IAAE,I;YACV,SAAF,IAAE,K;;8BACF,kBAAM,IAAN,O;;;;;;;;;;;;;;;;;YAGZ,oB;;;;;;;;;;;;;;EAAA,C;2CARS,c,EA/LZ,U;;;;;6BA+LYC,CADL,c,oBACKA,E;;qBAAAC,CAAAJ,c,EAAAC,WAAAG,E;;K;;;G;4BAhBL,c,EACJC,M,EACAC,K,EACAC,M;;;;;;;0CAESR,CAAAC,c,EAAAC,WAAAF,EACL;A;;;;EAMA,C;2CApTR,E,EAAAE,W;;;0CA6SaC,CAAAA,EAAA;A;;MAAA,I;;;;;YACU,YAAY,WAAZ,oBAAY,CAAZ,I;;;;iBAAA,a;;;;;YAAA,yB;YAAT,iBAAS,IAAT,K;YAAG,iBAAM,IAAN,K;YACD,uBAAK,IAAL,C;;8BACA,kBAAM,IAAN,O;;;;;;;;;;;;4BACA,aAAe,kBAAN,IAAM,CAAf,O;;;;;;;;;;;4BAEJ,kBAAM,IAAN,O;;;;;;;;;;YAER,oB;;;;;;;;;;;;;;EAAA,C;2CARS,c,EApLZ,U;;;;;6BAoLYM,CALL,c,EACJH,M,EACAC,K,EACAC,M,oBAESC,E;;qBAAAC,CAAAT,c,EAAAC,WAAAQ,E;;K;;;G;gCA9F4BC,CAAElB,C,EAAGC,CAALiB,EAAA;A,IACjC,iBAAK,CAAL,C;EACJ,C;oCAlMgBjD,C,UAAAA,EAAA;A,IAAA,sB;EAAA,C;mDAAAqC,CAHmBN,C,EAClCC,CAEeK,E;;G;yDAHmBN,C,EAClCC,C;;;+BAF6CkB,CAAAC,EAAAD,EAAA;A,IAAK,cAAH,EAAG,C;EAAS,C;iCAAYA,CAAAC,EAAAD,EAAA;A,IAAK,OAAH,EAAG,K;EAAO,C;iCAG9CA,CAAAC,EAAAD,EAAA;A,IAAY,qBAAV,EAAG,KAAO,C;EAAG,C;iCAC1BA,CAR3BE,WAQ2BF,E;oBAAAG,CAAEtB,C,EAAGC,CAALqB,EAAA;A,MAAqB,OAAX,WAAW,SAAQ,CAAE,KAAV,EAAiB,CAAE,KAAnB,C;IAA0B,C;G;yBAP1EC,U,EADAF,W;;;;;uCAGgBd,CAAAC,c,EAAAC,WAAAF,EACZ;A;;;;EAcA,C;wCAzBR,E,EAAAE,W;;;uCAUoBC,CAAAA,EAAA;A;;MAAA,I;;;;;;wBACa,gBAAV,IAAU,C;wBAAa,WAAI,oBAAJ,C;YAAtC,aAAkF,cAAxB,iBAAU,sBAAV,CAAwB,C;;;;iBAoVd,CAAC,KAnV9D,IAmV8D,I;;;;;;wBAjVpD,gBAAT,IAAS,C;wBAAkC,QAArB,WAAI,sBAAJ,CAAqB,C;gBAC5B,yC;YACd,2BAFoD,qBACtC,oCADsC,CAEpD,C;YAHA,iBAGA,IAHA,K;YAAU,iBAGV,IAHU,K;;4BAIf,kBAAM,IAAN,O;;;;;;;qBACA,kBAAS,IAAT,CAAmB,K;YACf,IAAI,EAAG,KAAP,C,CAAe;A,cACF,KAAT,IAAS,SAAS,IAAT,C;YACb,C,MAAO;A,cACH,kBAAS,IAAT,EAAqB,EAArB,C;YACJ,C;;;;;;;YAGZ,oB;;;;;;;;;;;;EAAA,C;wCAhBgB,c,EA+GnB,U;;;;;0BA/GmBc,CAFhBD,U,EADAF,W,oBAGgBG,E;;qBAAAL,CAAAX,c,EAAAC,WAAAU,E;;K;;;G;yBAoH6BM,CAAEL,E,EAAIjC,CAANsC,EAAA;A,IAC9B,+BAAG,CAAH,EAAM,EAAN,C;EACf,C;sBJrHAxD,CAAAA,EAAA;A,EAAA,C;qCACIG,CACIS,K,EACAC,KAFJV,EAGkB;A,IACd,OAAO,oBAAgB,KAAhB,EAAuB,KAAvB,C;EACX,C;;;;;;;sBMdJH,CAAAA,EAAA;A,EAAA,C;qCACIyD,CAAa5C,KAAb4C,EAAsC;A,IAAW,OAAX,SAAK,KAAL,C;EAAU,C;qCAEhDtD,CAAWU,KAAXV,EACI;A;IAAA,IAAI,SAAS,IAAb,C;YACI,S;;YAEA,QAAK,KAAL,C;;IACH,U;EAAD,C;qCAEJuD,CAAAA,EAAkC;A,IAAI,yB;EAAD,C;;;;;eAGpC1D,CAAca,KAAdb,EAAL;A,IAA4C,mB;IAAzB,iB;EAAnB,C;8BAA4B2D,CAAAA,EAAA;A,IAAA,gB;EAAW,C;8BAE/BC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAYNC,CAAAA,EAAyB;A,IAAc,OAAb,OAAa,GAAP,IAAO,CAAP,IAAO,GAAF,G;EAAC,C;oCA9BvDC,CAAAA,EAAA;A,IAAA,kD;EAAA,C;kCAAAC,CAAAnE,KAAAmE,EAAA;A,IAAA,mB;MAAA,W;IAAA,6B;MAAA,Y;QAAA,kE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;eAiCI/D,CAAAA,EAAA;A;IAAc,mB;EAAd,C;8BAEQ2D,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;8BAGXC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;oCAQPC,CAAAA,EAAyB;A,IAAK,OAAJ,M;EAAI,C;;;;;;;mBA5CxC7D,CAAAA,EAAP;A,EAAA,C;kCAoDQgE,CAAAA,EAAQ;A,IAAU,OAAV,CAAC,S;EAAQ,C;;;kBCxBzBC,CAAsCxD,a,EAAUyD,IAAhDD,EAA2E;A,cAAA,wBAAY,IAAZ,C;IAAsB,oCAAtB,GAAsB,c;EAAD,C;6BCnBhGE,CAAiB1D,a,EAAqB2D,MAAtCD,EAA4D;A,IAA4B,OAA5B,eAAe,aAAf,EAAqB,MAArB,C;EAA2B,C;sBCqBnFnE,CAAAA,EAAA;A,EAAA,C;qCACIG,CAAWkE,MAAXlE,EACI;A;IAAA,IAAI,MAAO,IAAX,C;YACI,eAAW,MAAX,C;;;;IAGH,U;EAAD,C;;;;;oCAzBJH,CADJ,MACIA,EAAA;A,IACyC,kB;EADzC,C;kDAGasE,CAAAA,EAAyB;A,IAAe,OAAf,CAAC,IAAQ,CAAR,IAAQ,K;EAAK,C;kDAEvCC,CAAAA,EAAc;A,QACnBC,SAAa,IAAQ,CAAR,IAAQ,K;IACrB,YAAU,IAAQ,CAAR,IAAQ,K;IAClB,OAAa,cAAN,MAAM,C;EACjB,C;yBAlBMxE,CAAAA,EAAlB;A,EAAA,C;8CACa6D,CAAAA,EACL;A,IAIC,OAHG,IAAK,QAAW,IAAX,GACL,CAAC,IAAK,KAAN,GAAkB,GAAlB,GAAoB,SAApB,GAA2B,GAA3B,GACS,GADT,GACW,SADX,GACkB,Q;EACtB,C;uCAEKxD,CAAAA,EACL;A,IAUC,OAVD,mC;EAUA,C;;;;wCAKAoE,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;wCAEPC,CAAYC,MAAZD,EAAuD;A,IAA0B,OAA1B,iBAAa,IAAb,EAAmB,MAAnB,C;EAAyB,C;0CAhBjDC,M;;;qBCTvC3E,CAAoBI,SAApBJ,EAAL;A,IAAyB,qB;IAC0B,qC;EADnD,C;oCAIQ4E,CAAAA,EAAQ;A,IAAgB,OAAhB,IAAO,CAAP,IAAO,K;EAAQ,C;oCAGvBC,CAAAA,EAAQ;A,IAAe,OAAf,IAAO,CAAP,IAAO,K;EAAO,C;oCAGtBlB,CAAAA,EAAM;A,IACF,S;IACA,OAAmB,cAAZ,IAAO,CAAP,IAAO,KAAK,C;EACvB,C;oCAEKmB,CAAAA,EAAiB;A,IACtB,IAAI,SAAJ,C,CAAe;A,MACX,YAAkB,wBAAK,WAAL,C;IACtB,C;EACJ,C;oCAESC,CAAAA,EAAiB;A,IACtB,YAAkB,yB;EACtB,C;0CA5BJlB,CAAAA,EAAA;A,IAAA,gD;EAAA,C;0CAAAC,CAAAA,EAAA;A,IAAA,0B;EAAA,C;wCAAAC,CAAAnE,KAAAmE,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;iDCWqDiB,CAPrD,MAOqDA,E;oBAAAC,CAAAA,EAAA;A,MAC7C,OACI,MAAM,CAAN,IAAM,QAAW,sBAAkB,MAAM,CAAN,IAAM,KAAxB,EAA8B,MAA9B,CAA8B,IAA9B,CAAX,GACN,MAAO,CAAP,IAAO,QAAU,MAAO,CAAP,IAAO,KAAjB,GACC,MADD,CACC,I;IAEhB,C;G;4BAbKjF,CACLkF,K,EACAC,MAFKnF,EAAT;A,IAGI,yB;IAFA,iB;IACA,kB;cAK4C,I;IAAA,gBAAK,4CAAL,C;EAPhD,C;2CAKQoF,CAAAA,EAAQ;A,IAA6B,OAA7B,IAAM,CAAN,IAAM,QAAU,IAAO,CAAP,IAAO,KAAjB,GAAiB,K;EAAK,C;2CAECC,CAAAA,EAAG;A;iBCEhD,I,CAAA,I;IAAA,c;IDFgD,OCgC4C,W;ED1BxF,C;2CAGIC,CAAAA,EAAQ;A,IAAoD,OAAhD,IAAM,CAAN,IAAM,KAAV,GAAmB,IAAM,CAAN,IAAM,KAAzB,GAAsC,IAAO,CAAP,IAAO,K;EAAM,C;2CAG3DC,CAAAA,EAAQ;A,IAA+B,OAA/B,IAAM,CAAN,IAAM,eAAW,IAAO,CAAP,IAAO,K;EAAM,C;+CAEjCxB,CAAWnE,KAAXmE,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,mBAAS,KAAT,CAAe,IAAf,CAAJ,C;MAA0B,OAAO,K;IACjC,IAAI,mBAAU,KAAV,CAAgB,IAAhB,CAAJ,C;MAA4B,OAAO,K;IAEnC,OAAO,I;EACX,C;iDAESD,CAAAA,EAAoB;A,QACzBU,SAAmB,SAAN,IAAM,CAAN,IAAM,C;IACnB,SAAS,SAAK,MAAL,IAAqB,SAAP,IAAO,CAAP,IAAO,CAA9B,I;IACA,OAAO,M;EACX,C;uBA9ByCgB,CAAAA,E;kCAAA,M,KAAA,U,WAAAC,CAgCs8BC,QAhCt8BD,E;;K,EAAA,I;G;sBET7CzF,CAAAA,EAAA;A;IAA8B,yB;EAA9B,C;qCAEQqF,CAAAA,EAAQ;A,IAAA,MAAM,sC;EAAuB,C;qCAGrCC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAGXC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;qCAGZH,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;2CAENvB,CAAAA,EAAyB;A,IAAgC,OAAV,sCAAtB,IAAsB,C;EAAS,C;qCAExDa,CAAYC,MAAZD,EAA6D;A,IAAI,OAAJ,I;EAAG,C;uCAFVC,M;;;sCAI0PA,M;;;;;;;;;yBCf/S3E,CACVY,K,EACAC,KAFUb,EAAd;A,IACI,iB;IACA,iB;EAFJ,C;wCACa2F,CAAAA,EAAA;A,IAAA,gB;EAAa,C;wCACbhC,CAAAA,EAAA;A,IAAA,gB;EAAW,C;wCANxBlE,CAAAA,EAAA;A,IAAA,gB;EAAA,C;wCAAAC,CAAAA,EAAA;A,IAAA,gB;EAAA,C;8CAAAmE,CAAAA,EAAA;A,IAAA,yE;EAAA,C;8CAAAC,CAAAA,EAAA;A,QAAAU,kB;IAAA,6E;IAAA,a;EAAA,C;4CAAAT,CAAAnE,KAAAmE,EAAA;A,IAAA,mB;MAAA,W;IAAA,uC;MAAA,Y;QAAA,4E;IAAA,+C;MAAA,Y;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;yCAYk+BnE,K;;;8BCTv7BgG,C,KAAAA,EAAG;A;iBHD+B,K,CAAA,I;IAAA,iB;IGC/B,OHwC8C,W;EGtCxF,C;6CAF+CC,CADnD,MACmDA,E;oBAAAC,CAAAA,EAAA;A,MAC3C,yBAAc,MAAd,CAAc,IAAd,C;IACJ,C;G;qBAHU9F,CAAoB+F,QAApB/F,EAAd;A,IAA+D,yB;IAA7B,oB;cACY,I;IAAA,gBAAK,wCAAL,C;EAD9C,C;oCAMQyE,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAGXY,CAAAA,EAAQ;A,IAAY,OAAZ,yBAAQ,K;EAAG,C;oCAGnBC,CAAAA,EAAQ;A,IAAe,OAAf,yBAAQ,K;EAAM,C;oCAGtBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAEPvB,CAAAA,EAAyB;A,IAAgC,OAAV,sCAAtB,IAAsB,C;EAAS,C;mCAExDxD,CAAAA,EAA8B;A,IAAkB,OAAlB,yBAAQ,I;EAAS,C;;;;0CAxB5DyD,CAAAA,EAAA;A,IAAA,0B;EAAA,C;wCAAAC,CAAAnE,KAAAmE,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;0BAG2CiC,CAAAA,E;kCAAA,S,KAAA,U,WAAAP,CAuBy8CC,QAvBz8CD,E;;K,EAAA,I;G;0BCC7BzF,CACVY,K,EACAC,KAFUb,EAAd;A,IACI,iB;IACA,iB;EAFJ,C;yCACa2F,CAAAA,EAAA;A,IAAA,gB;EAAc,C;yCACdhC,CAAAA,EAAA;A,IAAA,gB;EAAW,C;yCAEXhE,CAAcC,KAAdD,EAA0C;A,IAC/C,OAAQ,aAAQ,KAAM,KAAd,CAAqB,K;EACjC,C;0CAM22BC,K;;;+CAhB/2BiE,CAAAA,EAAA;A,IAAA,qF;EAAA,C;+CAAAC,CAAAA,EAAA;A,QAAAU,6B;IAAA,6E;IAAA,a;EAAA,C;6CAAAT,CAAAnE,KAAAmE,EAAA;A,IAAA,mB;MAAA,W;IAAA,wC;MAAA,Y;QAAA,6E;IAAA,iD;MAAA,Y;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;+CCSoCkC,CAPpC,MAOoCA,E;oBAAAC,CAAAA,EAAA;A,MAAE,mBAAsB,cAAf,MAAQ,CAAR,IAAQ,KAAO,CAAtB,C;IAA0B,C;G;uBAPvDlG,CACLmG,O,EACAxB,MAFK3E,EAAT;A,IAGI,yB;IAFA,mB;IACA,kB;cAK2B,I;IAAA,gBAAK,0CAAL,C;EAP/B,C;sCAKQqF,CAAAA,EAAQ;A,IAAwB,OAAxB,IAAQ,CAAR,IAAQ,KAAK,IAAI,IAAJ,CAAI,IAAJ,C;EAAU,C;sCAEXC,CAAAA,EAAG;A;iBLA/B,I,CAAA,I;IAAA,iB;IKA+B,OLkC6D,W;EKlC5B,C;sCAGxDC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;sCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAEPrB,CAAWnE,KAAXmE,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,mBAAW,KAAX,CAAiB,IAAjB,CAAJ,C;MAA8B,OAAO,K;IACrC,IAAI,mBAAU,KAAV,CAAgB,IAAhB,CAAJ,C;MAA4B,OAAO,K;IAEnC,OAAO,I;EACX,C;4CAESD,CAAAA,EAAoB;A,QACzBU,SAAqB,SAAR,IAAQ,CAAR,IAAQ,C;IACrB,SAAS,SAAK,MAAL,IAAqB,SAAP,IAAO,CAAP,IAAO,CAA9B,I;IACA,OAAO,M;EACX,C;sCAESE,CAAYC,MAAZD,EAAuD;A,IAA8C,OAA9C,gBAAY,OAAO,SAAP,CAAZ,EAA6B,SAAK,IAAI,MAAJ,CAAlC,C;EAA6C,C;wCApB9GC,M;;;uCAeoBA,M;;;0BArBKyB,CAAAA,E;kCAAA,S,KAAA,U,WAAAX,CA4BqlCC,QA5BrlCD,E;;K,EAAA,I;G;6CCJyBY,CAHrBC,O,EAAhC,MAGqDD,E;oBAAAE,CAAAA,EAAA;A;mB1BAvB,wBAAG,OAAH,C;;;M0BCW,cAAc,I;MAArB,O1B4FvB,M;I0B3FP,C;G;wBALKvG,CAAuBqE,MAAvBrE,EAAT;A,IAAuD,yB;IAChB,kB;cAES,I;IAAA,gBAAK,gDAAL,C;IAIX,YAAP,MAAO,I;EAPrC,C;uCAG6CqF,CAAAA,EAAG;A;iBNF9C,I,CAAA,I;IAAA,gB;IME8C,ONsC4C,W;EMpCxF,C;uCAESC,CAAAA,EAAA;A,IAAA,gB;EAA6B,C;uCAGlCC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;uCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;6CAEPvB,CAAAA,EAAuB;A,IAC5B,OAA6B,sCAAtB,IAAsB,C;EACjC,C;yBAdyC2B,CAAAA,E;kCAAA,M,KAAA,U,WAAAC,CAgB6jDC,QAhB7jDD,E;;K,EAAA,I;G;4BCmBjCe,C,KAAAA,EAAkD;A;oBCHtB,KAgjB7B,CAhjB6B,IAgjB7B,K;QD5iBmC,uBAAb,SAAa,C;;QAAjCvH,MjBLkB,cAgSqC,K;;QiB3RlD4B,QjBLa,cA6SqC,K;IiBvS5D,KAAM,CAAN,IAAM,IAAO,GAAP,C;IACN,OAAgB,wBAAK,QAAO,KAAP,CAAL,C;EACpB,C;uCAEQ4F,C,KAAAA,EAA6D;A;IAC1D,IAAI,KAAM,CAAN,IAAM,IAAN,IAAc,KAAd,CAAc,IAAlB,C;YACH,wB;;YAES,yB;;IAHb,U;EAKJ,C;oCAlBuBC,CAJvB,M,EACIC,I,EACAC,MAEmBF,E;oBAAAG,CAAAA,EAAA;A,UACfC,UAAc,oC;mBACd,M,CAAA,I;gBAAM,I;kBAAO,M;MA8Ds6N,UAAI,GAAJ,EAAS,KAAT,C;MA7Dn7N,c;IACJ,C;G;oCAiBmBC,CADvB,M,EAAiBJ,IACMI,E;oBAAAC,CAAAA,EAAA;A;MACf,IAAI,MAAM,CAAN,IAAM,IAAY,IAAZ,CAAV,C;cACa,wBAAG,eAAM,IAAN,CAAH,C;;cAEA,yB;;MAHb,U;IAKJ,C;G;kDA2BmCC,CAAA9D,EAAA8D,EAAA;A;IAAK,OjB+PgB,SAlRT,EAkRc,KAAL,EAlRT,EAkRmB,KAAV,C;EiB/PP,C;2CAD9BC,CADvB,MACuBA,E;oBAAAD,CAAAA,EAAA;A,gBACD,WAAd,MAAM,CAAN,IAAM,KAAQ,C;MAAiC,gBAApB,SAAI,uCAAJ,CAAoB,C;IACnD,C;G;yCAG0CE,CAAAhE,EAAAgE,EAAA;A,IAAE,YAAG,EAAH,CAAM,IAAN,GAAY,KAAZ,GAAiB,EAAjB,CAAoB,I;EAAS,C;yBArExEnH,CAA2BE,QAA3BF,EAAT;A,IAAoC,oB;;;;;IE4BhC,IAAI,EAzBD,YAAW,CAyBV,CAAJ,C,CAAY;A;UACRoH,UAdc,qB;MAed,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;IF1BoB,yC;EALxB,C;wCAOaC,CACLpI,G,EACA4B,KAFKwG,EAIL;A,IAIC,OAJD,yBAAmB,2CAAnB,C;EAIA,C;wCAgBK5B,CAAQxG,GAARwG,EACL;A,IAMC,OAND,yBAAmB,oCAAnB,C;EAMA,C;4CAOK1B,CAAWnE,KAAXmE,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,gBAAY,KAAZ,CAAkB,IAAlB,CAAJ,C;MAAgC,OAAO,K;IACvC,IAAI,kBAAS,KAAT,CAAe,IAAf,CAAJ,C;MAA0B,OAAO,K;IAEjC,OAAO,I;EACX,C;8CAESD,CAAAA,EAAoB;A,QACzBU,SAAa,IAAbA,CAAa,I;IACb,SAAS,SAAK,MAAL,IAAc,IAAM,CAAN,IAAM,WAA7B,I;IACA,OAAO,M;EACX,C;wCAES8C,CAAAA,EACL;A,IAEC,OAFD,yBAAmB,sCAAnB,C;EAEA,C;8CAEKzD,CAAAA,EAAuB;A,cACH,S;IAAzB,OAAQ,iBAAR,GAA2E,aAArC,SAAI,8BAAJ,CAAqC,EAAc,IAAd,CAA3E,GAA8F,G;EAClG,C;sBG3EK7D,CACLuH,O,EACAhD,IAFKvE,EAAT;A,IAGI,yB;IAFA,mB;IACA,gB;EAFJ,C;qCACasF,CAAAA,EAAA;A,IAAA,gB;EAAa,C;qCACbD,CAAAA,EAAA;A,IAAA,gB;EAA8B,C;qCAGnCE,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;kBCEboC,CAAgBnG,KAAhBmG,EAAoD;A,IACvD,OAAa,cAAN,KAAM,C;EACjB,C;oBAZOA,CAAgBnG,KAAhBmG,EAAiD;A,IACpD,OAAO,cAAe,KAAD,QAAd,C;EACX,C;oBAEOA,CAAgBnG,KAAhBmG,EAAoD;A;;iBCgGH,2B;;;ID9F7C,OA6Bi1E,MA7Bj1E,EAAO,KAAP,C;IADP,O/B2FO,M;E+BxFX,C;oBAqBOC,CAAQhH,aAARgH,EAAuC;A,IAC1C,IAAI,iBAAJ,C;MAAe,OAAO,I;QACtBvC,QAAY,iBAAI,CAAJ,C;IACZ,aAAK,IAAS,CAAT,C;IACL,OAAO,K;EACX,C;mBApBOwC,CAAQjH,a,EAAwBW,IAAhCsG,EAAyC;A,IAC5C,aAAK,IAAI,CAAJ,EAAO,IAAP,C;EACT,C;qBAEOA,CAAQjH,a,EAAwBY,KAAhCqG,EAAoD;A,QACvDxG,IAAQ,kB;QACK,yB;WAAA,iB,EAAb;A,UAAKE,OAAQ,iB;MACT,CAAE,IAAI,IAAJ,C;IACN,C;EACJ,C;yBEvBOuG,CACHC,G,EACAxD,MAFGuD,EAGA;A,IAAQ,OAAR,Q;EAAO,C;oBCFPE,CAAQpH,aAARoH,EAA4B;A,QAC/B1E,KACkB,a;IAClB,OAAO,E;EACX,C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
package/README.md CHANGED
@@ -1,120 +1,131 @@
1
1
  # Arg2P
2
2
 
3
- Quick links:
3
+ Arg2P is a lightweight implementation of the ASPIC<sup>+</sup> framework for structured argumentation.
4
+ Built on top of the [tuProlog](http://pika-lab.gitlab.io/tuprolog/2p-kt/) engine, it supports both JVM and Node environments.
4
5
 
5
- - [GitLab Repository](https://gitlab.com/pika-lab/argumentation/arg2p-kt)
6
- - [GitHub Repository](https://github.com/tuProlog/arg2p-kt)
7
- - [Maven Repository](https://search.maven.org/search?q=g:it.unibo.tuprolog.argumentation)
8
- - [NPM Package](https://www.npmjs.com/package/@tuprolog/arg2p-core)
9
- - [Documentation](https://pika-lab.gitlab.io/argumentation/arg2p-kt)
6
+ More details are available on the [official wiki](https://pika-lab.gitlab.io/argumentation/arg2p-kt/).
10
7
 
8
+ ---
11
9
 
12
- Arg2Prolog is a lightweight implementation of the ASPIC<sup>+</sup>-like framework for structured argumentation.
13
- It is built on the top of the [tuProlog](http://pika-lab.gitlab.io/tuprolog/2p-in-kotlin/) engine.
10
+ ## Getting Started
14
11
 
15
- More information about the project can be found on the [official wiki](https://pika-lab.gitlab.io/argumentation/arg2p-kt/).
12
+ Arg2p is available as a [2P-Kt](http://pika-lab.gitlab.io/tuprolog/2p-kt/) library.
16
13
 
17
- ### Get Started
14
+ #### JVM Library - Gradle
18
15
 
19
- The Arg2p library is available in two different forms: as a standalone application (Arg2p Java IDE), and as a [2P-Kt](http://pika-lab.gitlab.io/tuprolog/2p-in-kotlin/) library.
16
+ To import the Arg2p module (version `ARG2P_VERSION`) into your Kotlin-based Gradle project, declare the dependency in your `build.gradle(.kts)` file:
17
+ ```kotlin
18
+ repositories {
19
+ mavenCentral()
20
+ }
21
+
22
+ dependencies {
23
+ implementation("it.unibo.tuprolog.argumentation:arg2p-jvm:ARG2P_VERSION")
24
+ }
25
+ ```
26
+
27
+ #### Usage Example
20
28
 
21
- #### Graphical User Interface
29
+ ```kotlin
30
+ import it.unibo.tuprolog.argumentation.core.Arg2pSolverFactory
31
+ import it.unibo.tuprolog.argumentation.core.libs.basic.FlagsBuilder
32
+
33
+ fun main() {
34
+ val graph = Arg2pSolverFactory.evaluate("""
35
+ f1 :=> d.
36
+ f2 :=> -d.
37
+ """.trimIndent(), FlagsBuilder()).first()
38
+
39
+ graph.labellings.forEach {
40
+ println("${it.label} : ${it.argument.conclusion}")
41
+ }
42
+ }
43
+ ```
22
44
 
23
- If you need a GUI for your Prolog interpreter, you can rely on the Arg2p IDE which is available on the [Releases section of the
24
- GitHub repository](https://github.com/tuProlog/arg2p-kt/releases).
45
+ For a complete example, check out the [GitHub demo](https://github.com/Gilbocc/arg2p-kt-demo).
25
46
 
26
- The page of the [latest release](https://github.com/tuProlog/arg2p-kt/releases/latest) of Arg2P exposes a number of _Assets_.
27
- There, the one named:
28
- ```
29
- arg2p-ide-VERSION-redist.jar
47
+ #### NPM Library
48
+
49
+ The Arg2P software is available on NPM as a JavaScript library as well. It can be found under the [`@tuprolog` organization](https://www.npmjs.com/org/tuprolog).
50
+ To use the library, add the dependency to your `package.json`:
51
+
52
+ ```json
53
+ {
54
+ "dependencies": {
55
+ "@tuprolog/arg2p": "ARG2P_VERSION"
56
+ }
57
+ }
30
58
  ```
31
- is the self-contained, executable Jar containing the 2P-Kt-based Prolog interpreter (`VERSION` may vary depending on the
32
- actual release version).
33
59
 
34
- After you download the `arg2p-ide-VERSION-redist.jar`, you can simply launch it by running:
35
- ```bash
36
- java -jar arg2p-ide-VERSION-redist.jar
60
+ #### Usage Example
61
+
62
+ ```js
63
+ const arg2p = require('@tuprolog/arg2p').it.unibo.tuprolog.argumentation.bridge.JsBridge
64
+
65
+ const graph = arg2p.solve('buildLabelSets', `
66
+ f1 :=> d.
67
+ f2 :=> -d.`, `
68
+ graphBuildMode(standard_af).
69
+ statementLabellingMode(statement).
70
+ argumentLabellingMode(grounded_hash).
71
+ orderingPrinciple(last).
72
+ orderingComparator(elitist).
73
+ graphExtension(standardPref).
74
+ queryMode.`, _ => { }).i.next().graph
75
+
76
+ graph.arguments.forEach(arg => {
77
+ console.log(`${arg.label} : ${arg.descriptor}`)
78
+ })
37
79
  ```
38
- However, if you have properly configured the JVM on your system, it may be sufficient to just double-click on the JAR to start the IDE.
39
80
 
40
- There, one may query the Arg2p Prolog interpreter against the currently opened theory file, which can of course be
41
- loaded from the user's file system by pressing <kbd>File</kbd> and then <kbd>Open...</kbd>.
81
+ For a complete example, see the [repository](https://github.com/tuProlog/arg2p-kt-web).
42
82
 
43
- To issue a query, the user must write it in the query text field, at the center of the application.
44
- By either pressing <kbd>Enter</kbd> while the cursor is on the query text field, or by clicking on the <kbd>&gt;</kbd> button, the user can start a new resolution process, aimed at solving the provided query.
45
- Further solutions can be explored by clicking on the <kbd>&gt;</kbd> over and over again.
46
- One may also compute all the unexplored solutions at once by clicking on the <kbd>&gt;&gt;</kbd> button.
83
+ ---
47
84
 
48
- To perform a novel query, the user may either:
49
- - write the new query in the query text field, and then press <kbd>Enter</kbd>, or
50
- - click on the <kbd>X</kbd> (Stop) button, write the new query in the query text field, and then press <kbd>&gt;</kbd>.
85
+ ## Arg2p IDE
51
86
 
52
- For a deeper introduction on the Arg2p IDE you can refer to the original [2P-Kt](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin) page.
53
- The Arg2p version of the IDE introduces two additional tabs:
54
- - the _Graph_ tab, containing the graphical representation of the abstract argumentation graph (available only if leveraging the abstract query mode -- `buildLabelSet` predicate);
55
- - the _Arg Flag_ tab, allowing the user to see/modify the values of the Arg2p flags. A comprehensive description of these values can be found on the [official wiki](https://pika-lab.gitlab.io/argumentation/arg2p-kt/wiki/predicate).
87
+ The Arg2p IDE is available on the [Releases section of the
88
+ GitHub repository](https://github.com/tuProlog/arg2p-kt/releases/latest).
56
89
 
57
- #### Gradle users
90
+ ![Java IDE](./imgs/javaide.png)
58
91
 
59
- To import the Arg2p module (version `ARG2P_VERSION`) into your Kotlin-based project leveraging on Gradle,
60
- you simply need to declare the corresponding dependency in your `build.gradle(.kts)` file:
61
- ```kotlin
62
- dependencies {
63
- implementation("it.unibo.tuprolog.argumentation", "arg2p", "ARG2P_VERSION")
64
- }
65
- ```
92
+ In the [latest release](https://github.com/tuProlog/arg2p-kt/releases/latest) page, download the _Asset_ named:
93
+ ```
94
+ arg2p-ide-ARG2P_VERSION-redist.jar
95
+ ```
96
+ a self-contained, executable Jar containing the 2P-Kt-based Prolog interpreter (`ARG2P_VERSION` will vary depending on the
97
+ actual release version).
66
98
 
67
- Don't forget to tell Gradle to use Maven Central as a source for dependency lookup. You can do it as follows:
68
- ```kotlin
69
- repositories {
70
- mavenCentral()
71
- }
72
- ```
99
+ After you download the `arg2p-ide-ARG2P_VERSION-redist.jar`, you can simply launch it by running:
100
+ ```bash
101
+ java -jar arg2p-ide-ARG2P_VERSION-redist.jar
102
+ ```
103
+ If your JVM is properly configured, you can also start the IDE by double-clicking the JAR file.
73
104
 
74
- ##### JVM-only projects with Gradle
105
+ ### Features
75
106
 
76
- In the case your project only targets the JVM platform, remember to add the `-jvm` suffix to the module name:
77
- ```kotlin
78
- dependencies {
79
- implementation("it.unibo.tuprolog.argumentation", "arg2p-jvm", "ARG2P_VERSION")
80
- }
81
- ```
107
+ - **Query Execution:** Write your query in the text field and hit <kbd>Enter</kbd> or click <kbd>&gt;</kbd>.
108
+ - **Solution Exploration:** Click <kbd>&gt;</kbd> for the next solution or <kbd>&gt;&gt;</kbd> to compute all solutions.
109
+ - **New Query:** Click <kbd>X</kbd> to stop the current query, then enter a new one.
82
110
 
83
- #### Maven users
111
+ ### Additional Tabs
84
112
 
85
- To import the Arg2p module (version `ARG2P_VERSION`) into your Kotlin-based project leveraging on Maven,
86
- you simply need to declare the corresponding dependency in your `pom.xml` file:
87
- ```xml
88
- <dependency>
89
- <groupId>it.unibo.tuprolog.argumentation</groupId>
90
- <artifactId>arg2p</artifactId>
91
- <version>ARG2P_VERSION</version>
92
- </dependency>
93
- ```
113
+ - **Graph Tab:** Displays a graphical representation of the abstract argumentation graph.
114
+ - **Arg Flag Tab:** Shows and allows modification of Arg2P flags. Detailed descriptions are on the [official wiki](https://pika-lab.gitlab.io/argumentation/arg2p-kt/wiki/predicate).
94
115
 
95
- ##### JVM-only projects with Maven
116
+ ---
96
117
 
97
- In the case your project only targets the JVM platform, remember to add the `-jvm` suffix to the module name:
98
- ```xml
99
- <dependency>
100
- <groupId>it.unibo.tuprolog.argumentation</groupId>
101
- <artifactId>arg2p-jvm</artifactId>
102
- <version>ARG2P_VERSION</version>
103
- </dependency>
104
- ```
118
+ ## Arg2p Playground
105
119
 
106
- #### NPM users
120
+ Try Arg2P directly in your browser using the [Web Playground](https://legalmachinelab.unibo.it/arg2p).
107
121
 
108
- The Arg2P software is available on NPM as a JavaScript library as well. It can be found under the [`@tuprolog` organization](https://www.npmjs.com/org/tuprolog).
109
- To import the Arg2p library into your `package.json`, it is sufficient to declare your dependency as follows:
110
- ```json
111
- {
112
- "dependencies": {
113
- "@tuprolog/arg2p-core": "^ARG2P_MODULE_VERSION"
114
- }
115
- }
116
- ```
122
+ ![Web Playground](./imgs/playground.png)
123
+
124
+ It functions the same as the Java IDE, offering an interactive experience without installation.
125
+
126
+ ---
117
127
 
118
- ### Issue tracking
128
+ ## Issue tracking
119
129
 
120
- If you meet some problem in using Arg2p, you are encouraged to signal it through the project ["Issues" section](https://gitlab.com/pika-lab/argumentation/arg2p-kt/-/issues) on GitLab.
130
+ If you encounter any issues, please report them on the [GitHub Issues](https://github.com/tuProlog/arg2p-kt/issues) page.
131
+ Your feedback helps improve the project!
@@ -1,8 +1,8 @@
1
1
  (function (root, factory) {
2
2
  if (typeof define === 'function' && define.amd)
3
- define(['exports', './kt-math.js', './2p-solve-classic.js', './arg2p-core.js'], factory);
3
+ define(['exports', './kt-math.js', './2p-solve-classic.js'], factory);
4
4
  else if (typeof exports === 'object')
5
- factory(module.exports, require('./kt-math.js'), require('./2p-solve-classic.js'), require('./arg2p-core.js'));
5
+ factory(module.exports, require('./kt-math.js'), require('./2p-solve-classic.js'));
6
6
  else {
7
7
  if (typeof this['kt-math'] === 'undefined') {
8
8
  throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:causality-solver'. Its dependency 'kt-math' was not found. Please, check whether 'kt-math' is loaded prior to 'it.unibo.tuprolog.argumentation:causality-solver'.");
@@ -10,19 +10,15 @@
10
10
  if (typeof this['2p-solve-classic'] === 'undefined') {
11
11
  throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:causality-solver'. Its dependency '2p-solve-classic' was not found. Please, check whether '2p-solve-classic' is loaded prior to 'it.unibo.tuprolog.argumentation:causality-solver'.");
12
12
  }
13
- if (typeof this['arg2p-core'] === 'undefined') {
14
- throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:causality-solver'. Its dependency 'arg2p-core' was not found. Please, check whether 'arg2p-core' is loaded prior to 'it.unibo.tuprolog.argumentation:causality-solver'.");
15
- }
16
- root['it.unibo.tuprolog.argumentation:causality-solver'] = factory(typeof this['it.unibo.tuprolog.argumentation:causality-solver'] === 'undefined' ? {} : this['it.unibo.tuprolog.argumentation:causality-solver'], this['kt-math'], this['2p-solve-classic'], this['arg2p-core']);
13
+ root['it.unibo.tuprolog.argumentation:causality-solver'] = factory(typeof this['it.unibo.tuprolog.argumentation:causality-solver'] === 'undefined' ? {} : this['it.unibo.tuprolog.argumentation:causality-solver'], this['kt-math'], this['2p-solve-classic']);
17
14
  }
18
- }(this, function (_, kotlin_io_github_gciatto_kt_math, kotlin_it_unibo_tuprolog_solve_classic, kotlin_it_unibo_tuprolog_argumentation_core) {
15
+ }(this, function (_, kotlin_io_github_gciatto_kt_math, kotlin_it_unibo_tuprolog_solve_classic) {
19
16
  'use strict';
20
17
  //region block: pre-declaration
21
18
  //endregion
22
19
  //region block: exports
23
20
  kotlin_io_github_gciatto_kt_math.$jsExportAll$(_);
24
21
  kotlin_it_unibo_tuprolog_solve_classic.$jsExportAll$(_);
25
- kotlin_it_unibo_tuprolog_argumentation_core.$jsExportAll$(_);
26
22
  //endregion
27
23
  return _;
28
24
  }));
@@ -1 +1 @@
1
- {"version":3,"sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
1
+ {"version":3,"sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;"}