@tuprolog/arg2p-ui 0.0.0-stage → 0.1.0

package/dist/formats/declarations.js

@@ -0,0 +1,193 @@
+const NAME = '([a-z][a-zA-Z0-9_]*)';
+const ARGUMENT_FACT = new RegExp(`^${NAME}$`);
+const ARGUMENT_ARG = new RegExp(`^arg\\s*\\(\\s*${NAME}\\s*\\)$`);
+const ATTACK_ARROW = new RegExp(`^${NAME}\\s*->\\s*${NAME}$`);
+const ATTACK_ATT = new RegExp(`^att\\s*\\(\\s*${NAME}\\s*,\\s*${NAME}\\s*\\)$`);
+const MUTUAL = new RegExp(`^${NAME}\\s*<->\\s*${NAME}$`);
+/** The framework [theory] declares: its arguments in the order they are met, with those its attacks name */
+export function declaredFramework(theory) {
+    const args = [];
+    const attacks = [];
+    const argument = (name) => {
+        if (!args.includes(name))
+            args.push(name);
+    };
+    const attack = (from, to) => {
+        argument(from);
+        argument(to);
+        if (!attacks.some(it => it.from === from && it.to === to))
+            attacks.push({ from, to });
+    };
+    declarations(theory).forEach(({ declaration }) => {
+        if (declaration.kind === 'argument')
+            argument(declaration.name);
+        else if (declaration.kind === 'attack')
+            attack(declaration.from, declaration.to);
+        else {
+            attack(declaration.a, declaration.b);
+            attack(declaration.b, declaration.a);
+        }
+    });
+    return { arguments: args, attacks };
+}
+/**
+ * [theory] declaring [framework] instead of what it declares: the declarations no longer drawn removed (half a mutual
+ * attack left as a plain one), the new ones added after the last declaration, one per line. [renamed] are arguments
+ * renamed in the drawing, renamed where they are declared.
+ */
+export function redrawn(theory, framework, renamed = new Map()) {
+    const name = (it) => renamed.get(it) ?? it;
+    const wantedArguments = new Set(framework.arguments);
+    const wantedAttacks = new Set(framework.attacks.map(it => key(it.from, it.to)));
+    const declaredArguments = new Set();
+    const declaredAttacks = new Set();
+    const edits = [];
+    let after = -1;
+    declarations(theory).forEach(({ clause, declaration }) => {
+        after = clause.end;
+        let text;
+        if (declaration.kind === 'argument') {
+            const argument = name(declaration.name);
+            text = wantedArguments.has(argument) && !declaredArguments.has(argument) ? argumentText(argument, declaration.form) : null;
+            if (text !== null)
+                declaredArguments.add(argument);
+        }
+        else if (declaration.kind === 'attack') {
+            const [from, to] = [name(declaration.from), name(declaration.to)];
+            text = wantedAttacks.has(key(from, to)) && !declaredAttacks.has(key(from, to)) ? attackText(from, to, declaration.form) : null;
+            if (text !== null)
+                declaredAttacks.add(key(from, to));
+        }
+        else {
+            const [a, b] = [name(declaration.a), name(declaration.b)];
+            const ab = wantedAttacks.has(key(a, b)) && !declaredAttacks.has(key(a, b));
+            const ba = wantedAttacks.has(key(b, a)) && !declaredAttacks.has(key(b, a));
+            text = ab && ba ? `${a} <-> ${b}` : ab ? attackText(a, b, 'arrow') : ba ? attackText(b, a, 'arrow') : null;
+            if (ab)
+                declaredAttacks.add(key(a, b));
+            if (ba)
+                declaredAttacks.add(key(b, a));
+        }
+        if (text === null)
+            edits.push(removal(theory, clause));
+        else if (`${text}.` !== clause.text)
+            edits.push({ start: clause.start, end: clause.end, text: `${text}.` });
+    });
+    // an attack declares the arguments it names
+    framework.attacks.filter(it => declaredAttacks.has(key(it.from, it.to))).forEach(it => declaredArguments.add(it.from).add(it.to));
+    const added = [
+        ...framework.arguments.filter(it => !declaredArguments.has(it)).map(it => `${it}.`),
+        ...framework.attacks.filter(it => !declaredAttacks.has(key(it.from, it.to))).map(it => `${it.from} -> ${it.to}.`),
+    ];
+    if (added.length > 0) {
+        if (after >= 0)
+            edits.push({ start: after, end: after, text: added.map(it => `\n${it}`).join('') });
+        else {
+            // a theory with no declaration yet: they go at its end, under the profile when it is a new theory
+            const blank = theory.trim() === '';
+            const head = blank ? 'graphBuildMode(abstract).\n\n' : theory.endsWith('\n') ? '' : '\n';
+            edits.push({ start: theory.length, end: theory.length, text: `${head}${added.join('\n')}\n` });
+        }
+    }
+    return edits
+        .sort((a, b) => b.start - a.start)
+        .reduce((text, edit) => text.slice(0, edit.start) + edit.text + text.slice(edit.end), theory);
+}
+function key(from, to) {
+    return `${from}->${to}`;
+}
+function argumentText(name, form) {
+    return form === 'arg' ? `arg(${name})` : name;
+}
+function attackText(from, to, form) {
+    return form === 'att' ? `att(${from}, ${to})` : `${from} -> ${to}`;
+}
+// A clause taken out, with its line when nothing else is on it
+function removal(theory, clause) {
+    const lineStart = theory.lastIndexOf('\n', clause.start - 1) + 1;
+    const newline = theory.indexOf('\n', clause.end);
+    const lineEnd = newline === -1 ? theory.length : newline;
+    const alone = theory.slice(lineStart, clause.start).trim() === '' && theory.slice(clause.end, lineEnd).trim() === '';
+    if (!alone)
+        return { start: clause.start, end: clause.end, text: '' };
+    return { start: lineStart, end: newline === -1 ? lineEnd : lineEnd + 1, text: '' };
+}
+function declarations(theory) {
+    return clausesOf(theory).flatMap(clause => {
+        const declaration = declarationOf(clause.text.slice(0, -1).trim());
+        return declaration === null ? [] : [{ clause, declaration }];
+    });
+}
+function declarationOf(text) {
+    let match;
+    if ((match = ARGUMENT_FACT.exec(text)))
+        return { kind: 'argument', name: match[1], form: 'fact' };
+    if ((match = ARGUMENT_ARG.exec(text)))
+        return { kind: 'argument', name: match[1], form: 'arg' };
+    if ((match = ATTACK_ARROW.exec(text)))
+        return { kind: 'attack', from: match[1], to: match[2], form: 'arrow' };
+    if ((match = ATTACK_ATT.exec(text)))
+        return { kind: 'attack', from: match[1], to: match[2], form: 'att' };
+    if ((match = MUTUAL.exec(text)))
+        return { kind: 'mutual', a: match[1], b: match[2] };
+    return null;
+}
+// The clauses of a Prolog text: up to a full stop followed by a blank (or the end), outside comments and quotes. A
+// clause starts at its first character that is not blank nor comment; comments inside it are left in its text, so it
+// does not match a declaration and is kept as written.
+function clausesOf(theory) {
+    const clauses = [];
+    let start = -1;
+    let i = 0;
+    while (i < theory.length) {
+        const char = theory[i];
+        if (char === '%') {
+            const end = theory.indexOf('\n', i);
+            i = end === -1 ? theory.length : end;
+            continue;
+        }
+        if (char === '/' && theory[i + 1] === '*') {
+            const end = theory.indexOf('*/', i + 2);
+            i = end === -1 ? theory.length : end + 2;
+            continue;
+        }
+        if (/\s/.test(char)) {
+            i++;
+            continue;
+        }
+        if (start === -1)
+            start = i;
+        if (char === "'" || char === '"' || char === '`') {
+            i = closing(theory, i);
+            continue;
+        }
+        if (char === '0' && theory[i + 1] === "'") {
+            // a character code, 0'c
+            i += 3;
+            continue;
+        }
+        if (char === '.' && (i + 1 === theory.length || /[\s%]/.test(theory[i + 1])) && !/[#$&*+\-./:<=>?@^~\\]/.test(theory[i - 1] ?? '')) {
+            clauses.push({ start, end: i + 1, text: theory.slice(start, i + 1) });
+            start = -1;
+        }
+        i++;
+    }
+    return clauses;
+}
+// Past the quote closing the one at [at] (a doubled quote stands for itself)
+function closing(text, at) {
+    const quote = text[at];
+    let i = at + 1;
+    while (i < text.length) {
+        if (text[i] === '\\')
+            i += 2;
+        else if (text[i] === quote && text[i + 1] === quote)
+            i += 2;
+        else if (text[i] === quote)
+            return i + 1;
+        else
+            i++;
+    }
+    return text.length;
+}
+//# sourceMappingURL=declarations.js.map

package/dist/formats/declarations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarations.js","sourceRoot":"","sources":["../../src/formats/declarations.ts"],"names":[],"mappings":"AAkBA,MAAM,IAAI,GAAG,sBAAsB,CAAC;AACpC,MAAM,aAAa,GAAG,IAAI,MAAM,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;AAC9C,MAAM,YAAY,GAAG,IAAI,MAAM,CAAC,kBAAkB,IAAI,UAAU,CAAC,CAAC;AAClE,MAAM,YAAY,GAAG,IAAI,MAAM,CAAC,IAAI,IAAI,aAAa,IAAI,GAAG,CAAC,CAAC;AAC9D,MAAM,UAAU,GAAG,IAAI,MAAM,CAAC,kBAAkB,IAAI,YAAY,IAAI,UAAU,CAAC,CAAC;AAChF,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,IAAI,cAAc,IAAI,GAAG,CAAC,CAAC;AAEzD,4GAA4G;AAC5G,MAAM,UAAU,iBAAiB,CAAC,MAAc;IAC5C,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,OAAO,GAAmC,EAAE,CAAC;IACnD,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE;QAC9B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAU,EAAE,EAAE;QACxC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACf,QAAQ,CAAC,EAAE,CAAC,CAAC;QACb,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1F,CAAC,CAAC;IACF,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;QAC7C,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU;YAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;aAC3D,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;aAC5E,CAAC;YACF,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACxC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,MAAc,EAAE,SAAoB,EAAE,OAAO,GAAgC,IAAI,GAAG,EAAE;IAC1G,MAAM,IAAI,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;IACnD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChF,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,KAAK,GAAmD,EAAE,CAAC;IACjE,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IAEf,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE;QACrD,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC;QACnB,IAAI,IAAmB,CAAC;QACxB,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3H,IAAI,IAAI,KAAK,IAAI;gBAAE,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvD,CAAC;aAAM,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;YAClE,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC/H,IAAI,IAAI,KAAK,IAAI;gBAAE,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QAC1D,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1D,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3E,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3E,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3G,IAAI,EAAE;gBAAE,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,EAAE;gBAAE,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,IAAI,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;aAClD,IAAI,GAAG,IAAI,GAAG,KAAK,MAAM,CAAC,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;IAChH,CAAC,CAAC,CAAC;IAEH,4CAA4C;IAC5C,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAClI,MAAM,KAAK,GAAG;QACV,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;QACnF,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC;KACpH,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,IAAI,KAAK,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;aAC/F,CAAC;YACF,kGAAkG;YAClG,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACzF,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACnG,CAAC;IACL,CAAC;IAED,OAAO,KAAK;SACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;SACjC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,GAAG,CAAC,IAAY,EAAE,EAAU;IACjC,OAAO,GAAG,IAAI,KAAK,EAAE,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,IAAoB;IACpD,OAAO,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAClD,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,EAAU,EAAE,IAAqB;IAC/D,OAAO,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,IAAI,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,OAAO,EAAE,EAAE,CAAC;AACvE,CAAC;AAED,+DAA+D;AAC/D,SAAS,OAAO,CAAC,MAAc,EAAE,MAAc;IAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IACzD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;IACrH,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACtE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,YAAY,CAAC,MAAc;IAChC,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;QACtC,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnE,OAAO,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IAC/B,IAAI,KAA6B,CAAC;IAClC,IAAI,CAAC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAClG,IAAI,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAChG,IAAI,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC9G,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC1G,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACrF,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,mHAAmH;AACnH,qHAAqH;AACrH,uDAAuD;AACvD,SAAS,SAAS,CAAC,MAAc;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACpC,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;YACrC,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACxC,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;YACzC,SAAS;QACb,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAClB,CAAC,EAAE,CAAC;YACJ,SAAS;QACb,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,KAAK,GAAG,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YAC/C,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACvB,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACxC,wBAAwB;YACxB,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YACjI,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACtE,KAAK,GAAG,CAAC,CAAC,CAAC;QACf,CAAC;QACD,CAAC,EAAE,CAAC;IACR,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,6EAA6E;AAC7E,SAAS,OAAO,CAAC,IAAY,EAAE,EAAU;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACf,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACrB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,CAAC,IAAI,CAAC,CAAC;aACxB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK;YAAE,CAAC,IAAI,CAAC,CAAC;aACvD,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC;;YACpC,CAAC,EAAE,CAAC;IACb,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC;AACvB,CAAC"}

package/dist/formats/frameworks.d.ts

@@ -0,0 +1,23 @@
+import type { GraphData } from '../engine.js';
+export interface Framework {
+    readonly arguments: readonly string[];
+    readonly attacks: readonly {
+        readonly from: string;
+        readonly to: string;
+    }[];
+}
+/** A framework read, with the names made atoms: `renamed` lists those that changed (`1` -> `a1`) */
+export interface ReadFramework extends Framework {
+    readonly renamed: readonly {
+        readonly from: string;
+        readonly to: string;
+    }[];
+}
+/** The theory of [framework], in the profile abstract */
+export declare function toTheory(framework: Framework): string;
+/** The framework of [graph], an abstract one: its arguments by name */
+export declare function frameworkOf(graph: GraphData): Framework;
+export declare function toApx(framework: Framework): string;
+export declare function toTgf(framework: Framework): string;
+/** A framework in any of the three formats (an Error says where it is not) */
+export declare function parseFramework(text: string): ReadFramework;

package/dist/formats/frameworks.js

@@ -0,0 +1,130 @@
+// Names have to be Prolog atoms: a lowercase letter, then letters, digits or underscores
+const ATOM = /^[a-z][a-zA-Z0-9_]*$/;
+/** The theory of [framework], in the profile abstract */
+export function toTheory(framework) {
+    return [
+        'graphBuildMode(abstract).',
+        '',
+        ...framework.arguments.map(it => `${it}.`),
+        ...framework.attacks.map(it => `${it.from} -> ${it.to}.`),
+    ].join('\n') + '\n';
+}
+/** The framework of [graph], an abstract one: its arguments by name */
+export function frameworkOf(graph) {
+    const names = new Map(graph.arguments.map(it => [it.id, it.conclusion]));
+    return {
+        arguments: graph.arguments.map(it => it.conclusion),
+        attacks: graph.attacks
+            .filter(it => names.has(it.from) && names.has(it.to))
+            .map(it => ({ from: names.get(it.from), to: names.get(it.to) })),
+    };
+}
+export function toApx(framework) {
+    return [...framework.arguments.map(it => `arg(${it}).`), ...framework.attacks.map(it => `att(${it.from},${it.to}).`)].join('\n') + '\n';
+}
+export function toTgf(framework) {
+    return [...framework.arguments, '#', ...framework.attacks.map(it => `${it.from} ${it.to}`)].join('\n') + '\n';
+}
+/** A framework in any of the three formats (an Error says where it is not) */
+export function parseFramework(text) {
+    const lines = text.split(/\r?\n/).map(it => it.replace(/%.*$/, '').trim());
+    const content = lines.filter(it => (it !== '' && !it.startsWith('#')) || it === '#');
+    if (content.some(it => /^(arg|att)\s*\(/.test(it)))
+        return named(parseApx(content));
+    if (content.length > 0 && /^p\s+af\s+\d+$/.test(content[0]))
+        return named(parseIccma23(content));
+    return named(parseTgf(content));
+}
+function parseApx(lines) {
+    const args = [];
+    const attacks = [];
+    lines.forEach((line, index) => {
+        line.split(/(?<=\))\s*\.\s*/)
+            .filter(it => it.trim() !== '')
+            .forEach(fact => {
+            const arg = /^arg\s*\(\s*([^,()]+?)\s*\)\s*\.?$/.exec(fact);
+            const att = /^att\s*\(\s*([^,()]+?)\s*,\s*([^,()]+?)\s*\)\s*\.?$/.exec(fact);
+            if (arg)
+                args.push(arg[1]);
+            else if (att)
+                attacks.push({ from: att[1], to: att[2] });
+            else
+                throw new Error(`Line ${index + 1}: expected arg(a). or att(a,b)., found "${fact}"`);
+        });
+    });
+    return { arguments: args, attacks };
+}
+function parseTgf(lines) {
+    const separator = lines.indexOf('#');
+    if (separator === -1) {
+        throw new Error("Not an APX, TGF or ICCMA'23 framework: a TGF file has a line # between arguments and attacks");
+    }
+    // a node line may carry a label after the id: the id is the name
+    const args = lines.slice(0, separator).map(it => it.split(/\s+/)[0]);
+    const attacks = lines
+        .slice(separator + 1)
+        .filter(it => it !== '#')
+        .map((line, index) => {
+        const parts = line.split(/\s+/);
+        if (parts.length < 2)
+            throw new Error(`Attack ${index + 1}: expected two arguments, found "${line}"`);
+        return { from: parts[0], to: parts[1] };
+    });
+    return { arguments: args, attacks };
+}
+function parseIccma23(lines) {
+    const count = parseInt(lines[0].split(/\s+/)[2]);
+    const args = Array.from({ length: count }, (_, i) => `${i + 1}`);
+    const attacks = lines.slice(1).map((line, index) => {
+        const parts = line.split(/\s+/);
+        if (parts.length !== 2 || parts.some(it => !/^\d+$/.test(it) || +it < 1 || +it > count)) {
+            throw new Error(`Attack ${index + 1}: expected two arguments between 1 and ${count}, found "${line}"`);
+        }
+        return { from: parts[0], to: parts[1] };
+    });
+    return { arguments: args, attacks };
+}
+// Every name made an atom, the same way everywhere it appears, and the arguments only mentioned by attacks added
+function named(framework) {
+    const names = new Map();
+    const used = new Set(framework.arguments.filter(it => ATOM.test(it)));
+    const atom = (raw) => {
+        const known = names.get(raw);
+        if (known !== undefined)
+            return known;
+        let name = ATOM.test(raw) ? raw : candidate(raw);
+        if (name !== raw) {
+            const base = name;
+            for (let n = 2; used.has(name); n++)
+                name = `${base}_${n}`;
+            used.add(name);
+        }
+        names.set(raw, name);
+        return name;
+    };
+    const args = [];
+    const add = (name) => {
+        if (!args.includes(name))
+            args.push(name);
+    };
+    framework.arguments.forEach(it => add(atom(it)));
+    const attacks = [];
+    framework.attacks.forEach(it => {
+        const attack = { from: atom(it.from), to: atom(it.to) };
+        add(attack.from);
+        add(attack.to);
+        if (!attacks.some(a => a.from === attack.from && a.to === attack.to))
+            attacks.push(attack);
+    });
+    const renamed = [...names].filter(([raw, name]) => raw !== name).map(([from, to]) => ({ from, to }));
+    return { arguments: args, attacks, renamed };
+}
+function candidate(raw) {
+    const cleaned = raw.replace(/[^a-zA-Z0-9_]/g, '_');
+    if (/^[a-z]/.test(cleaned))
+        return cleaned;
+    if (/^[A-Z]/.test(cleaned))
+        return cleaned[0].toLowerCase() + cleaned.slice(1);
+    return `a${cleaned}`;
+}
+//# sourceMappingURL=frameworks.js.map

package/dist/formats/frameworks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"frameworks.js","sourceRoot":"","sources":["../../src/formats/frameworks.ts"],"names":[],"mappings":"AAqBA,yFAAyF;AACzF,MAAM,IAAI,GAAG,sBAAsB,CAAC;AAEpC,yDAAyD;AACzD,MAAM,UAAU,QAAQ,CAAC,SAAoB;IACzC,OAAO;QACH,2BAA2B;QAC3B,EAAE;QACF,GAAG,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;QAC1C,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC;KAC5D,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACxB,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,WAAW,CAAC,KAAgB;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACzE,OAAO;QACH,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC;QACnD,OAAO,EAAE,KAAK,CAAC,OAAO;aACjB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;aACpD,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAE,EAAE,CAAC,CAAC;KACzE,CAAC;AACN,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,SAAoB;IACtC,OAAO,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAC5I,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,SAAoB;IACtC,OAAO,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAClH,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,cAAc,CAAC,IAAY;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC;IACrF,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IACpF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IACjG,OAAO,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,QAAQ,CAAC,KAAe;IAC7B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,OAAO,GAAmC,EAAE,CAAC;IACnD,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC1B,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;aACxB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;aAC9B,OAAO,CAAC,IAAI,CAAC,EAAE;YACZ,MAAM,GAAG,GAAG,oCAAoC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5D,MAAM,GAAG,GAAG,qDAAqD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7E,IAAI,GAAG;gBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;iBACtB,IAAI,GAAG;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;;gBACpD,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,GAAG,CAAC,2CAA2C,IAAI,GAAG,CAAC,CAAC;QAC9F,CAAC,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,QAAQ,CAAC,KAAe;IAC7B,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,8FAA8F,CAAC,CAAC;IACpH,CAAC;IACD,iEAAiE;IACjE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,KAAK;SAChB,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;SACpB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,GAAG,CAAC;SACxB,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,GAAG,CAAC,oCAAoC,IAAI,GAAG,CAAC,CAAC;QACtG,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IACP,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,YAAY,CAAC,KAAe;IACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;YACtF,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,GAAG,CAAC,0CAA0C,KAAK,YAAY,IAAI,GAAG,CAAC,CAAC;QAC3G,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACxC,CAAC;AAED,iHAAiH;AACjH,SAAS,KAAK,CAAC,SAAoB;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,CAAC,GAAW,EAAU,EAAE;QACjC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,IAAI,CAAC;YAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;gBAAE,IAAI,GAAG,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC;YAC3D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IAChB,CAAC,CAAC;IACF,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAAE;QACzB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC;IACF,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjD,MAAM,OAAO,GAAmC,EAAE,CAAC;IACnD,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;QAC3B,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACxD,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjB,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACf,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACrG,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,SAAS,CAAC,GAAW;IAC1B,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;IACnD,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IAC3C,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,IAAI,OAAO,EAAE,CAAC;AACzB,CAAC"}

