@bptlab/openbpt-modeler-typed-pn-variants 1.0.0

package/dist/lib/simulation/binding-utils/exactSynchro.js

@@ -0,0 +1,102 @@
+import { getLinkPartFromDataClassKey } from "./helpers";
+import { groupTokensByNonVariableDataclasses } from "./linkingLogic";
+export function checkExactSynchroConstraints(exactSynchingArcPlaceInfoDict, validInputBindings) {
+    var _a, _b;
+    let synchedInputBindings = [];
+    let tokenDictPerArc = [];
+    const exactSynchroArcPlaceInfos = Object.entries(exactSynchingArcPlaceInfoDict);
+    if (exactSynchroArcPlaceInfos.length === 0) {
+        return validInputBindings;
+    }
+    for (const [arcId, arcPlaceInfo] of exactSynchroArcPlaceInfos) {
+        const groupedTokens = groupTokensByNonVariableDataclasses(Object.keys(arcPlaceInfo.dataClassInfoDict).map((dataClassKey) => getLinkPartFromDataClassKey(dataClassKey)), arcPlaceInfo.tokens);
+        tokenDictPerArc.push({
+            arcId,
+            groupedTokens,
+            dataClassInfoDict: arcPlaceInfo.dataClassInfoDict,
+        });
+    }
+    // For each input Binding ...
+    for (const inputBinding of validInputBindings) {
+        let currentSynchedBinding = [];
+        // ... check all exact synchro arcs ...
+        for (const tokenDict of tokenDictPerArc) {
+            let countAny = 0;
+            let countAll = 0;
+            for (const arcBinding of Object.values(tokenDict.groupedTokens)) {
+                for (const dataClassKey of Object.keys(arcBinding)) {
+                    const tokenValues = arcBinding[dataClassKey];
+                    const bindingValues = (_a = inputBinding[dataClassKey]) !== null && _a !== void 0 ? _a : [];
+                    countAny += tokenValues.some((tokenValue) => bindingValues.includes(tokenValue))
+                        ? 1
+                        : 0;
+                    countAll += tokenValues.every((tokenValue) => bindingValues.includes(tokenValue))
+                        ? 1
+                        : 0;
+                }
+            }
+            if (countAny === 0 || (countAny > 0 && countAny !== countAll)) {
+                // Not or partially included, exclude binding
+                continue;
+            }
+            for (const [dataClassKey, tokenValues] of Object.entries(inputBinding)) {
+                if (dataClassKey.endsWith(":false")) {
+                    currentSynchedBinding.push({
+                        DataClassKey: dataClassKey,
+                        isExactSync: false,
+                        values: tokenValues,
+                    });
+                    continue;
+                }
+                const syncedValues = ((_b = tokenDict.dataClassInfoDict[dataClassKey]) !== null && _b !== void 0 ? _b : []).filter((value) => tokenValues.includes(value));
+                const unsynchedValues = tokenValues.filter((value) => !syncedValues.includes(value));
+                if (syncedValues.length > 0) {
+                    currentSynchedBinding.push({
+                        DataClassKey: dataClassKey,
+                        isExactSync: true,
+                        values: syncedValues,
+                    });
+                }
+                if (unsynchedValues.length > 0) {
+                    currentSynchedBinding.push({
+                        DataClassKey: dataClassKey,
+                        isExactSync: false,
+                        values: unsynchedValues,
+                    });
+                }
+            }
+        }
+        // ... and merge the results.
+        let synchedBindings = {};
+        const groupedByKey = {};
+        for (const entry of currentSynchedBinding) {
+            if (!groupedByKey[entry.DataClassKey]) {
+                groupedByKey[entry.DataClassKey] = [];
+            }
+            groupedByKey[entry.DataClassKey].push(entry);
+        }
+        for (const [dataClassKey, entries] of Object.entries(groupedByKey)) {
+            const exactSyncEntries = entries.filter((e) => e.isExactSync);
+            const nonExactSyncEntries = entries.filter((e) => !e.isExactSync);
+            if (exactSyncEntries.length > 0) {
+                // Pick the one with the largest values array
+                const maxEntry = exactSyncEntries.reduce((prev, curr) => curr.values.length > prev.values.length ? curr : prev);
+                if (maxEntry.values.length > 0) {
+                    synchedBindings[dataClassKey + ":exact"] = maxEntry.values;
+                }
+            }
+            if (nonExactSyncEntries.length > 0) {
+                // Pick the one with the smallest values array
+                const minEntry = nonExactSyncEntries.reduce((prev, curr) => curr.values.length < prev.values.length ? curr : prev);
+                if (minEntry.values.length > 0) {
+                    synchedBindings[dataClassKey + ":subset"] = minEntry.values;
+                }
+            }
+        }
+        if (Object.keys(synchedBindings).length > 0) {
+            synchedInputBindings.push({ ...synchedBindings });
+        }
+    }
+    return synchedInputBindings;
+}
+//# sourceMappingURL=exactSynchro.js.map

