From 87e925124259da155f75548aa375da5e181ba762 Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Wed, 6 Nov 2019 18:28:01 +0300
Subject: [PATCH] Add RulesDiff.getPreserved() accessor to preserved rules

---
 reactor/Core/src/jetbrains/mps/logic/reactor/core/RulesDiff.kt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/RulesDiff.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/RulesDiff.kt
index 87c58a99..b89a11b1 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/RulesDiff.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/RulesDiff.kt
@@ -32,6 +32,8 @@ class RulesDiff(
 
     fun getPreservedRule(utag: Any): Rule? = preserved[utag]
 
+    fun getPreserved(): Set<Any> = preserved.keys
+
     companion object {
         @JvmStatic
         fun emptyDiff() = RulesDiff(emptyList(), emptyList(), emptySet(), emptySet())