package/dist/graph/canvas.d.ts

@@ -0,0 +1,21 @@
+import { type Core, type StylesheetJson } from 'cytoscape';
+export declare const NODE_FONT: {
+    family: string;
+    size: number;
+};
+/** A Cytoscape instance drawing in [container], or a headless one where nothing can be drawn */
+export declare function drawing(container: HTMLElement, style: StylesheetJson): Core;
+/** [cy] fitted to its area, no closer than FIT_ZOOM */
+export declare function fit(cy: Core): void;
+/** The size of an ellipse that holds [label] (lines split at \n) */
+export declare function nodeSize(label: string): {
+    width: number;
+    height: number;
+};
+/** The whole drawing as a PNG picture, as a data URL, on [background] */
+export declare function png(cy: Core, background: string): string;
+/**
+ * Keeps [cy] the size of [container] (a page may hide it, or lay it out again), fitting the drawing once it is shown
+ * after being hidden. Gives what stops it.
+ */
+export declare function followSize(cy: Core, container: HTMLElement): () => void;

package/dist/graph/canvas.js

@@ -0,0 +1,76 @@
+import cytoscape from 'cytoscape';
+// What the components draw on: a Cytoscape instance in their container. Where nothing can be drawn (no canvas, as in
+// a simulated DOM), it is headless: it keeps the elements, their positions and their events alike, and draws nothing.
+// The font the nodes are written in, and how their size follows from what they say
+export const NODE_FONT = { family: 'arial, sans-serif', size: 14 };
+const LINE_HEIGHT = 20;
+const PADDING_X = 24;
+const PADDING_Y = 14;
+const CHARACTER_WIDTH = 8;
+let measure;
+function canvas() {
+    if (measure === undefined) {
+        try {
+            measure = document.createElement('canvas').getContext('2d');
+        }
+        catch {
+            measure = null;
+        }
+        if (measure)
+            measure.font = `${NODE_FONT.size}px ${NODE_FONT.family}`;
+    }
+    return measure;
+}
+/** A Cytoscape instance drawing in [container], or a headless one where nothing can be drawn */
+export function drawing(container, style) {
+    const headless = canvas() === null;
+    return cytoscape({
+        ...(headless ? { headless: true, styleEnabled: true } : { container }),
+        style,
+        minZoom: 0.1,
+        maxZoom: 4,
+    });
+}
+// A small drawing fitted to its area is not blown up past this zoom
+const FIT_ZOOM = 1.25;
+/** [cy] fitted to its area, no closer than FIT_ZOOM */
+export function fit(cy) {
+    cy.fit(undefined, 30);
+    if (cy.zoom() > FIT_ZOOM) {
+        cy.zoom(FIT_ZOOM);
+        cy.center();
+    }
+}
+/** The size of an ellipse that holds [label] (lines split at \n) */
+export function nodeSize(label) {
+    const lines = label.split('\n');
+    const context = canvas();
+    const text = Math.max(...lines.map(it => context?.measureText(it).width ?? it.length * CHARACTER_WIDTH));
+    const height = lines.length * LINE_HEIGHT + PADDING_Y * 2;
+    return { width: Math.max(height, text + PADDING_X * 2), height };
+}
+/** The whole drawing as a PNG picture, as a data URL, on [background] */
+export function png(cy, background) {
+    if (cy.container() === null)
+        return '';
+    return cy.png({ full: true, bg: background, scale: 2, output: 'base64uri' });
+}
+/**
+ * Keeps [cy] the size of [container] (a page may hide it, or lay it out again), fitting the drawing once it is shown
+ * after being hidden. Gives what stops it.
+ */
+export function followSize(cy, container) {
+    if (typeof ResizeObserver === 'undefined' || cy.container() === null)
+        return () => { };
+    let hidden = container.clientWidth === 0 || container.clientHeight === 0;
+    const observer = new ResizeObserver(() => {
+        const nowHidden = container.clientWidth === 0 || container.clientHeight === 0;
+        cy.resize();
+        if (hidden && !nowHidden && cy.elements().nonempty())
+            fit(cy);
+        hidden = nowHidden;
+    });
+    observer.observe(container);
+    return () => observer.disconnect();
+}
+//# sourceMappingURL=canvas.js.map