package/dist/lib/simulation/binding-utils/exactSynchro.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exactSynchro.js","sourceRoot":"","sources":["../../../../lib/simulation/binding-utils/exactSynchro.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,EAAE,mCAAmC,EAAE,MAAM,gBAAgB,CAAC;AAErE,MAAM,UAAU,4BAA4B,CAC1C,6BAA+C,EAC/C,kBAAyC;;IAEzC,IAAI,oBAAoB,GAA0B,EAAE,CAAC;IACrD,IAAI,eAAe,GAIb,EAAE,CAAC;IAET,MAAM,yBAAyB,GAAG,MAAM,CAAC,OAAO,CAC9C,6BAA6B,CAC9B,CAAC;IAEF,IAAI,yBAAyB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,yBAAyB,EAAE,CAAC;QAC9D,MAAM,aAAa,GAAG,mCAAmC,CACvD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAC/D,2BAA2B,CAAC,YAAY,CAAC,CAC1C,EACD,YAAY,CAAC,MAAM,CACpB,CAAC;QACF,eAAe,CAAC,IAAI,CAAC;YACnB,KAAK;YACL,aAAa;YACb,iBAAiB,EAAE,YAAY,CAAC,iBAAiB;SAClD,CAAC,CAAC;IACL,CAAC;IAED,6BAA6B;IAC7B,KAAK,MAAM,YAAY,IAAI,kBAAkB,EAAE,CAAC;QAC9C,IAAI,qBAAqB,GAAqC,EAAE,CAAC;QACjE,uCAAuC;QACvC,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;YACxC,IAAI,QAAQ,GAAG,CAAC,CAAC;YACjB,IAAI,QAAQ,GAAG,CAAC,CAAC;YACjB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC;gBAChE,KAAK,MAAM,YAAY,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;oBACnD,MAAM,WAAW,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;oBAC7C,MAAM,aAAa,GAAG,MAAA,YAAY,CAAC,YAAY,CAAC,mCAAI,EAAE,CAAC;oBACvD,QAAQ,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAC1C,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,CACnC;wBACC,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,CAAC,CAAC;oBACN,QAAQ,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAC3C,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,CACnC;wBACC,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,CAAC,CAAC;gBACR,CAAC;YACH,CAAC;YACD,IAAI,QAAQ,KAAK,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,IAAI,QAAQ,KAAK,QAAQ,CAAC,EAAE,CAAC;gBAC9D,6CAA6C;gBAC7C,SAAS;YACX,CAAC;YACD,KAAK,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;gBACvE,IAAI,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACpC,qBAAqB,CAAC,IAAI,CAAC;wBACzB,YAAY,EAAE,YAAY;wBAC1B,WAAW,EAAE,KAAK;wBAClB,MAAM,EAAE,WAAW;qBACpB,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBACD,MAAM,YAAY,GAAG,CACnB,MAAA,SAAS,CAAC,iBAAiB,CAAC,YAAY,CAAC,mCAAI,EAAE,CAChD,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CACxC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,CACzC,CAAC;gBACF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC5B,qBAAqB,CAAC,IAAI,CAAC;wBACzB,YAAY,EAAE,YAAY;wBAC1B,WAAW,EAAE,IAAI;wBACjB,MAAM,EAAE,YAAY;qBACrB,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC/B,qBAAqB,CAAC,IAAI,CAAC;wBACzB,YAAY,EAAE,YAAY;wBAC1B,WAAW,EAAE,KAAK;wBAClB,MAAM,EAAE,eAAe;qBACxB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,IAAI,eAAe,GAAwB,EAAE,CAAC;QAC9C,MAAM,YAAY,GAChB,EAAE,CAAC;QAEL,KAAK,MAAM,KAAK,IAAI,qBAAqB,EAAE,CAAC;YAC1C,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;gBACtC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC;YACxC,CAAC;YACD,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC;QAED,KAAK,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;YACnE,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YAC9D,MAAM,mBAAmB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YAElE,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,6CAA6C;gBAC7C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CACtD,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CACtD,CAAC;gBACF,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC/B,eAAe,CAAC,YAAY,GAAG,QAAQ,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;gBAC7D,CAAC;YACH,CAAC;YACD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,8CAA8C;gBAC9C,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CACzD,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CACtD,CAAC;gBACF,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC/B,eAAe,CAAC,YAAY,GAAG,SAAS,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;gBAC9D,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,oBAAoB,CAAC,IAAI,CAAC,EAAE,GAAG,eAAe,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,OAAO,oBAAoB,CAAC;AAC9B,CAAC"}

