override fun update()

in reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ReteRuleMatcherImpl.kt [357:366]


            override fun update(nodes: UnionFindLinkedList<ReteNode>, introTrail: Trail, introNodes: MutableMap<Int, MutableList<ReteNode>>): Boolean {
                introNodes.remove(occurrence.identity)?.let {
                    for (n in it) {
                        n.invalidate()
                    }
                }
                introTrail.remove(occurrence.identity)
                // [nodes] are cleared from invalidated nodes later lazily
                return false
            }