package/dist/graph/canvas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canvas.js","sourceRoot":"","sources":["../../src/graph/canvas.ts"],"names":[],"mappings":"AAAA,OAAO,SAA6C,MAAM,WAAW,CAAC;AAEtE,qHAAqH;AACrH,sHAAsH;AAEtH,mFAAmF;AACnF,MAAM,CAAC,MAAM,SAAS,GAAG,EAAE,MAAM,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACnE,MAAM,WAAW,GAAG,EAAE,CAAC;AACvB,MAAM,SAAS,GAAG,EAAE,CAAC;AACrB,MAAM,SAAS,GAAG,EAAE,CAAC;AACrB,MAAM,eAAe,GAAG,CAAC,CAAC;AAE1B,IAAI,OAAoD,CAAC;AAEzD,SAAS,MAAM;IACX,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,CAAC;YACD,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,GAAG,IAAI,CAAC;QACnB,CAAC;QACD,IAAI,OAAO;YAAE,OAAO,CAAC,IAAI,GAAG,GAAG,SAAS,CAAC,IAAI,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC;IAC1E,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,OAAO,CAAC,SAAsB,EAAE,KAAqB;IACjE,MAAM,QAAQ,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC;IACnC,OAAO,SAAS,CAAC;QACb,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;QACtE,KAAK;QACL,OAAO,EAAE,GAAG;QACZ,OAAO,EAAE,CAAC;KACb,CAAC,CAAC;AACP,CAAC;AAED,oEAAoE;AACpE,MAAM,QAAQ,GAAG,IAAI,CAAC;AAEtB,uDAAuD;AACvD,MAAM,UAAU,GAAG,CAAC,EAAQ;IACxB,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACtB,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,QAAQ,EAAE,CAAC;QACvB,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClB,EAAE,CAAC,MAAM,EAAE,CAAC;IAChB,CAAC;AACL,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,QAAQ,CAAC,KAAa;IAClC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC;IACzG,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,WAAW,GAAG,SAAS,GAAG,CAAC,CAAC;IAC1D,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;AACrE,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,GAAG,CAAC,EAAQ,EAAE,UAAkB;IAC5C,IAAI,EAAE,CAAC,SAAS,EAAE,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACvC,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;AACjF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,EAAQ,EAAE,SAAsB;IACvD,IAAI,OAAO,cAAc,KAAK,WAAW,IAAI,EAAE,CAAC,SAAS,EAAE,KAAK,IAAI;QAAE,OAAO,GAAG,EAAE,GAAE,CAAC,CAAC;IACtF,IAAI,MAAM,GAAG,SAAS,CAAC,WAAW,KAAK,CAAC,IAAI,SAAS,CAAC,YAAY,KAAK,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,IAAI,cAAc,CAAC,GAAG,EAAE;QACrC,MAAM,SAAS,GAAG,SAAS,CAAC,WAAW,KAAK,CAAC,IAAI,SAAS,CAAC,YAAY,KAAK,CAAC,CAAC;QAC9E,EAAE,CAAC,MAAM,EAAE,CAAC;QACZ,IAAI,MAAM,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;YAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9D,MAAM,GAAG,SAAS,CAAC;IACvB,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC5B,OAAO,GAAG,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;AACvC,CAAC"}