package/dist/lib/simulation/binding-utils/helpers.js

@@ -0,0 +1,141 @@
+/**
+ * Compares two Token objects for equality.
+ *
+ * A Token is defined as a record where each key is a dataClassKey and the value is a token value.
+ * The function checks if both tokens have the same set of keys and that each corresponding value is equal.
+ *
+ * @param tokenA - The first Token object to compare.
+ * @param tokenB - The second Token object to compare.
+ * @returns `true` if both tokens have identical keys and values; otherwise, `false`.
+ */
+export function tokensEqual(tokenA, tokenB) {
+    // Assuming the new Token implementation is: type Token = Record<string, string>
+    // where the key is a dataClassKey and the value is the token value.
+    const tokenAKeys = Object.keys(tokenA);
+    const tokenBKeys = Object.keys(tokenB);
+    return tokenAKeys.length !== tokenBKeys.length
+        ? false
+        : tokenAKeys.every((key) => tokenB.hasOwnProperty(key) && tokenA[key] === tokenB[key]);
+}
+/**
+ * Determines whether two tokens overlap based on a set of specified data class keys.
+ *
+ * This function checks if, for every key in `dataClassKeys`, both `tokenA` and `tokenB` have the key,
+ * and the values for that key are strictly equal in both tokens. If any key is missing or the values differ,
+ * the function returns `false`. Otherwise, it returns `true`.
+ *
+ * @param tokenA - The first token object to compare.
+ * @param tokenB - The second token object to compare.
+ * @param dataClassKeys - An array of string keys to check for overlap between the two tokens.
+ * @returns `true` if all specified keys exist in both tokens and their values are equal; otherwise, `false`.
+ */
+export function tokensOverlap(tokenA, tokenB, dataClassKeys) {
+    for (const key of dataClassKeys) {
+        if (!(key in tokenA) || !(key in tokenB) || tokenA[key] !== tokenB[key]) {
+            return false;
+        }
+    }
+    return true;
+}
+/**
+ * Generates a unique key for a data class based on its identifier, alias, and variable status.
+ *
+ * @param id - The unique identifier for the data class.
+ * @param alias - The alias or alternative name for the data class.
+ * @param isVariable - Indicates whether the data class represents a variable.
+ * @returns A string key in the format `${id}:${alias}:${isVariable}`.
+ */
+export function getDataClassKey(id, alias, isVariable) {
+    return `${id}:${alias}:${isVariable}`;
+}
+/**
+ * Extracts the base data class identifier without variable flag.
+ * @param dataClassKey - Full key like "DataClass_2:I:false" or "DataClass_2:I:true"
+ * @returns Base key like "DataClass_2:I"
+ */
+export function getBaseDataClassKey(dataClassKey) {
+    // Remove the last part (":true" or ":false")
+    const parts = dataClassKey.split(":");
+    if (parts.length >= 2) {
+        return parts.slice(0, -1).join(":");
+    }
+    return dataClassKey;
+}
+/**
+ * Generates a unique string key representing a combination of data classes.
+ *
+ * The key is constructed by iterating over the entries of the provided `dataClassInfoDict`,
+ * sorting them by their keys, and concatenating each entry's `dataClassId`, `alias`, and
+ * `isVariable` property, separated by colons. Each entry is delimited by a double colon (`::`).
+ * The trailing delimiter is removed from the final key.
+ *
+ * @param dataClassInfoDict - An object mapping data class IDs to their corresponding `DataClassInfo`.
+ * @returns A string key uniquely identifying the combination of data classes and their properties.
+ */
+export function createDataClassCombinationKeyFromDict(dataClassInfoDict) {
+    let key = "";
+    for (const dataClassKey of Object.keys(dataClassInfoDict).sort()) {
+        key += dataClassKey + "::";
+    }
+    return key.endsWith("::") ? key.slice(0, -2) : key;
+}
+/**
+ * Generates a unique string key representing a combination of data classes.
+ *
+ * The key is constructed by iterating over the entries of the provided `dataClassInfoDict`,
+ * sorting them by their keys, and concatenating each entry's `dataClassId`, `alias`, and
+ * `isVariable` property, separated by colons. Each entry is delimited by a double colon (`::`).
+ * The trailing delimiter is removed from the final key.
+ *
+ * @param dataClassInfoDict - An object mapping data class IDs to their corresponding `DataClassInfo`.
+ * @returns A string key uniquely identifying the combination of data classes and their properties.
+ */
+export function createDataClassCombinationKeyFromLink(link) {
+    let key = "";
+    for (const linkElement of [...link].sort((a, b) => a.id.localeCompare(b.id))) {
+        key +=
+            getDataClassKey(linkElement.id, linkElement.alias, linkElement.isVariable) + "::";
+    }
+    return key.endsWith("::") ? key.slice(0, -2) : key;
+}
+/**
+ * Extracts a `DataClass` object from a string key.
+ *
+ * The key is expected to be a colon-separated string in the format `"id:alias:isVariableStr"`.
+ * Only the `id` and `alias` parts are used to construct the returned object.
+ *
+ * @param dataClassKey - The colon-separated string representing the data class.
+ * @returns An object containing the `id` and `alias` extracted from the key.
+ */
+export function getDataClassFromKey(dataClassKey) {
+    const [id, alias] = dataClassKey.split(":");
+    return { id, alias };
+}
+export function getLinkPartFromDataClassKey(dataClassKey) {
+    const [id, alias, isVariableStr] = dataClassKey.split(":");
+    return { id: id, alias: alias, isVariable: isVariableStr === "true" };
+}
+/**
+ * Returns the set of all incoming dataClassKeys excluding inhibitor arcs.
+ *
+ * @param arcPlaceInfoDict - A dictionary mapping arc-place identifiers to their corresponding information, including tokens and inhibitor status.
+ * @returns A complete set of dataClassKeys.
+ */
+export function getAllDataClassKeysFromArcs(arcPlaceInfoDict) {
+    return new Set(Object.values(arcPlaceInfoDict).flatMap((arcPlaceInfo) => Object.keys(arcPlaceInfo.dataClassInfoDict)));
+}
+/**
+ * Flattens a binding from { dataClassKey: [values] } to [{ dataClassKey: value }]
+ * @param {BindingPerDataClass} binding - Binding with array values per data class
+ * @returns {Array} Array of single key-value objects for execution
+ */
+export function flattenBinding(binding) {
+    const flattened = [];
+    for (const [dataClassKey, values] of Object.entries(binding)) {
+        values.forEach((value) => {
+            flattened.push({ [dataClassKey]: value });
+        });
+    }
+    return flattened;
+}
+//# sourceMappingURL=helpers.js.map

