@tuprolog/2p-full 0.31.5-dev0c → 0.31.5-dev0n

package/package.json

@@ -1,6 +1,60 @@
 {
-    "version": "0.31.5-dev0c",
+    "description": "Umbrella package, depending on all 2P-Kt",
+    "homepage": "https://github.com/tuProlog/2p-kt",
+    "license": "Apache-2.0",
+    "private": false,
+    "author": {
+        "name": "Jason Dellaluce",
+        "email": "jason.dellaluce@studio.unibo.it"
+    },
+    "bugs": {
+        "url": "https://github.com/tuProlog/2p-kt/issues",
+        "email": "giovanni.ciatto@unibo.it"
+    },
+    "contributors": [
+        {
+            "name": "Sofia Montebugnoli",
+            "email": "sofia.montebugnoli2@studio.unibo.it"
+        },
+        {
+            "name": "Enrico Siboni",
+            "email": "enrico.siboni3@studio.unibo.it"
+        },
+        {
+            "name": "Giovanni Ciatto",
+            "email": "giovanni.ciatto@unibo.it",
+            "url": "https://about.me/gciatto"
+        },
+        {
+            "name": "Andrea Giordano",
+            "email": "andrea.giordano5@studio.unibo.it"
+        },
+        {
+            "name": "Silvia Lanzoni",
+            "email": "silvia.lanzoni5@studio.unibo.it"
+        },
+        {
+            "name": "Paolo Verdini",
+            "email": "paolo.verdini@studio.unibo.it"
+        },
+        {
+            "name": "Lorenzo Rizzato",
+            "email": "lorenzo.rizzato@studio.unibo.it"
+        },
+        {
+            "name": "Manuel Bonarrigo",
+            "email": "manuel.bonarrigo@studio.unibo.it"
+        },
+        {
+            "name": "Davide Greco",
+            "email": "davide.greco4@studio.unibo.it"
+        }
+    ],
+    "repository": {
+        "type": "git",
+        "url": "git@github.com:tuProlog/2p-kt.git"
+    },
     "main": "2p-full.js",
-    "types": "2p-full.d.ts",
+    "version": "0.31.5-dev0n",
     "name": "@tuprolog/2p-full"
 }

package/2p-full.d.ts