package/dist/graph/drawing.d.ts

@@ -0,0 +1,24 @@
+import type { ArgumentData, AttackData, GraphData } from '../engine.js';
+/** Whether the arguments of [graph] are those of an abstract framework: named by the theory, with no structure */
+export declare function isAbstract(graph: GraphData): boolean;
+/** The name [argument] is shown by: its identifier (A0, ...), or in an abstract framework the name the theory gives it */
+export declare function nameOf(argument: ArgumentData, abstract: boolean): string;
+/** What the node of [argument] says: its name, and its conclusion under it when [conclusions] are shown */
+export declare function nodeLabel(argument: ArgumentData, abstract: boolean, conclusions: boolean): string;
+/** `caFa(closedReg, damages)` -> ["caFa(closedReg,", "damages)"]: lines broken after commas, the last cut short */
+export declare function wrapTerm(term: string): string[];
+/** The roundness of an attack from [from] to [to]: less for long ones */
+export declare function curveOf(from: {
+    x: number;
+    y: number;
+}, to: {
+    x: number;
+    y: number;
+}): number;
+/** The kind of [argument]: an assumption (ABA), a premise (no top rule), or one built by its top rule */
+export declare function kindOf(argument: ArgumentData, abstract: boolean): 'abstract' | 'assumption' | 'premise' | 'rule';
+/** The attacks [graph] has on and by [id], with the arguments they come from or go to */
+export declare function attacksAround(graph: GraphData, id: string): {
+    by: AttackData[];
+    on: AttackData[];
+};