package/dist/lib/simulation/binding-utils/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../../lib/simulation/binding-utils/helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,MAAa,EAAE,MAAa;IACtD,gFAAgF;IAChF,oEAAoE;IAEpE,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEvC,OAAO,UAAU,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;QAC5C,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,UAAU,CAAC,KAAK,CACd,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,CACnE,CAAC;AACR,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAa,EACb,MAAa,EACb,aAAuB;IAEvB,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YACxE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,EAAU,EACV,KAAa,EACb,UAAmB;IAEnB,OAAO,GAAG,EAAE,IAAI,KAAK,IAAI,UAAU,EAAE,CAAC;AACxC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,YAAoB;IACtD,6CAA6C;IAC7C,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qCAAqC,CAAC,iBAErD;IACC,IAAI,GAAG,GAAW,EAAE,CAAC;IACrB,KAAK,MAAM,YAAY,IAAI,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACjE,GAAG,IAAI,YAAY,GAAG,IAAI,CAAC;IAC7B,CAAC;IACD,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AACrD,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qCAAqC,CAAC,IAAU;IAC9D,IAAI,GAAG,GAAW,EAAE,CAAC;IACrB,KAAK,MAAM,WAAW,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAChD,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CACzB,EAAE,CAAC;QACF,GAAG;YACD,eAAe,CACb,WAAW,CAAC,EAAE,EACd,WAAW,CAAC,KAAK,EACjB,WAAW,CAAC,UAAU,CACvB,GAAG,IAAI,CAAC;IACb,CAAC;IACD,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AACrD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,YAAoB;IACtD,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,YAAoB;IAK9D,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,aAAa,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3D,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,aAAa,KAAK,MAAM,EAAE,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CACzC,gBAAkC;IAElC,OAAO,IAAI,GAAG,CACZ,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,EAAE,CACvD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAC5C,CACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,OAA4B;IAE5B,MAAM,SAAS,GAAyC,EAAE,CAAC;IAC3D,KAAK,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YACvB,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/lib/simulation/binding-utils/inhibitorLogic.js