@@ -1,270 +0,0 @@
-type Nullable<T> = T | null | undefined
-export namespace org.gciatto.kt.math {
-    interface BigDecimal /* extends kotlin.Comparable<org.gciatto.kt.math.BigDecimal> */ {
-        readonly absoluteValue: org.gciatto.kt.math.BigDecimal;
-        readonly signum: number;
-        readonly scale: number;
-        readonly precision: number;
-        readonly unscaledValue: org.gciatto.kt.math.BigInteger;
-        plus(augend: Nullable<org.gciatto.kt.math.BigDecimal>): org.gciatto.kt.math.BigDecimal;
-        plusWithContext(augend: Nullable<org.gciatto.kt.math.BigDecimal>, mc: org.gciatto.kt.math.MathContext): org.gciatto.kt.math.BigDecimal;
-        minus(subtrahend: org.gciatto.kt.math.BigDecimal): org.gciatto.kt.math.BigDecimal;
-        minusWithContext(subtrahend: org.gciatto.kt.math.BigDecimal, mc: org.gciatto.kt.math.MathContext): org.gciatto.kt.math.BigDecimal;
-        times(multiplicand: Nullable<org.gciatto.kt.math.BigDecimal>): org.gciatto.kt.math.BigDecimal;
-        timesWithContext(multiplicand: org.gciatto.kt.math.BigDecimal, mc: org.gciatto.kt.math.MathContext): org.gciatto.kt.math.BigDecimal;
-        div(divisor: org.gciatto.kt.math.BigDecimal): org.gciatto.kt.math.BigDecimal;
-        divWithContext(divisor: org.gciatto.kt.math.BigDecimal, mc: org.gciatto.kt.math.MathContext): Nullable<org.gciatto.kt.math.BigDecimal>;
-        divideToIntegralValue(divisor: org.gciatto.kt.math.BigDecimal): org.gciatto.kt.math.BigDecimal;
-        divideToIntegralValueWithContext(divisor: org.gciatto.kt.math.BigDecimal, mc: org.gciatto.kt.math.MathContext): org.gciatto.kt.math.BigDecimal;
-        rem(divisor: org.gciatto.kt.math.BigDecimal): org.gciatto.kt.math.BigDecimal;
-        remWithContext(divisor: org.gciatto.kt.math.BigDecimal, mc: org.gciatto.kt.math.MathContext): org.gciatto.kt.math.BigDecimal;
-        divideAndRemainder(divisor: org.gciatto.kt.math.BigDecimal): any/* kotlin.Pair<org.gciatto.kt.math.BigDecimal, org.gciatto.kt.math.BigDecimal> */;
-        divideAndRemainderWithContext(divisor: org.gciatto.kt.math.BigDecimal, mc: org.gciatto.kt.math.MathContext): any/* kotlin.Pair<org.gciatto.kt.math.BigDecimal, org.gciatto.kt.math.BigDecimal> */;
-        sqrt(mc?: org.gciatto.kt.math.MathContext): org.gciatto.kt.math.BigDecimal;
-        pow(n: number): org.gciatto.kt.math.BigDecimal;
-        powWithContext(n: number, mc: org.gciatto.kt.math.MathContext): Nullable<org.gciatto.kt.math.BigDecimal>;
-        absoluteValueWithContext(mc: org.gciatto.kt.math.MathContext): Nullable<org.gciatto.kt.math.BigDecimal>;
-        unaryMinus(): org.gciatto.kt.math.BigDecimal;
-        unaryMinusWithContext(mc: org.gciatto.kt.math.MathContext): Nullable<org.gciatto.kt.math.BigDecimal>;
-        unaryPlus(): org.gciatto.kt.math.BigDecimal;
-        unaryPlusWithContext(mc: org.gciatto.kt.math.MathContext): Nullable<org.gciatto.kt.math.BigDecimal>;
-        round(mc: org.gciatto.kt.math.MathContext): Nullable<org.gciatto.kt.math.BigDecimal>;
-        setScaleRounding(newScale: number, roundingMode: org.gciatto.kt.math.RoundingMode): org.gciatto.kt.math.BigDecimal;
-        setScaleInt(newScale: number, roundingMode: number): org.gciatto.kt.math.BigDecimal;
-        setScale(newScale: number): org.gciatto.kt.math.BigDecimal;
-        movePointLeft(n: number): org.gciatto.kt.math.BigDecimal;
-        movePointRight(n: number): org.gciatto.kt.math.BigDecimal;
-        scaleByPowerOfTen(n: number): org.gciatto.kt.math.BigDecimal;
-        stripTrailingZeros(): org.gciatto.kt.math.BigDecimal;
-        min(val: org.gciatto.kt.math.BigDecimal): org.gciatto.kt.math.BigDecimal;
-        max(val: org.gciatto.kt.math.BigDecimal): org.gciatto.kt.math.BigDecimal;
-        toEngineeringString(): string;
-        toPlainString(): string;
-        toBigInteger(): org.gciatto.kt.math.BigInteger;
-        toBigIntegerExact(): org.gciatto.kt.math.BigInteger;
-        toLong(): any/* kotlin.Long */;
-        toLongExact(): any/* kotlin.Long */;
-        toInt(): number;
-        toByte(): number;
-        toChar(): any/* kotlin.Char */;
-        toShort(): number;
-        toIntExact(): number;
-        toShortExact(): number;
-        toByteExact(): number;
-        toFloat(): number;
-        toDouble(): number;
-        ulp(): org.gciatto.kt.math.BigDecimal;
-        readonly __doNotUseOrImplementIt: {
-            readonly "org.gciatto.kt.math.BigDecimal": unique symbol;
-        };
-        static get Companion(): {
-            get ZERO(): org.gciatto.kt.math.BigDecimal;
-            get ONE(): org.gciatto.kt.math.BigDecimal;
-            get TWO(): org.gciatto.kt.math.BigDecimal;
-            get TEN(): org.gciatto.kt.math.BigDecimal;
-            get ONE_TENTH(): org.gciatto.kt.math.BigDecimal;
-            get ONE_HALF(): org.gciatto.kt.math.BigDecimal;
-            get PI(): org.gciatto.kt.math.BigDecimal;
-            get E(): org.gciatto.kt.math.BigDecimal;
-            ofScaledLong(unscaledVal: any/* kotlin.Long */, scale: number): org.gciatto.kt.math.BigDecimal;
-            ofScaledLongWithPrecision(unscaledVal: any/* kotlin.Long */, scale: number, prec: number): org.gciatto.kt.math.BigDecimal;
-            ofInt(val: number): org.gciatto.kt.math.BigDecimal;
-            of(val: any/* kotlin.Long */): org.gciatto.kt.math.BigDecimal;
-            ofScaledBigIntegerWithPrecision(intVal: org.gciatto.kt.math.BigInteger, scale: number, prec: number): org.gciatto.kt.math.BigDecimal;
-            ofDouble(val: number, ctx?: Nullable<org.gciatto.kt.math.MathContext>): org.gciatto.kt.math.BigDecimal;
-            ofFloat(val: number, ctx?: Nullable<org.gciatto.kt.math.MathContext>): org.gciatto.kt.math.BigDecimal;
-            parse(val: string, ctx?: Nullable<org.gciatto.kt.math.MathContext>): org.gciatto.kt.math.BigDecimal;
-            ofBigInteger(val: org.gciatto.kt.math.BigInteger, ctx?: Nullable<org.gciatto.kt.math.MathContext>): org.gciatto.kt.math.BigDecimal;
-            ofIntWithContext(val: number, ctx: org.gciatto.kt.math.MathContext): org.gciatto.kt.math.BigDecimal;
-            ofWithContext(val: any/* kotlin.Long */, ctx: org.gciatto.kt.math.MathContext): org.gciatto.kt.math.BigDecimal;
-        };
-    }
-}
-export namespace org.gciatto.kt.math {
-    interface BigInteger /* extends kotlin.Comparable<org.gciatto.kt.math.BigInteger> */ {
-        readonly absoluteValue: org.gciatto.kt.math.BigInteger;
-        readonly signum: number;
-        readonly bitLength: number;
-        readonly bitCount: number;
-        rangeTo(endInclusive: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigIntegerRange;
-        rangeToInt(endInclusive: number): org.gciatto.kt.math.BigIntegerRange;
-        rangeToLong(endInclusive: any/* kotlin.Long */): org.gciatto.kt.math.BigIntegerRange;
-        nextProbablePrime(): org.gciatto.kt.math.BigInteger;
-        plus(other: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        plusInt(other: number): org.gciatto.kt.math.BigInteger;
-        plusLong(other: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-        minus(other: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        minusInt(other: number): org.gciatto.kt.math.BigInteger;
-        minusLong(other: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-        times(other: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        timesInt(other: number): org.gciatto.kt.math.BigInteger;
-        timesLong(other: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-        div(other: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        divInt(other: number): org.gciatto.kt.math.BigInteger;
-        divLong(other: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-        divideAndRemainder(other: org.gciatto.kt.math.BigInteger): Array<org.gciatto.kt.math.BigInteger>;
-        divideAndRemainderInt(other: number): Array<org.gciatto.kt.math.BigInteger>;
-        divideAndRemainderLong(other: any/* kotlin.Long */): Array<org.gciatto.kt.math.BigInteger>;
-        reminder(other: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        reminderInt(other: number): org.gciatto.kt.math.BigInteger;
-        reminderLong(other: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-        pow(exponent: number): org.gciatto.kt.math.BigInteger;
-        sqrt(): org.gciatto.kt.math.BigInteger;
-        sqrtAndRemainder(): Array<org.gciatto.kt.math.BigInteger>;
-        gcd(other: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        gcdInt(other: number): org.gciatto.kt.math.BigInteger;
-        gcdLong(other: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-        unaryMinus(): org.gciatto.kt.math.BigInteger;
-        unaryPlus(): org.gciatto.kt.math.BigInteger;
-        rem(modulus: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        remInt(modulus: number): org.gciatto.kt.math.BigInteger;
-        remLong(modulus: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-        modPow(exponent: org.gciatto.kt.math.BigInteger, modulus: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        modInverse(modulus: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        modInverseInt(modulus: number): org.gciatto.kt.math.BigInteger;
-        modInverseLong(modulus: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-        shl(n: number): org.gciatto.kt.math.BigInteger;
-        shr(n: number): org.gciatto.kt.math.BigInteger;
-        and(other: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        andInt(other: number): org.gciatto.kt.math.BigInteger;
-        andLong(other: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-        or(other: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        orInt(other: number): org.gciatto.kt.math.BigInteger;
-        orLong(other: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-        xor(other: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        xorInt(other: number): org.gciatto.kt.math.BigInteger;
-        xorLong(other: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-        not(): org.gciatto.kt.math.BigInteger;
-        andNot(other: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        andNotInt(other: number): org.gciatto.kt.math.BigInteger;
-        andNotLong(other: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-        testBit(n: number): boolean;
-        get(n: number): boolean;
-        set(n: number, b: boolean): org.gciatto.kt.math.BigInteger;
-        setBit(n: number): org.gciatto.kt.math.BigInteger;
-        clearBit(n: number): org.gciatto.kt.math.BigInteger;
-        flipBit(n: number): org.gciatto.kt.math.BigInteger;
-        isProbablePrime(certainty: number): boolean;
-        equals(other: Nullable<any>): boolean;
-        min(other: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        max(other: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigInteger;
-        hashCode(): number;
-        toStringWithRadix(radix: number): string;
-        toString(): string;
-        toByteArray(): Int8Array;
-        toInt(): number;
-        toLong(): any/* kotlin.Long */;
-        toByte(): number;
-        toChar(): any/* kotlin.Char */;
-        toShort(): number;
-        toFloat(): number;
-        toDouble(): number;
-        toLongExact(): any/* kotlin.Long */;
-        toIntExact(): number;
-        toShortExact(): number;
-        toByteExact(): number;
-        readonly __doNotUseOrImplementIt: {
-            readonly "org.gciatto.kt.math.BigInteger": unique symbol;
-        };
-        static get Companion(): {
-            get ZERO(): org.gciatto.kt.math.BigInteger;
-            get ONE(): org.gciatto.kt.math.BigInteger;
-            get TWO(): org.gciatto.kt.math.BigInteger;
-            get NEGATIVE_ONE(): org.gciatto.kt.math.BigInteger;
-            get TEN(): org.gciatto.kt.math.BigInteger;
-            probablePrime(bitLength: number, rnd: any/* kotlin.random.Random */): org.gciatto.kt.math.BigInteger;
-            ofLong(value: any/* kotlin.Long */): org.gciatto.kt.math.BigInteger;
-            of(value: number): org.gciatto.kt.math.BigInteger;
-            parse(value: string): org.gciatto.kt.math.BigInteger;
-            parseWithRadix(value: string, radix: number): org.gciatto.kt.math.BigInteger;
-            ofIntArray(value: Int32Array): org.gciatto.kt.math.BigInteger;
-        };
-    }
-}
-export namespace org.gciatto.kt.math {
-    class BigIntegerRange /* implements kotlin.ranges.ClosedRange<org.gciatto.kt.math.BigInteger>, kotlin.collections.Iterable<org.gciatto.kt.math.BigInteger> */ {
-        constructor(start: org.gciatto.kt.math.BigInteger, endInclusive: org.gciatto.kt.math.BigInteger);
-        component1(): org.gciatto.kt.math.BigInteger;
-        component2(): org.gciatto.kt.math.BigInteger;
-        copy(start?: org.gciatto.kt.math.BigInteger, endInclusive?: org.gciatto.kt.math.BigInteger): org.gciatto.kt.math.BigIntegerRange;
-        toString(): string;
-        hashCode(): number;
-        equals(other: Nullable<any>): boolean;
-    }
-}
-export namespace org.gciatto.kt.math {
-    class MathContext {
-        constructor(precision?: number, roundingMode?: org.gciatto.kt.math.RoundingMode);
-        get precision(): number;
-        get roundingMode(): org.gciatto.kt.math.RoundingMode;
-        component1(): number;
-        component2(): org.gciatto.kt.math.RoundingMode;
-        copy(precision?: number, roundingMode?: org.gciatto.kt.math.RoundingMode): org.gciatto.kt.math.MathContext;
-        toString(): string;
-        hashCode(): number;
-        equals(other: Nullable<any>): boolean;
-        static get Companion(): {
-            get UNLIMITED(): org.gciatto.kt.math.MathContext;
-            get DECIMAL32(): org.gciatto.kt.math.MathContext;
-            get DECIMAL64(): org.gciatto.kt.math.MathContext;
-            get DECIMAL128(): org.gciatto.kt.math.MathContext;
-        };
-    }
-}
-export namespace org.gciatto.kt.math {
-    abstract class RoundingMode {
-        private constructor();
-        get value(): number;
-        static get UP(): org.gciatto.kt.math.RoundingMode & {
-            get name(): "UP";
-            get ordinal(): 0;
-        };
-        static get DOWN(): org.gciatto.kt.math.RoundingMode & {
-            get name(): "DOWN";
-            get ordinal(): 1;
-        };
-        static get CEILING(): org.gciatto.kt.math.RoundingMode & {
-            get name(): "CEILING";
-            get ordinal(): 2;
-        };
-        static get FLOOR(): org.gciatto.kt.math.RoundingMode & {
-            get name(): "FLOOR";
-            get ordinal(): 3;
-        };
-        static get HALF_UP(): org.gciatto.kt.math.RoundingMode & {
-            get name(): "HALF_UP";
-            get ordinal(): 4;
-        };
-        static get HALF_DOWN(): org.gciatto.kt.math.RoundingMode & {
-            get name(): "HALF_DOWN";
-            get ordinal(): 5;
-        };
-        static get HALF_EVEN(): org.gciatto.kt.math.RoundingMode & {
-            get name(): "HALF_EVEN";
-            get ordinal(): 6;
-        };
-        static get UNNECESSARY(): org.gciatto.kt.math.RoundingMode & {
-            get name(): "UNNECESSARY";
-            get ordinal(): 7;
-        };
-        static values(): Array<org.gciatto.kt.math.RoundingMode>;
-        static valueOf(value: string): org.gciatto.kt.math.RoundingMode;
-        get name(): "UP" | "DOWN" | "CEILING" | "FLOOR" | "HALF_UP" | "HALF_DOWN" | "HALF_EVEN" | "UNNECESSARY";
-        get ordinal(): 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7;
-        static get Companion(): {
-            valueOfInt(rm: number): org.gciatto.kt.math.RoundingMode;
-        };
-    }
-}
-export namespace it.unibo.tuprolog.solve.classic {
-    const ClassicSolverFactory: {
-    } & any/* it.unibo.tuprolog.solve.SolverFactory */;
-}
-export namespace it.unibo.tuprolog.solve.problog {
-    const ProblogSolverFactory: {
-    } & any/* it.unibo.tuprolog.solve.SolverFactory */;
-}
-export namespace it.unibo.tuprolog.solve.streams {
-    const StreamsSolverFactory: {
-    } & any/* it.unibo.tuprolog.solve.SolverFactory */;
-}