package/dist/graph/drawing.js

@@ -0,0 +1,64 @@
+// What a graph is drawn from, apart from the canvas that draws it: the names of the arguments, what their nodes say,
+// and how their edges bend.
+// Conclusions on the nodes are wrapped at their commas into lines of about this length, and cut after a few lines:
+// the popup has the full text
+const CONCLUSION_LINE = 18;
+const CONCLUSION_LINES = 3;
+// Attacks are curved, so that mutual attacks do not overlap; long ones are curved less, or they would arc across the
+// whole drawing
+const CURVE = 0.25;
+const CURVE_LENGTH = 160;
+const MIN_CURVE = 0.06;
+/** Whether the arguments of [graph] are those of an abstract framework: named by the theory, with no structure */
+export function isAbstract(graph) {
+    return graph.profile === 'abstract';
+}
+/** The name [argument] is shown by: its identifier (A0, ...), or in an abstract framework the name the theory gives it */
+export function nameOf(argument, abstract) {
+    return abstract ? argument.conclusion : argument.id;
+}
+/** What the node of [argument] says: its name, and its conclusion under it when [conclusions] are shown */
+export function nodeLabel(argument, abstract, conclusions) {
+    const name = nameOf(argument, abstract);
+    // an abstract argument is its conclusion
+    if (abstract || !conclusions)
+        return name;
+    return [name, ...wrapTerm(argument.conclusion)].join('\n');
+}
+/** `caFa(closedReg, damages)` -> ["caFa(closedReg,", "damages)"]: lines broken after commas, the last cut short */
+export function wrapTerm(term) {
+    const lines = [];
+    term.split(/(?<=,) /).forEach(part => {
+        const last = lines.length - 1;
+        if (last >= 0 && `${lines[last]} ${part}`.length <= CONCLUSION_LINE)
+            lines[last] += ` ${part}`;
+        else
+            lines.push(part);
+    });
+    if (lines.length <= CONCLUSION_LINES)
+        return lines;
+    return [...lines.slice(0, CONCLUSION_LINES - 1), `${lines[CONCLUSION_LINES - 1]} …`];
+}
+/** The roundness of an attack from [from] to [to]: less for long ones */
+export function curveOf(from, to) {
+    const length = Math.hypot(to.x - from.x, to.y - from.y);
+    if (length === 0)
+        return CURVE;
+    return Math.max(MIN_CURVE, Math.min(CURVE, (CURVE * CURVE_LENGTH) / length));
+}
+/** The kind of [argument]: an assumption (ABA), a premise (no top rule), or one built by its top rule */
+export function kindOf(argument, abstract) {
+    if (abstract)
+        return 'abstract';
+    if (/ : asm\(/.test(argument.descriptor))
+        return 'assumption';
+    return argument.topRule === 'none' ? 'premise' : 'rule';
+}
+/** The attacks [graph] has on and by [id], with the arguments they come from or go to */
+export function attacksAround(graph, id) {
+    return {
+        by: graph.attacks.filter(it => it.to === id),
+        on: graph.attacks.filter(it => it.from === id),
+    };
+}
+//# sourceMappingURL=drawing.js.map

package/dist/graph/drawing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"drawing.js","sourceRoot":"","sources":["../../src/graph/drawing.ts"],"names":[],"mappings":"AAEA,qHAAqH;AACrH,4BAA4B;AAE5B,mHAAmH;AACnH,8BAA8B;AAC9B,MAAM,eAAe,GAAG,EAAE,CAAC;AAC3B,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAC3B,qHAAqH;AACrH,gBAAgB;AAChB,MAAM,KAAK,GAAG,IAAI,CAAC;AACnB,MAAM,YAAY,GAAG,GAAG,CAAC;AACzB,MAAM,SAAS,GAAG,IAAI,CAAC;AAEvB,kHAAkH;AAClH,MAAM,UAAU,UAAU,CAAC,KAAgB;IACvC,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,CAAC;AACxC,CAAC;AAED,0HAA0H;AAC1H,MAAM,UAAU,MAAM,CAAC,QAAsB,EAAE,QAAiB;IAC5D,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;AACxD,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,SAAS,CAAC,QAAsB,EAAE,QAAiB,EAAE,WAAoB;IACrF,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACxC,yCAAyC;IACzC,IAAI,QAAQ,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC1C,OAAO,CAAC,IAAI,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/D,CAAC;AAED,mHAAmH;AACnH,MAAM,UAAU,QAAQ,CAAC,IAAY;IACjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9B,IAAI,IAAI,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,MAAM,IAAI,eAAe;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;;YAC1F,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,MAAM,IAAI,gBAAgB;QAAE,OAAO,KAAK,CAAC;IACnD,OAAO,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;AACzF,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,OAAO,CAAC,IAA8B,EAAE,EAA4B;IAChF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/B,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,KAAK,GAAG,YAAY,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,MAAM,CAAC,QAAsB,EAAE,QAAiB;IAC5D,IAAI,QAAQ;QAAE,OAAO,UAAU,CAAC;IAChC,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,YAAY,CAAC;IAC9D,OAAO,QAAQ,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;AAC5D,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,aAAa,CAAC,KAAgB,EAAE,EAAU;IACtD,OAAO;QACH,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;QAC5C,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;KACjD,CAAC;AACN,CAAC"}

package/dist/graph/layout.d.ts

@@ -0,0 +1,28 @@
+export interface Link {
+    readonly from: string;
+    readonly to: string;
+}
+export interface Point {
+    x: number;
+    y: number;
+}
+export interface Size {
+    readonly width: number;
+    readonly height: number;
+}
+export interface LayoutOptions {
+    /** The room per node, without [sizes] */
+    spacing?: number;
+    /** The least distance between rows */
+    levelSeparation?: number;
+    attacks?: readonly Link[];
+    /** height / width of the area the drawing is shown in: rows are moved apart for the drawing to fill it */
+    aspect?: number | null;
+    /** Rows with more nodes than this are drawn zig-zag (every other node lower), packing about twice as tight */
+    staggerFrom?: number;
+    /** The sizes of the drawn nodes: neighbours are kept [gap] apart edge to edge, rows make room for tall nodes */
+    sizes?: ReadonlyMap<string, Size> | null;
+    gap?: number;
+}
+/** The position of every argument of [levels] */
+export declare function layeredLayout(levels: ReadonlyMap<string, number>, links: readonly Link[], options?: LayoutOptions): Map<string, Point>;