@@ -0,0 +1,166 @@
+import { has } from "min-dash";
+import { getAllDataClassKeysFromArcs, getBaseDataClassKey } from "./helpers";
+/**
+ * Filters and returns only the non-inhibitor arcs from the provided arc-place information dictionary.
+ *
+ * @param arcPlaceInfoDict - A dictionary mapping arc-place identifiers to their corresponding information, including tokens and inhibitor status.
+ * @returns A new dictionary containing only the entries where `isInhibitorArc` is `false`.
+ */
+export function getNonInhibitorArcs(arcPlaceInfoDict) {
+    return Object.fromEntries(Object.entries(arcPlaceInfoDict).filter(([_, arcPlaceInfo]) => !arcPlaceInfo.isInhibitorArc));
+}
+/**
+ * Filters and returns only the inhibitor arcs from the provided arc-place information dictionary.
+ *
+ * @param arcPlaceInfoDict - A dictionary mapping arc-place identifiers to their corresponding information, including tokens and inhibitor status.
+ * @returns A new dictionary containing only the entries where `isInhibitorArc` is `true`.
+ */
+function getInhibitorArcs(arcPlaceInfoDict) {
+    return Object.fromEntries(Object.entries(arcPlaceInfoDict).filter(([_, arcPlaceInfo]) => arcPlaceInfo.isInhibitorArc));
+}
+/**
+ * Checks if an inhibitor arc ...
+ * 1. has tokens
+ * 2. is not linking
+ * 3. only has data classes that exist in the incoming arcs
+ *
+ * @param arcPlaceInfo - The arc-place information to check.
+ * @param incomingDataClassKeys - Set of all data class keys from incoming arcs (excluding inhibitor arcs).
+ * @returns `true` if all data classes from the arc exist in incoming arcs; otherwise, `false`.
+ */
+function isRelevant(arcPlaceInfo, incomingDataClassKeys) {
+    if (Object.keys(arcPlaceInfo.dataClassInfoDict).length === 0) {
+        return false;
+    }
+    const incomingBaseDataClassKeys = new Set(Array.from(incomingDataClassKeys).map(getBaseDataClassKey));
+    return Object.keys(arcPlaceInfo.dataClassInfoDict).every((dataClassKey) => {
+        const baseKey = getBaseDataClassKey(dataClassKey);
+        return incomingBaseDataClassKeys.has(baseKey);
+    });
+}
+/**
+ * Generates an array of `BindingPerDataClass` objects representing inhibitor tokens
+ * from the provided inhibitor arcs information.
+ *
+ * For each token in each arc, creates a binding object where each key is the base data class key
+ * (obtained via `getBaseDataClassKey`) suffixed with `:true` and `:false`, both mapped to the token's value in an array.
+ * Each binding is then added to the result array.
+ *
+ * @param relevantInhibitorArcs - A dictionary mapping arc identifiers to their corresponding place information,
+ *                                which includes tokens to be processed as inhibitor tokens.
+ * @returns An array of `BindingPerDataClass` objects, each representing the inhibitor token bindings
+ *          for the given arcs.
+ */
+function getInhibitorTokens(relevantInhibitorArcs) {
+    const inhibitorTokens = [];
+    for (const arcPlaceInfo of Object.values(relevantInhibitorArcs)) {
+        for (const token of arcPlaceInfo.tokens) {
+            const binding = {};
+            for (const [dataClassKey, value] of Object.entries(token)) {
+                binding[getBaseDataClassKey(dataClassKey)] = [value];
+            }
+            inhibitorTokens.push(binding);
+        }
+    }
+    return inhibitorTokens;
+}
+/**
+ * Filters bindings by removing or modifying them based on inhibitor tokens.
+ *
+ * For each inhibitor token, this function:
+ * 1. Checks if all inhibitor token values exist in a binding's data
+ * 2. If they match, removes the inhibitor token values from that binding
+ * 3. Removes the entire binding if any key becomes empty after filtering
+ * 4. Keeps bindings that don't match the inhibitor token criteria
+ *
+ * @param bindings - The array of bindings to filter
+ * @param inhibitorTokens - The array of inhibitor tokens used to filter the bindings
+ * @returns A new array of filtered bindings with inhibitor token values removed
+ */
+function getFilteredBindings(bindings, inhibitorTokens) {
+    let filteredBindings = [...bindings];
+    let processedInhibitorToken = {};
+    for (const inhibitorToken of inhibitorTokens) {
+        let newBindings = [];
+        for (const binding of filteredBindings) {
+            let allMatch = true;
+            for (const key of Object.keys(inhibitorToken)) {
+                const bindingValues = (binding[key + ":false"] || []).concat(binding[key + ":true"] || []);
+                if (!inhibitorToken[key].every((v) => bindingValues.includes(v))) {
+                    allMatch = false;
+                    break;
+                }
+            }
+            if (!allMatch) {
+                newBindings.push(binding);
+                continue;
+            }
+            for (const key of Object.keys(inhibitorToken)) {
+                if (!has(processedInhibitorToken, key)) {
+                    processedInhibitorToken[key] = [];
+                }
+                if (processedInhibitorToken[key].includes(inhibitorToken[key][0])) {
+                    continue;
+                }
+                let inhibitoredBinding = { ...binding };
+                let hasEmpty = false;
+                for (const isVariable of [true, false]) {
+                    if (inhibitoredBinding[key + `:${isVariable}`]) {
+                        inhibitoredBinding[key + `:${isVariable}`] = inhibitoredBinding[key + `:${isVariable}`].filter((v) => !inhibitorToken[key].includes(v));
+                    }
+                    if (inhibitoredBinding[key + `:${isVariable}`] &&
+                        inhibitoredBinding[key + `:${isVariable}`].length === 0) {
+                        hasEmpty = true;
+                        break;
+                    }
+                }
+                if (!hasEmpty) {
+                    newBindings.push(inhibitoredBinding);
+                }
+                processedInhibitorToken[key].push(...inhibitorToken[key]);
+            }
+        }
+        filteredBindings = newBindings;
+    }
+    return filteredBindings;
+}
+/**
+ * Filters bindings by removing those that contain inhibitor arc tokens.
+ *
+ * @param bindings - The bindings to filter, organized by data class
+ * @param arcPlaceInfoDict - Dictionary containing information about all arcs and places
+ * @returns A new array of bindings with entries removed if they contain any inhibitor arc tokens
+ *
+ * @description
+ * This function performs the following steps:
+ * 1. Identifies all inhibitor arcs from the arc place info dictionary
+ * 2. Collects all incoming data class keys from non-inhibitor arcs
+ * 3. Filters inhibitor arcs to only those that are relevant (have tokens and matching data classes)
+ * 4. Returns the original bindings early if no relevant inhibitor arcs exist
+ * 5. Extracts inhibitor tokens from the relevant inhibitor arcs
+ * 6. Removes bindings that contain any of the inhibitor tokens
+ *
+ * @remarks
+ * Inhibitor arcs are special arcs in Petri nets that prevent a transition from firing if tokens
+ * are present in the associated places. This function filters out bindings that would violate
+ * such inhibition conditions.
+ */
+export function filterBindingsByInhibitors(bindings, arcPlaceInfoDict) {
+    const inhibitorArcs = getInhibitorArcs(arcPlaceInfoDict);
+    // Get all incoming data classes (excluding inhibitor arcs)
+    const incomingDataClassKeys = getAllDataClassKeysFromArcs(getNonInhibitorArcs(arcPlaceInfoDict));
+    // Filter inhibitor arcs to only those relevant
+    // (having tokens and data classes in incoming arcs)
+    const relevantInhibitorArcs = Object.fromEntries(Object.entries(inhibitorArcs).filter(([_, arcPlaceInfo]) => isRelevant(arcPlaceInfo, incomingDataClassKeys)));
+    // Early return: if no relevant inhibitor arcs exist, return original bindings
+    if (Object.keys(relevantInhibitorArcs).length === 0) {
+        return bindings;
+    }
+    // Get inhibitor tokens as bindings
+    const inhibitorTokens = getInhibitorTokens(relevantInhibitorArcs);
+    // Filter out tokenvalues that are part of inhibitor tokens
+    // If any array becomes empty, the binding is removed
+    const filteredBindings = getFilteredBindings(bindings, inhibitorTokens);
+    return filteredBindings;
+}
+//# sourceMappingURL=inhibitorLogic.js.map

