Grammalecte  Diff

Differences From Artifact [35cc08667a]:

To Artifact [1c01c104ea]:


494
495
496
497
498
499
500
501

502
503

504
505
506
507
508
509
510
494
495
496
497
498
499
500

501
502

503
504
505
506
507
508
509
510







-
+

-
+







        // Nodes are equivalent if they have identical arcs, and each identical arc leads to identical states.
        return this.__str__() == other.__str__();
    }

    sortArcs (dValOccur) {
        let lTemp = Array.from(this.arcs.entries());
        lTemp.sort(function (a, b) {
            if (dValOccur.get(a[0], 0) > dValOccur.get(b[0], 0))
            if (dValOccur.get(a[0]) > dValOccur.get(b[0]))
                return -1;
            if (dValOccur.get(a[0], 0) < dValOccur.get(b[0], 0))
            if (dValOccur.get(a[0]) < dValOccur.get(b[0]))
                return 1;
            return 0;
        });
        this.arcs = new Map(lTemp);
    }

    display (nTab, lArcVal, bRecur=false) {