package/dist/lib/simulation/binding-utils/inhibitorLogic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inhibitorLogic.js","sourceRoot":"","sources":["../../../../lib/simulation/binding-utils/inhibitorLogic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EAAE,2BAA2B,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAE7E;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,gBAAkC;IAElC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,MAAM,CACrC,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,cAAc,CACpD,CACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CACvB,gBAAkC;IAElC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,MAAM,CACrC,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,cAAc,CACnD,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,UAAU,CACjB,YAA0B,EAC1B,qBAAkC;IAElC,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,yBAAyB,GAAG,IAAI,GAAG,CACvC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAC3D,CAAC;IAEF,OAAO,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,EAAE;QACxE,MAAM,OAAO,GAAG,mBAAmB,CAAC,YAAY,CAAC,CAAC;QAClD,OAAO,yBAAyB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,kBAAkB,CACzB,qBAAuC;IAEvC,MAAM,eAAe,GAA0B,EAAE,CAAC;IAElD,KAAK,MAAM,YAAY,IAAI,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,EAAE,CAAC;QAChE,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;YACxC,MAAM,OAAO,GAAwB,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1D,OAAO,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvD,CAAC;YACD,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,OAAO,eAAe,CAAC;AACzB,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,mBAAmB,CAC1B,QAA+B,EAC/B,eAAsC;IAEtC,IAAI,gBAAgB,GAA0B,CAAC,GAAG,QAAQ,CAAC,CAAC;IAC5D,IAAI,uBAAuB,GAA0C,EAAE,CAAC;IAExE,KAAK,MAAM,cAAc,IAAI,eAAe,EAAE,CAAC;QAC7C,IAAI,WAAW,GAA0B,EAAE,CAAC;QAC5C,KAAK,MAAM,OAAO,IAAI,gBAAgB,EAAE,CAAC;YACvC,IAAI,QAAQ,GAAG,IAAI,CAAC;YACpB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC9C,MAAM,aAAa,GAAG,CAAC,OAAO,CAAC,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAC1D,OAAO,CAAC,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,CAC7B,CAAC;gBACF,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjE,QAAQ,GAAG,KAAK,CAAC;oBACjB,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC1B,SAAS;YACX,CAAC;YAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC9C,IAAI,CAAC,GAAG,CAAC,uBAAuB,EAAE,GAAG,CAAC,EAAE,CAAC;oBACvC,uBAAuB,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;gBACpC,CAAC;gBACD,IAAI,uBAAuB,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAClE,SAAS;gBACX,CAAC;gBACD,IAAI,kBAAkB,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;gBACxC,IAAI,QAAQ,GAAG,KAAK,CAAC;gBACrB,KAAK,MAAM,UAAU,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;oBACvC,IAAI,kBAAkB,CAAC,GAAG,GAAG,IAAI,UAAU,EAAE,CAAC,EAAE,CAAC;wBAC/C,kBAAkB,CAAC,GAAG,GAAG,IAAI,UAAU,EAAE,CAAC,GAAG,kBAAkB,CAC7D,GAAG,GAAG,IAAI,UAAU,EAAE,CACvB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBACpD,CAAC;oBACD,IACE,kBAAkB,CAAC,GAAG,GAAG,IAAI,UAAU,EAAE,CAAC;wBAC1C,kBAAkB,CAAC,GAAG,GAAG,IAAI,UAAU,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EACvD,CAAC;wBACD,QAAQ,GAAG,IAAI,CAAC;wBAChB,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;gBACvC,CAAC;gBACD,uBAAuB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QACD,gBAAgB,GAAG,WAAW,CAAC;IACjC,CAAC;IAED,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,0BAA0B,CACxC,QAA+B,EAC/B,gBAAkC;IAElC,MAAM,aAAa,GAAG,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;IAEzD,2DAA2D;IAC3D,MAAM,qBAAqB,GAAG,2BAA2B,CACvD,mBAAmB,CAAC,gBAAgB,CAAC,CACtC,CAAC;IAEF,+CAA+C;IAC/C,oDAAoD;IACpD,MAAM,qBAAqB,GAAG,MAAM,CAAC,WAAW,CAC9C,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,EAAE,EAAE,CACzD,UAAU,CAAC,YAAY,EAAE,qBAAqB,CAAC,CAChD,CACF,CAAC;IAEF,8EAA8E;IAC9E,IAAI,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,mCAAmC;IACnC,MAAM,eAAe,GAAG,kBAAkB,CAAC,qBAAqB,CAAC,CAAC;IAElE,2DAA2D;IAC3D,qDAAqD;IACrD,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IAExE,OAAO,gBAAgB,CAAC;AAC1B,CAAC"}