Refactoring in the reactor API: separating abstract program representation and evaluation session; cleaning up the interfaces.

This commit is contained in:
Fedor Isakov 2015-12-27 14:29:52 +01:00
parent 2f38f70f94
commit 8e59fc5f97
27 changed files with 71299 additions and 72053 deletions

View File

@ -14,8 +14,9 @@
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
<import index="eifs" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:runtime(jetbrains.mps.jchr.runtime/)" />
<import index="45ys" ref="r:7365f7fe-12e6-4229-8901-f6dc6d5df03f(jetbrains.mps.logic.reactor.logical)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="i8dg" ref="r:e8529b97-a186-4c32-8f12-771b2a92b55a(jetbrains.mps.logic.reactor.rule)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@ -660,7 +661,7 @@
<node concept="37vLTG" id="24Vro6cS5SR" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="5uFPQ7C61lQ" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="24Vro6cS5ST" role="3clF46">
@ -681,7 +682,7 @@
<node concept="37vLTG" id="24Vro6cS5T2" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="5uFPQ7C61sP" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="24Vro6cS5T4" role="3clF46">
@ -702,7 +703,7 @@
<node concept="37vLTG" id="6ps95k_HMH7" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="6ps95k_HMH8" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="6ps95k_HMH9" role="3clF46">
@ -723,7 +724,7 @@
<node concept="37vLTG" id="6ps95k_HMHj" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="6ps95k_HMHk" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
<node concept="37vLTG" id="6ps95k_HMHl" role="3clF46">

View File

@ -15,8 +15,9 @@
<import index="yg8f" ref="r:e213377a-f1a7-4ba7-9d08-96bcb97ed8ce(jetbrains.mps.logic.builtin)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
<import index="45ys" ref="r:7365f7fe-12e6-4229-8901-f6dc6d5df03f(jetbrains.mps.logic.reactor.logical)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="95zw" ref="r:f3ff7852-b9dd-4760-b213-a8a031c77d0e(jetbrains.mps.logic.jchr.predicate)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@ -1154,11 +1155,11 @@
<property role="TrG5h" value="UNI_SYM" />
<node concept="3Tm1VV" id="5uFPQ7C29mq" role="1B3o_S" />
<node concept="3uibUv" id="5uFPQ7C29mr" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="2ShNRf" id="5uFPQ7C29ms" role="33vP2m">
<node concept="1pGfFk" id="5uFPQ7C29mt" role="2ShVmc">
<ref role="37wK5l" to="qrld:5uFPQ7B$$fT" resolve="PredicateSymbol" />
<ref role="37wK5l" to="rchb:5uFPQ7B$$fT" resolve="PredicateSymbol" />
<node concept="37vLTw" id="5uFPQ7C29mu" role="37wK5m">
<ref role="3cqZAo" node="2GO7tyJVob2" resolve="UNI" />
</node>
@ -1186,7 +1187,7 @@
<node concept="3Tm1VV" id="4xBopTzmopA" role="1B3o_S" />
<node concept="3clFbS" id="4xBopTzmopB" role="3clF47">
<node concept="XkiVB" id="4xBopTzmoNB" role="3cqZAp">
<ref role="37wK5l" to="qrld:6Kcfpq7B1f7" resolve="AbstractPredicate" />
<ref role="37wK5l" to="rchb:6Kcfpq7B1f7" resolve="AbstractPredicate" />
<node concept="37vLTw" id="5uFPQ7C29Rp" role="37wK5m">
<ref role="3cqZAo" node="5uFPQ7C29xx" resolve="left" />
</node>
@ -1201,7 +1202,7 @@
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="7ISVfSJpsV" role="3clF45">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="3Tm1VV" id="7ISVfSJpsW" role="1B3o_S" />
<node concept="3clFbS" id="7ISVfSJpsZ" role="3clF47">
@ -1213,44 +1214,8 @@
</node>
</node>
<node concept="2tJIrI" id="49L2l3Fhvjr" role="jymVt" />
<node concept="3clFb_" id="49L2l3Fhvlv" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="2aFKle" value="false" />
<property role="TrG5h" value="invocation" />
<node concept="3Tm1VV" id="49L2l3Fhvlw" role="1B3o_S" />
<node concept="3uibUv" id="49L2l3Fhvlx" role="3clF45">
<ref role="3uigEE" to="qrld:49L2l3FhtS6" resolve="PredicateInvocation" />
</node>
<node concept="37vLTG" id="49L2l3Fhvly" role="3clF46">
<property role="TrG5h" value="logicalContext" />
<node concept="3uibUv" id="49L2l3Fhvlz" role="1tU5fm">
<ref role="3uigEE" to="45ys:7IvepusY4Ez" resolve="LogicalContext" />
</node>
</node>
<node concept="3clFbS" id="49L2l3Fhvl$" role="3clF47">
<node concept="3SKdUt" id="49L2l3Fhvl_" role="3cqZAp">
<node concept="3SKdUq" id="49L2l3FhvlA" role="3SKWNk">
<property role="3SKdUp" value="FIXME: implement me" />
</node>
</node>
<node concept="YS8fn" id="49L2l3FhvlB" role="3cqZAp">
<node concept="2ShNRf" id="49L2l3FhvlC" role="YScLw">
<node concept="1pGfFk" id="49L2l3FhvlD" role="2ShVmc">
<ref role="37wK5l" to="wyt6:~UnsupportedOperationException.&lt;init&gt;(java.lang.String)" resolve="UnsupportedOperationException" />
<node concept="Xl_RD" id="49L2l3FhvlE" role="37wK5m">
<property role="Xl_RC" value="not implemented" />
</node>
</node>
</node>
</node>
</node>
<node concept="2AHcQZ" id="49L2l3FhvlF" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="49L2l3Fhvk2" role="jymVt" />
<node concept="3uibUv" id="4xBopTzmmAx" role="1zkMxy">
<ref role="3uigEE" to="qrld:6Kcfpq7B0Wu" resolve="AbstractPredicate" />
<ref role="3uigEE" to="rchb:6Kcfpq7B0Wu" resolve="AbstractPredicate" />
</node>
</node>
<node concept="312cEu" id="1H8E3iB85PX">
@ -1955,11 +1920,11 @@
<property role="TrG5h" value="EQ_SYM" />
<node concept="3Tm1VV" id="5uFPQ7C23RP" role="1B3o_S" />
<node concept="3uibUv" id="5uFPQ7C23RQ" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="2ShNRf" id="5uFPQ7C23RR" role="33vP2m">
<node concept="1pGfFk" id="5uFPQ7C23RS" role="2ShVmc">
<ref role="37wK5l" to="qrld:5uFPQ7B$$fT" resolve="PredicateSymbol" />
<ref role="37wK5l" to="rchb:5uFPQ7B$$fT" resolve="PredicateSymbol" />
<node concept="37vLTw" id="5uFPQ7C23RT" role="37wK5m">
<ref role="3cqZAo" node="3HJTsBn4kQi" resolve="EQ" />
</node>
@ -1987,7 +1952,7 @@
<node concept="3Tm1VV" id="4xBopTzo_Q4" role="1B3o_S" />
<node concept="3clFbS" id="4xBopTzo_Q5" role="3clF47">
<node concept="XkiVB" id="4xBopTzoAs2" role="3cqZAp">
<ref role="37wK5l" to="qrld:6Kcfpq7B1f7" resolve="AbstractPredicate" />
<ref role="37wK5l" to="rchb:6Kcfpq7B1f7" resolve="AbstractPredicate" />
<node concept="37vLTw" id="5uFPQ7C24EQ" role="37wK5m">
<ref role="3cqZAo" node="5uFPQ7C24iY" resolve="left" />
</node>
@ -2002,7 +1967,7 @@
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="5uFPQ7BZaJx" role="3clF45">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="3Tm1VV" id="5uFPQ7BZaxc" role="1B3o_S" />
<node concept="3clFbS" id="5uFPQ7BZaxh" role="3clF47">
@ -2014,45 +1979,9 @@
</node>
</node>
<node concept="2tJIrI" id="4xBopTzop_B" role="jymVt" />
<node concept="3clFb_" id="49L2l3FhuEm" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="2aFKle" value="false" />
<property role="TrG5h" value="invocation" />
<node concept="3Tm1VV" id="49L2l3FhuEn" role="1B3o_S" />
<node concept="3uibUv" id="49L2l3FhuEo" role="3clF45">
<ref role="3uigEE" to="qrld:49L2l3FhtS6" resolve="PredicateInvocation" />
</node>
<node concept="37vLTG" id="49L2l3FhuEp" role="3clF46">
<property role="TrG5h" value="logicalContext" />
<node concept="3uibUv" id="49L2l3FhuEq" role="1tU5fm">
<ref role="3uigEE" to="45ys:7IvepusY4Ez" resolve="LogicalContext" />
</node>
</node>
<node concept="3clFbS" id="49L2l3FhuEr" role="3clF47">
<node concept="3SKdUt" id="49L2l3FhuEs" role="3cqZAp">
<node concept="3SKdUq" id="49L2l3FhuEt" role="3SKWNk">
<property role="3SKdUp" value="FIXME: implement me" />
</node>
</node>
<node concept="YS8fn" id="49L2l3FhuEu" role="3cqZAp">
<node concept="2ShNRf" id="49L2l3FhuEv" role="YScLw">
<node concept="1pGfFk" id="49L2l3FhuEw" role="2ShVmc">
<ref role="37wK5l" to="wyt6:~UnsupportedOperationException.&lt;init&gt;(java.lang.String)" resolve="UnsupportedOperationException" />
<node concept="Xl_RD" id="49L2l3FhuEx" role="37wK5m">
<property role="Xl_RC" value="not implemented" />
</node>
</node>
</node>
</node>
</node>
<node concept="2AHcQZ" id="49L2l3FhuEy" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="49L2l3FhuDv" role="jymVt" />
<node concept="3Tm1VV" id="3HJTsBn4kkA" role="1B3o_S" />
<node concept="3uibUv" id="4xBopTzozPs" role="1zkMxy">
<ref role="3uigEE" to="qrld:6Kcfpq7B0Wu" resolve="AbstractPredicate" />
<ref role="3uigEE" to="rchb:6Kcfpq7B0Wu" resolve="AbstractPredicate" />
</node>
</node>
<node concept="312cEu" id="6infEALAfer">
@ -2073,11 +2002,11 @@
<property role="TrG5h" value="ASSERT_SYM" />
<node concept="3Tm1VV" id="5uFPQ7BZnLx" role="1B3o_S" />
<node concept="3uibUv" id="5uFPQ7BZnLy" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="2ShNRf" id="5uFPQ7BZnLz" role="33vP2m">
<node concept="1pGfFk" id="5uFPQ7BZnL$" role="2ShVmc">
<ref role="37wK5l" to="qrld:5uFPQ7B$$fT" resolve="PredicateSymbol" />
<ref role="37wK5l" to="rchb:5uFPQ7B$$fT" resolve="PredicateSymbol" />
<node concept="37vLTw" id="5uFPQ7BZnL_" role="37wK5m">
<ref role="3cqZAo" node="6infEALAgS7" resolve="ASSERT" />
</node>
@ -2099,7 +2028,7 @@
<node concept="3Tm1VV" id="4xBopTzrPWo" role="1B3o_S" />
<node concept="3clFbS" id="4xBopTzrPWp" role="3clF47">
<node concept="XkiVB" id="4xBopTzrQgb" role="3cqZAp">
<ref role="37wK5l" to="qrld:6Kcfpq7B1f7" resolve="AbstractPredicate" />
<ref role="37wK5l" to="rchb:6Kcfpq7B1f7" resolve="AbstractPredicate" />
<node concept="37vLTw" id="5uFPQ7C25fP" role="37wK5m">
<ref role="3cqZAo" node="5uFPQ7C251x" resolve="expression" />
</node>
@ -2111,7 +2040,7 @@
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="7ISVfSJpfJ" role="3clF45">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="3Tm1VV" id="7ISVfSJpfK" role="1B3o_S" />
<node concept="3clFbS" id="7ISVfSJpfN" role="3clF47">
@ -2122,45 +2051,10 @@
</node>
</node>
</node>
<node concept="2tJIrI" id="4xBopTzs2O5" role="jymVt" />
<node concept="3clFb_" id="49L2l3Fhu7i" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="2aFKle" value="false" />
<property role="TrG5h" value="invocation" />
<node concept="3Tm1VV" id="49L2l3Fhu7k" role="1B3o_S" />
<node concept="3uibUv" id="49L2l3Fhu7l" role="3clF45">
<ref role="3uigEE" to="qrld:49L2l3FhtS6" resolve="PredicateInvocation" />
</node>
<node concept="37vLTG" id="49L2l3Fhu7m" role="3clF46">
<property role="TrG5h" value="logicalContext" />
<node concept="3uibUv" id="49L2l3Fhu7n" role="1tU5fm">
<ref role="3uigEE" to="45ys:7IvepusY4Ez" resolve="LogicalContext" />
</node>
</node>
<node concept="3clFbS" id="49L2l3Fhu7p" role="3clF47">
<node concept="3SKdUt" id="49L2l3Fhu$_" role="3cqZAp">
<node concept="3SKdUq" id="49L2l3Fhu$B" role="3SKWNk">
<property role="3SKdUp" value="FIXME: implement me" />
</node>
</node>
<node concept="YS8fn" id="49L2l3FhudW" role="3cqZAp">
<node concept="2ShNRf" id="49L2l3FhueP" role="YScLw">
<node concept="1pGfFk" id="49L2l3Fhuwo" role="2ShVmc">
<ref role="37wK5l" to="wyt6:~UnsupportedOperationException.&lt;init&gt;(java.lang.String)" resolve="UnsupportedOperationException" />
<node concept="Xl_RD" id="49L2l3Fhuxr" role="37wK5m">
<property role="Xl_RC" value="not implemented" />
</node>
</node>
</node>
</node>
</node>
<node concept="2AHcQZ" id="49L2l3Fhu_e" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="506k$zeLgrQ" role="jymVt" />
<node concept="3Tm1VV" id="6infEALAfes" role="1B3o_S" />
<node concept="3uibUv" id="4xBopTzrP0O" role="1zkMxy">
<ref role="3uigEE" to="qrld:6Kcfpq7B0Wu" resolve="AbstractPredicate" />
<ref role="3uigEE" to="rchb:6Kcfpq7B0Wu" resolve="AbstractPredicate" />
</node>
</node>
<node concept="312cEu" id="7HUwyZbdMWH">

View File

@ -8,9 +8,10 @@
<imports>
<import index="ie8e" ref="r:ab2605ab-b4bc-4e80-a8ca-19a4a8465c01(jetbrains.mps.logic.atom)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="95zw" ref="r:f3ff7852-b9dd-4760-b213-a8a031c77d0e(jetbrains.mps.logic.jchr.predicate)" />
<import index="45ys" ref="r:7365f7fe-12e6-4229-8901-f6dc6d5df03f(jetbrains.mps.logic.reactor.logical)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@ -19,12 +20,6 @@
<child id="1068498886295" name="lValue" index="37vLTJ" />
</concept>
<concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
<concept id="1188207840427" name="jetbrains.mps.baseLanguage.structure.AnnotationInstance" flags="nn" index="2AHcQZ">
<reference id="1188208074048" name="annotation" index="2AI5Lk" />
</concept>
<concept id="1188208481402" name="jetbrains.mps.baseLanguage.structure.HasAnnotation" flags="ng" index="2AJDlI">
<child id="1188208488637" name="annotation" index="2AJF6D" />
</concept>
<concept id="2820489544401957797" name="jetbrains.mps.baseLanguage.structure.DefaultClassCreator" flags="nn" index="HV5vD">
<reference id="2820489544401957798" name="classifier" index="HV5vE" />
</concept>
@ -45,9 +40,6 @@
<property id="1070475926801" name="value" index="Xl_RC" />
</concept>
<concept id="1081236700938" name="jetbrains.mps.baseLanguage.structure.StaticMethodDeclaration" flags="ig" index="2YIFZL" />
<concept id="1164991038168" name="jetbrains.mps.baseLanguage.structure.ThrowStatement" flags="nn" index="YS8fn">
<child id="1164991057263" name="throwable" index="YScLw" />
</concept>
<concept id="1068390468200" name="jetbrains.mps.baseLanguage.structure.FieldDeclaration" flags="ig" index="312cEg" />
<concept id="1068390468198" name="jetbrains.mps.baseLanguage.structure.ClassConcept" flags="ig" index="312cEu">
<property id="1075300953594" name="abstractClass" index="1sVAO0" />
@ -92,21 +84,12 @@
<concept id="1107461130800" name="jetbrains.mps.baseLanguage.structure.Classifier" flags="ng" index="3pOWGL">
<child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
</concept>
<concept id="7812454656619025416" name="jetbrains.mps.baseLanguage.structure.MethodDeclaration" flags="ng" index="1rXfSm">
<property id="8355037393041754995" name="isNative" index="2aFKle" />
</concept>
<concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
<reference id="1107535924139" name="classifier" index="3uigEE" />
</concept>
<concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
<child id="1178549979242" name="visibility" index="1B3o_S" />
</concept>
<concept id="6329021646629104957" name="jetbrains.mps.baseLanguage.structure.TextCommentPart" flags="nn" index="3SKdUq">
<property id="6329021646629104958" name="text" index="3SKdUp" />
</concept>
<concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
<child id="6329021646629175155" name="commentPart" index="3SKWNk" />
</concept>
<concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
<concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
</language>
@ -125,11 +108,11 @@
<property role="3TUv4t" value="true" />
<node concept="3Tm1VV" id="5uFPQ7C26Lh" role="1B3o_S" />
<node concept="3uibUv" id="5uFPQ7C26Oo" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="2ShNRf" id="5uFPQ7C26Zo" role="33vP2m">
<node concept="1pGfFk" id="5uFPQ7C26X5" role="2ShVmc">
<ref role="37wK5l" to="qrld:5uFPQ7B$$fT" resolve="PredicateSymbol" />
<ref role="37wK5l" to="rchb:5uFPQ7B$$fT" resolve="PredicateSymbol" />
<node concept="Xl_RD" id="5uFPQ7C272B" role="37wK5m">
<property role="Xl_RC" value="isNonVar" />
</node>
@ -145,11 +128,11 @@
<property role="3TUv4t" value="true" />
<node concept="3Tm1VV" id="5uFPQ7C279_" role="1B3o_S" />
<node concept="3uibUv" id="5uFPQ7C279A" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="2ShNRf" id="5uFPQ7C279B" role="33vP2m">
<node concept="1pGfFk" id="5uFPQ7C279C" role="2ShVmc">
<ref role="37wK5l" to="qrld:5uFPQ7B$$fT" resolve="PredicateSymbol" />
<ref role="37wK5l" to="rchb:5uFPQ7B$$fT" resolve="PredicateSymbol" />
<node concept="Xl_RD" id="5uFPQ7C279D" role="37wK5m">
<property role="Xl_RC" value="isVar" />
</node>
@ -232,7 +215,7 @@
<node concept="37vLTG" id="5$WbtTOYtPL" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="5uFPQ7C2821" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="5$WbtTOYsN0" role="3clF46">
@ -251,7 +234,7 @@
<node concept="3Tm6S6" id="5$WbtTOYGJA" role="1B3o_S" />
<node concept="3clFbS" id="5$WbtTOYsLY" role="3clF47">
<node concept="XkiVB" id="4xBopTzr9fT" role="3cqZAp">
<ref role="37wK5l" to="qrld:6Kcfpq7B1f7" resolve="AbstractPredicate" />
<ref role="37wK5l" to="rchb:6Kcfpq7B1f7" resolve="AbstractPredicate" />
<node concept="37vLTw" id="5uFPQ7C28G6" role="37wK5m">
<ref role="3cqZAo" node="5uFPQ7C28iX" resolve="logical" />
</node>
@ -276,7 +259,7 @@
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="7ISVfSJpIU" role="3clF45">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="3Tm1VV" id="7ISVfSJpIV" role="1B3o_S" />
<node concept="3clFbS" id="7ISVfSJpIY" role="3clF47">
@ -288,52 +271,16 @@
</node>
</node>
<node concept="2tJIrI" id="7ISVfSOZ4g" role="jymVt" />
<node concept="3clFb_" id="49L2l3Fhu7i" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="2aFKle" value="false" />
<property role="TrG5h" value="invocation" />
<node concept="3Tm1VV" id="49L2l3Fhu7k" role="1B3o_S" />
<node concept="3uibUv" id="49L2l3Fhu7l" role="3clF45">
<ref role="3uigEE" to="qrld:49L2l3FhtS6" resolve="PredicateInvocation" />
</node>
<node concept="37vLTG" id="49L2l3Fhu7m" role="3clF46">
<property role="TrG5h" value="logicalContext" />
<node concept="3uibUv" id="49L2l3Fhu7n" role="1tU5fm">
<ref role="3uigEE" to="45ys:7IvepusY4Ez" resolve="LogicalContext" />
</node>
</node>
<node concept="3clFbS" id="49L2l3Fhu7p" role="3clF47">
<node concept="3SKdUt" id="49L2l3Fhu$_" role="3cqZAp">
<node concept="3SKdUq" id="49L2l3Fhu$B" role="3SKWNk">
<property role="3SKdUp" value="FIXME: implement me" />
</node>
</node>
<node concept="YS8fn" id="49L2l3FhudW" role="3cqZAp">
<node concept="2ShNRf" id="49L2l3FhueP" role="YScLw">
<node concept="1pGfFk" id="49L2l3Fhuwo" role="2ShVmc">
<ref role="37wK5l" to="wyt6:~UnsupportedOperationException.&lt;init&gt;(java.lang.String)" resolve="UnsupportedOperationException" />
<node concept="Xl_RD" id="49L2l3Fhuxr" role="37wK5m">
<property role="Xl_RC" value="not implemented" />
</node>
</node>
</node>
</node>
</node>
<node concept="2AHcQZ" id="49L2l3Fhu_e" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="49L2l3Fhv2Z" role="jymVt" />
<node concept="312cEg" id="7ISVfSJpBL" role="jymVt">
<property role="TrG5h" value="symbol" />
<node concept="3Tm6S6" id="7ISVfSJpBJ" role="1B3o_S" />
<node concept="3uibUv" id="7ISVfSJpBK" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="3Tm1VV" id="5$WbtTOYoMc" role="1B3o_S" />
<node concept="3uibUv" id="4xBopTzr8gp" role="1zkMxy">
<ref role="3uigEE" to="qrld:6Kcfpq7B0Wu" resolve="AbstractPredicate" />
<ref role="3uigEE" to="rchb:6Kcfpq7B0Wu" resolve="AbstractPredicate" />
</node>
</node>
</model>

View File

@ -10,6 +10,7 @@
<dependency reexport="true">a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)</dependency>
<dependency reexport="true">b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)</dependency>
<dependency reexport="true">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
<dependency reexport="false">0d017abe-6cd7-4206-86d5-bfa557885b07(jetbrains.mps.typechecking.handling)</dependency>
</dependencies>
<languageVersions>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" fqName="jetbrains.mps.baseLanguage" version="4" />
@ -27,6 +28,7 @@
<module reference="760652ad-c01a-495e-9510-ed51532f617b(jetbrains.mps.logic.jchr)" version="0" />
<module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
<module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
<module reference="0d017abe-6cd7-4206-86d5-bfa557885b07(jetbrains.mps.typechecking.handling)" version="0" />
</dependencyVersions>
</solution>

View File

@ -10,7 +10,7 @@
<import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.builtin.unification)" />
<import index="f8dg" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:annotations(jetbrains.mps.jchr.runtime/)" />
<import index="eifs" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:runtime(jetbrains.mps.jchr.runtime/)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="eift" ref="a5478664-6b44-4c62-a9f7-434f8aa57eee/java:runtime(jetbrains.mps.logic.runtime/)" />
<import index="ie8e" ref="r:ab2605ab-b4bc-4e80-a8ca-19a4a8465c01(jetbrains.mps.logic.atom)" />
<import index="yt73" ref="7526e0cf-1ce7-46f8-a555-9eca1e06c23b/java:jetbrains.mps.unification(jetbrains.mps.logic.atom/)" />
@ -19,6 +19,7 @@
<import index="yg8f" ref="r:e213377a-f1a7-4ba7-9d08-96bcb97ed8ce(jetbrains.mps.logic.builtin)" />
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
<import index="xq5w" ref="r:729bada4-05fa-458f-8bf8-28b9cb978726(jetbrains.mps.logic.builtin.var)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@ -447,7 +448,7 @@
<node concept="37vLTG" id="4xBopTzrRGx" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="5uFPQ7C5NGw" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="4xBopTzrRGz" role="3clF46">
@ -584,7 +585,7 @@
<node concept="37vLTG" id="4xBopTzrRGI" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="5uFPQ7Cb6br" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
<node concept="37vLTG" id="4xBopTzrRGK" role="3clF46">
@ -1190,7 +1191,7 @@
<node concept="37vLTG" id="4xBopTznuZi" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="5uFPQ7C5VkG" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="4xBopTzmx3f" role="3clF46">
@ -1486,7 +1487,7 @@
<node concept="37vLTG" id="4xBopTzp2Tv" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="5uFPQ7Cb4Wh" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
<node concept="37vLTG" id="4xBopTzmx3q" role="3clF46">
@ -5395,7 +5396,7 @@
<node concept="37vLTG" id="4xBopTzoSXx" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="5uFPQ7C5OCi" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="4xBopTzoSXz" role="3clF46">
@ -5688,7 +5689,7 @@
<node concept="37vLTG" id="4xBopTzoSXI" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="5uFPQ7Cb80z" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
<node concept="37vLTG" id="4xBopTzoSXK" role="3clF46">
@ -7516,7 +7517,7 @@
<node concept="37vLTG" id="4xBopTzrdc_" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="5uFPQ7C5SNu" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="4xBopTzrdcB" role="3clF46">
@ -7621,7 +7622,7 @@
<node concept="37vLTG" id="4xBopTzrdcM" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="5uFPQ7Cb3l3" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
<node concept="37vLTG" id="4xBopTzrdcO" role="3clF46">
@ -7964,35 +7965,6 @@
</node>
</node>
<node concept="2tJIrI" id="2$F5QputFlO" role="jymVt" />
<node concept="3clFb_" id="2$F5QputGuG" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="name" />
<node concept="17QB3L" id="2$F5QputGuH" role="3clF45" />
<node concept="3Tm1VV" id="2$F5QputGuI" role="1B3o_S" />
<node concept="37vLTG" id="2$F5QputGuK" role="3clF46">
<property role="TrG5h" value="namingContext" />
<node concept="3uibUv" id="2s5CcPafNKa" role="1tU5fm">
<ref role="3uigEE" to="45ys:2$F5QputikM" resolve="NamingContext" />
</node>
</node>
<node concept="3clFbS" id="2$F5QputGuP" role="3clF47">
<node concept="3clFbF" id="2$F5QputK8y" role="3cqZAp">
<node concept="2OqwBi" id="2$F5QputKbf" role="3clFbG">
<node concept="37vLTw" id="2$F5QputK8x" role="2Oq$k0">
<ref role="3cqZAo" node="2$F5QputGuK" resolve="namingContext" />
</node>
<node concept="liA8E" id="2$F5QputKkL" role="2OqNvi">
<ref role="37wK5l" to="45ys:2$F5Qputim3" resolve="uniqueName" />
<node concept="Xjq3P" id="2$F5QputKnk" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="2AHcQZ" id="2$F5QputJue" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="3HJTsBmCvU3" role="jymVt" />
<node concept="3clFb_" id="3HJTsBmBZ0h" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="2aFKle" value="false" />
@ -8652,7 +8624,7 @@
<node concept="37vLTG" id="7ISVfSIJee" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="2tcGHBEei$8" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="2tcGHBEisRf" role="3clF46">
@ -8674,7 +8646,7 @@
<ref role="37wK5l" to="qrld:6Kcfpq7B2LV" resolve="registerSolver" />
<node concept="10QFUN" id="7ISVfSIYFl" role="37wK5m">
<node concept="3uibUv" id="7ISVfSIYFj" role="10QFUM">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="37vLTw" id="7ISVfSIYFk" role="10QFUP">
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
@ -8700,7 +8672,7 @@
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationPredicate" />
</node>
<node concept="liA8E" id="7ISVfSIJyd" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
<ref role="37wK5l" to="rchb:54i3Fxd17bK" resolve="equals" />
<node concept="37vLTw" id="7ISVfSIJzc" role="37wK5m">
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
</node>
@ -8713,7 +8685,7 @@
<ref role="1PxDUh" to="oy3s:3HJTsBn4kk_" resolve="EqualsPredicate" />
</node>
<node concept="liA8E" id="7ISVfSIJAs" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
<ref role="37wK5l" to="rchb:54i3Fxd17bK" resolve="equals" />
<node concept="37vLTw" id="7ISVfSIJBV" role="37wK5m">
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
</node>
@ -8727,7 +8699,7 @@
<ref role="37wK5l" to="qrld:6Kcfpq7B2LV" resolve="registerSolver" />
<node concept="10QFUN" id="7ISVfSIYOz" role="37wK5m">
<node concept="3uibUv" id="7ISVfSIYO$" role="10QFUM">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="37vLTw" id="7ISVfSIYO_" role="10QFUP">
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
@ -8752,7 +8724,7 @@
<ref role="1PxDUh" to="oy3s:6infEALAfer" resolve="AssertPredicate" />
</node>
<node concept="liA8E" id="7ISVfSIJIa" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
<ref role="37wK5l" to="rchb:54i3Fxd17bK" resolve="equals" />
<node concept="37vLTw" id="7ISVfSIJJb" role="37wK5m">
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
</node>
@ -8766,7 +8738,7 @@
<ref role="37wK5l" to="qrld:6Kcfpq7B2LV" resolve="registerSolver" />
<node concept="10QFUN" id="7ISVfSIZhq" role="37wK5m">
<node concept="3uibUv" id="7ISVfSIZhr" role="10QFUM">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="37vLTw" id="7ISVfSIZhs" role="10QFUP">
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
@ -8790,7 +8762,7 @@
<ref role="1PxDUh" to="xq5w:5$WbtTOYoMb" resolve="LogicalPredicate" />
</node>
<node concept="liA8E" id="7ISVfSIJJH" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
<ref role="37wK5l" to="rchb:54i3Fxd17bK" resolve="equals" />
<node concept="37vLTw" id="7ISVfSIJJI" role="37wK5m">
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
</node>
@ -8804,7 +8776,7 @@
<ref role="37wK5l" to="qrld:6Kcfpq7B2LV" resolve="registerSolver" />
<node concept="10QFUN" id="7ISVfSJ2Pa" role="37wK5m">
<node concept="3uibUv" id="7ISVfSJ2Pb" role="10QFUM">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="37vLTw" id="7ISVfSJ2Pc" role="10QFUP">
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
@ -8828,7 +8800,7 @@
<ref role="1PxDUh" to="xq5w:5$WbtTOYoMb" resolve="LogicalPredicate" />
</node>
<node concept="liA8E" id="7ISVfSJ2Gg" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
<ref role="37wK5l" to="rchb:54i3Fxd17bK" resolve="equals" />
<node concept="37vLTw" id="7ISVfSJ2Gh" role="37wK5m">
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
</node>
@ -8842,7 +8814,7 @@
<ref role="37wK5l" to="qrld:6Kcfpq7B2LV" resolve="registerSolver" />
<node concept="10QFUN" id="7ISVfSJ30r" role="37wK5m">
<node concept="3uibUv" id="7ISVfSJ30s" role="10QFUM">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="37vLTw" id="7ISVfSJ30t" role="10QFUP">
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
@ -8889,7 +8861,7 @@
<ref role="37wK5l" to="qrld:6Kcfpq7B2LV" resolve="registerSolver" />
<node concept="10QFUN" id="1ggxSI7qGPT" role="37wK5m">
<node concept="3uibUv" id="1ggxSI7qGPU" role="10QFUM">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="37vLTw" id="1ggxSI7qGPV" role="10QFUP">
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
@ -8946,7 +8918,7 @@
<node concept="37vLTG" id="2tcGHBEvbMH" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="2tcGHBEvbMI" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="3uibUv" id="2tcGHBEvcMg" role="3clF45">
@ -8975,7 +8947,7 @@
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
</node>
<node concept="liA8E" id="2tcGHBEvbN5" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
<ref role="37wK5l" to="rchb:54i3Fxd17bK" resolve="equals" />
<node concept="37vLTw" id="2tcGHBEvbN6" role="37wK5m">
<ref role="3cqZAo" node="2tcGHBEvbMH" resolve="symbol" />
</node>
@ -8988,7 +8960,7 @@
<ref role="3cqZAo" to="oy3s:5uFPQ7C23RV" resolve="EQ_SYM" />
</node>
<node concept="liA8E" id="2tcGHBEvbNa" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
<ref role="37wK5l" to="rchb:54i3Fxd17bK" resolve="equals" />
<node concept="37vLTw" id="2tcGHBEvbNb" role="37wK5m">
<ref role="3cqZAo" node="2tcGHBEvbMH" resolve="symbol" />
</node>
@ -9010,7 +8982,7 @@
<ref role="3cqZAo" to="oy3s:5uFPQ7BZnLB" resolve="ASSERT_SYM" />
</node>
<node concept="liA8E" id="2tcGHBEvbNr" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
<ref role="37wK5l" to="rchb:54i3Fxd17bK" resolve="equals" />
<node concept="37vLTw" id="2tcGHBEvbNs" role="37wK5m">
<ref role="3cqZAo" node="2tcGHBEvbMH" resolve="symbol" />
</node>
@ -9032,7 +9004,7 @@
<ref role="3cqZAo" to="xq5w:5uFPQ7C26$b" resolve="BOUND_SYM" />
</node>
<node concept="liA8E" id="2tcGHBEvbNF" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
<ref role="37wK5l" to="rchb:54i3Fxd17bK" resolve="equals" />
<node concept="37vLTw" id="2tcGHBEvbNG" role="37wK5m">
<ref role="3cqZAo" node="2tcGHBEvbMH" resolve="symbol" />
</node>
@ -9054,7 +9026,7 @@
<ref role="3cqZAo" to="xq5w:5uFPQ7C279$" resolve="FREE_SYM" />
</node>
<node concept="liA8E" id="2tcGHBEvbNV" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
<ref role="37wK5l" to="rchb:54i3Fxd17bK" resolve="equals" />
<node concept="37vLTw" id="2tcGHBEvbNW" role="37wK5m">
<ref role="3cqZAo" node="2tcGHBEvbMH" resolve="symbol" />
</node>
@ -9570,7 +9542,7 @@
<node concept="37vLTG" id="1ggxSI7qrgi" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="1ggxSI7qrgj" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
<node concept="37vLTG" id="1ggxSI7qrgk" role="3clF46">
@ -9609,7 +9581,7 @@
<node concept="37vLTG" id="1ggxSI7qrgu" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="1ggxSI7qrgv" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="1ggxSI7qrgw" role="3clF46">

View File

@ -11,11 +11,12 @@
<imports>
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="eifs" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:runtime(jetbrains.mps.jchr.runtime/)" />
<import index="iawt" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:runtime.debug(jetbrains.mps.jchr.runtime/)" />
<import index="t6h5" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang.reflect(JDK/)" />
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
<import index="9kr0" ref="r:0f58be42-48ea-45ab-99f8-158393a0f526(jetbrains.mps.typechecking.handler.producer)" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@ -264,8 +265,8 @@
<node concept="3clFbS" id="7ISVfSIf0n" role="3clF47">
<node concept="3clFbF" id="7ISVfSIf2T" role="3cqZAp">
<node concept="2YIFZM" id="7ISVfSIf4g" role="3clFbG">
<ref role="37wK5l" to="rchb:5uFPQ7Bwt$y" resolve="setBackend" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt$y" resolve="setBackend" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<node concept="37vLTw" id="5jPBdKClOM" role="37wK5m">
<ref role="3cqZAo" node="5jPBdKClOJ" resolve="ourBackend" />
</node>
@ -281,8 +282,8 @@
<node concept="3clFbS" id="5jPBdKCn42" role="3clF47">
<node concept="3clFbF" id="5jPBdKCn43" role="3cqZAp">
<node concept="2YIFZM" id="5jPBdKCopj" role="3clFbG">
<ref role="37wK5l" to="rchb:5jPBdK_JeZ" resolve="clearBackend" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5jPBdK_JeZ" resolve="clearBackend" />
<node concept="37vLTw" id="5jPBdKCopk" role="37wK5m">
<ref role="3cqZAo" node="5jPBdKClOJ" resolve="ourBackend" />
</node>
@ -304,22 +305,6 @@
</node>
<node concept="3Tm6S6" id="7ISVfSIeUM" role="1B3o_S" />
<node concept="3clFbS" id="7ISVfSIeJ0" role="3clF47">
<node concept="3cpWs8" id="6X5F0NgMnm$" role="3cqZAp">
<node concept="3cpWsn" id="6X5F0NgMnm_" role="3cpWs9">
<property role="TrG5h" value="program" />
<node concept="3uibUv" id="6X5F0NgMnmz" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
</node>
<node concept="2OqwBi" id="6X5F0NgMnmA" role="33vP2m">
<node concept="37vLTw" id="6X5F0NgMnmB" role="2Oq$k0">
<ref role="3cqZAo" node="7ISVfSIeK_" resolve="config" />
</node>
<node concept="2OwXpG" id="6X5F0NgMnmC" role="2OqNvi">
<ref role="2Oxat5" node="6X5F0NgIrGR" resolve="program" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="2tcGHBEeeWq" role="3cqZAp">
<node concept="3cpWsn" id="2tcGHBEeeWr" role="3cpWs9">
<property role="TrG5h" value="solver" />
@ -327,11 +312,16 @@
<ref role="3uigEE" to="qrld:6Kcfpq7B0b0" resolve="SessionSolver" />
</node>
<node concept="2OqwBi" id="6X5F0NgMoyF" role="33vP2m">
<node concept="37vLTw" id="6X5F0NgMnmD" role="2Oq$k0">
<ref role="3cqZAo" node="6X5F0NgMnm_" resolve="program" />
<node concept="2OqwBi" id="506k$zf2_r0" role="2Oq$k0">
<node concept="37vLTw" id="506k$zf2_r1" role="2Oq$k0">
<ref role="3cqZAo" node="7ISVfSIeK_" resolve="config" />
</node>
<node concept="2OwXpG" id="506k$zf2_r2" role="2OqNvi">
<ref role="2Oxat5" node="6X5F0NgIrGR" resolve="program" />
</node>
</node>
<node concept="liA8E" id="6X5F0NgMoAY" role="2OqNvi">
<ref role="37wK5l" to="rchb:6X5F0Ngip_N" resolve="sessionSolver" />
<ref role="37wK5l" to="9kr0:6X5F0NgiqA5" resolve="sessionSolver" />
</node>
</node>
</node>
@ -504,7 +494,7 @@
<node concept="3uibUv" id="7ISVfSIg38" role="3clF45">
<ref role="3uigEE" to="wyt6:~Iterable" resolve="Iterable" />
<node concept="3uibUv" id="7ISVfSIg39" role="11_B2D">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
</node>
<node concept="3Tm1VV" id="7ISVfSIg3a" role="1B3o_S" />
@ -515,14 +505,14 @@
<node concept="3uibUv" id="5mr7UHcc3fF" role="1tU5fm">
<ref role="3uigEE" to="33ny:~Set" resolve="Set" />
<node concept="3uibUv" id="5mr7UHcc3k_" role="11_B2D">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
</node>
<node concept="2ShNRf" id="5mr7UHcc3pl" role="33vP2m">
<node concept="1pGfFk" id="5mr7UHcc3FZ" role="2ShVmc">
<ref role="37wK5l" to="33ny:~HashSet.&lt;init&gt;()" resolve="HashSet" />
<node concept="3uibUv" id="5mr7UHcc3MO" role="1pMfVU">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
</node>
</node>
@ -539,7 +529,7 @@
<ref role="37wK5l" to="33ny:~Set.add(java.lang.Object):boolean" resolve="add" />
<node concept="2ShNRf" id="5mr7UHcc4ap" role="37wK5m">
<node concept="1pGfFk" id="5mr7UHcc4uk" role="2ShVmc">
<ref role="37wK5l" to="qrld:54i3FxcZMv0" resolve="ConstraintSymbol" />
<ref role="37wK5l" to="rchb:54i3FxcZMv0" resolve="ConstraintSymbol" />
<node concept="2OqwBi" id="5mr7UHcc4xf" role="37wK5m">
<node concept="37vLTw" id="5mr7UHcc4w8" role="2Oq$k0">
<ref role="3cqZAo" node="7FtwPOZH60R" resolve="c" />
@ -660,7 +650,7 @@
<node concept="37vLTG" id="7ISVfSIg3g" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="7ISVfSIg3h" role="1tU5fm">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
</node>
<node concept="3uibUv" id="7ISVfSIg3i" role="3clF45">
@ -718,7 +708,7 @@
<ref role="3cqZAo" node="7ISVfSIg3g" resolve="symbol" />
</node>
<node concept="liA8E" id="5mr7UHccrtw" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
<node concept="liA8E" id="5mr7UHccrSj" role="2OqNvi">
@ -772,8 +762,15 @@
<ref role="2Oxat5" node="6X5F0NgIrGR" resolve="program" />
</node>
</node>
<node concept="37vLTw" id="6X5F0NgIrH5" role="37vLTx">
<ref role="3cqZAo" node="6X5F0NgIrCd" resolve="program" />
<node concept="1eOMI4" id="506k$zeYvvR" role="37vLTx">
<node concept="10QFUN" id="506k$zeYvvO" role="1eOMHV">
<node concept="3uibUv" id="506k$zeYvxi" role="10QFUM">
<ref role="3uigEE" to="9kr0:7eGEHDlcEJ0" resolve="ChrProgram" />
</node>
<node concept="37vLTw" id="506k$zeYvvT" role="10QFUP">
<ref role="3cqZAo" node="6X5F0NgIrCd" resolve="program" />
</node>
</node>
</node>
</node>
</node>
@ -781,7 +778,7 @@
<node concept="37vLTG" id="6X5F0NgIrCd" role="3clF46">
<property role="TrG5h" value="program" />
<node concept="3uibUv" id="6X5F0NgIrCc" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
</node>
@ -789,7 +786,7 @@
<node concept="3clFb_" id="7ISVfSIuSh" role="jymVt">
<property role="TrG5h" value="start" />
<node concept="3uibUv" id="7ISVfSIv24" role="3clF45">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
<node concept="3Tm1VV" id="7ISVfSIuSk" role="1B3o_S" />
<node concept="3clFbS" id="7ISVfSIuSl" role="3clF47">
@ -797,7 +794,7 @@
<node concept="3cpWsn" id="7ISVfSIfLp" role="3cpWs9">
<property role="TrG5h" value="session" />
<node concept="3uibUv" id="7ISVfSIfLq" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
<node concept="2OqwBi" id="7ISVfSIfLr" role="33vP2m">
<node concept="10M0yZ" id="5mr7UHcbA$d" role="2Oq$k0">
@ -900,12 +897,12 @@
<property role="TrG5h" value="predicateSymbols" />
<node concept="8X2XB" id="5uFPQ7BwuhP" role="1tU5fm">
<node concept="3uibUv" id="5uFPQ7BZb0v" role="8Xvag">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
</node>
<node concept="3uibUv" id="5uFPQ7Bwub9" role="3clF45">
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
<ref role="3uigEE" to="qrld:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
</node>
<node concept="3Tm1VV" id="5uFPQ7Bwu9T" role="1B3o_S" />
<node concept="3clFbS" id="5uFPQ7Bwu9U" role="3clF47">
@ -940,7 +937,7 @@
</node>
</node>
<node concept="3uibUv" id="5uFPQ7Bwvia" role="3clF45">
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
<ref role="3uigEE" to="qrld:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
</node>
<node concept="3Tm1VV" id="5uFPQ7BwvgC" role="1B3o_S" />
<node concept="3clFbS" id="5uFPQ7BwvgD" role="3clF47">
@ -979,7 +976,7 @@
</node>
</node>
<node concept="3uibUv" id="5mr7UHcbjuP" role="3clF45">
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
<ref role="3uigEE" to="qrld:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
</node>
<node concept="3Tm1VV" id="5mr7UHcbbR5" role="1B3o_S" />
<node concept="3clFbS" id="5mr7UHcbbR6" role="3clF47">
@ -1097,7 +1094,7 @@
<node concept="3Tmbuc" id="5mr7UHcbtUi" role="1B3o_S" />
<node concept="10Q1$e" id="7ISVfSIix5" role="1tU5fm">
<node concept="3uibUv" id="7ISVfSIix7" role="10Q1$1">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
</node>
@ -1134,13 +1131,13 @@
<node concept="312cEg" id="6X5F0NgIrGR" role="jymVt">
<property role="TrG5h" value="program" />
<node concept="3Tmbuc" id="6X5F0NgMn8h" role="1B3o_S" />
<node concept="3uibUv" id="6X5F0NgIrGU" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<node concept="3uibUv" id="506k$zeYvSO" role="1tU5fm">
<ref role="3uigEE" to="9kr0:7eGEHDlcEJ0" resolve="ChrProgram" />
</node>
</node>
<node concept="3Tm1VV" id="5mr7UHcbv_2" role="1B3o_S" />
<node concept="3uibUv" id="5mr7UHcbvZ3" role="1zkMxy">
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
<ref role="3uigEE" to="qrld:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
</node>
</node>
<node concept="2tJIrI" id="5mr7UHcbvhQ" role="jymVt" />
@ -1149,7 +1146,7 @@
<property role="TrG5h" value="Backend" />
<node concept="3Tm6S6" id="7ISVfSIeVT" role="1B3o_S" />
<node concept="3uibUv" id="7ISVfSIeul" role="EKbjA">
<ref role="3uigEE" to="rchb:5uFPQ7BwtoR" resolve="EvaluationSession.Backend" />
<ref role="3uigEE" to="qrld:5uFPQ7BwtoR" resolve="EvaluationSession.Backend" />
</node>
<node concept="2tJIrI" id="7ISVfSIewM" role="jymVt" />
<node concept="Wx3nA" id="7ISVfSIeA4" role="jymVt">
@ -1158,14 +1155,14 @@
<node concept="3uibUv" id="7ISVfSIeBy" role="1tU5fm">
<ref role="3uigEE" to="wyt6:~ThreadLocal" resolve="ThreadLocal" />
<node concept="3uibUv" id="7ISVfSIeDf" role="11_B2D">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
</node>
<node concept="2ShNRf" id="7ISVfSIeHb" role="33vP2m">
<node concept="1pGfFk" id="7ISVfSIeH8" role="2ShVmc">
<ref role="37wK5l" to="wyt6:~ThreadLocal.&lt;init&gt;()" resolve="ThreadLocal" />
<node concept="3uibUv" id="7ISVfSIeH9" role="1pMfVU">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
</node>
</node>
@ -1175,7 +1172,7 @@
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="current" />
<node concept="3uibUv" id="7ISVfSIeuD" role="3clF45">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
<node concept="3Tm1VV" id="7ISVfSIeuE" role="1B3o_S" />
<node concept="3clFbS" id="7ISVfSIeuG" role="3clF47">
@ -1183,7 +1180,7 @@
<node concept="3cpWsn" id="7ISVfSIffT" role="3cpWs9">
<property role="TrG5h" value="session" />
<node concept="3uibUv" id="7ISVfSIffN" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
<node concept="2OqwBi" id="7ISVfSIffU" role="33vP2m">
<node concept="37vLTw" id="7ISVfSIffV" role="2Oq$k0">
@ -1229,11 +1226,11 @@
<node concept="37vLTG" id="6X5F0NgIqD5" role="3clF46">
<property role="TrG5h" value="program" />
<node concept="3uibUv" id="6X5F0NgIqJ5" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="3uibUv" id="5mr7UHcbuUR" role="3clF45">
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
<ref role="3uigEE" to="qrld:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
</node>
<node concept="3Tm1VV" id="5mr7UHcbuUS" role="1B3o_S" />
<node concept="3clFbS" id="5mr7UHcbuUU" role="3clF47">
@ -1256,7 +1253,7 @@
<node concept="37vLTG" id="5jPBdKHxjt" role="3clF46">
<property role="TrG5h" value="session" />
<node concept="3uibUv" id="5jPBdKHxju" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
</node>
<node concept="3cqZAl" id="5jPBdKHxjv" role="3clF45" />
@ -1309,7 +1306,7 @@
<node concept="37vLTG" id="5jPBdKJwB8" role="3clF46">
<property role="TrG5h" value="session" />
<node concept="3uibUv" id="5jPBdKJwB9" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
</node>
<node concept="3cqZAl" id="5jPBdKJwBa" role="3clF45" />
@ -1360,7 +1357,7 @@
<node concept="2tJIrI" id="7ISVfSIeeE" role="jymVt" />
<node concept="3Tm1VV" id="7ISVfSIedR" role="1B3o_S" />
<node concept="3uibUv" id="7ISVfSIefW" role="1zkMxy">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
<node concept="312cEg" id="7ISVfSIlkQ" role="jymVt">
<property role="TrG5h" value="sessionSolver" />
@ -2114,11 +2111,11 @@
<node concept="3cpWsn" id="5mr7UHcchxh" role="3cpWs9">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="5mr7UHcchxd" role="1tU5fm">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
<node concept="2ShNRf" id="5mr7UHcchxi" role="33vP2m">
<node concept="1pGfFk" id="5mr7UHcchxj" role="2ShVmc">
<ref role="37wK5l" to="qrld:54i3FxcZMv0" resolve="ConstraintSymbol" />
<ref role="37wK5l" to="rchb:54i3FxcZMv0" resolve="ConstraintSymbol" />
<node concept="2OqwBi" id="5mr7UHcchxk" role="37wK5m">
<node concept="37vLTw" id="5mr7UHcchxl" role="2Oq$k0">
<ref role="3cqZAo" node="5mr7UHcch4f" resolve="c" />
@ -2164,7 +2161,7 @@
<node concept="37vLTG" id="5mr7UHccgR4" role="3clF46">
<property role="TrG5h" value="constraintSymbol" />
<node concept="3uibUv" id="5mr7UHccgRZ" role="1tU5fm">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
</node>
<node concept="37vLTG" id="5mr7UHccgSi" role="3clF46">
@ -2179,7 +2176,7 @@
<node concept="3Tm1VV" id="5mr7UHccgNu" role="1B3o_S" />
<node concept="3clFbS" id="5mr7UHccgNv" role="3clF47">
<node concept="XkiVB" id="5mr7UHccgQU" role="3cqZAp">
<ref role="37wK5l" to="qrld:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<ref role="37wK5l" to="rchb:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<node concept="37vLTw" id="5mr7UHccgV4" role="37wK5m">
<ref role="3cqZAo" node="5mr7UHccgR4" resolve="constraintSymbol" />
</node>
@ -2192,7 +2189,7 @@
<node concept="2tJIrI" id="5mr7UHccgXY" role="jymVt" />
<node concept="3Tm1VV" id="5mr7UHccgL_" role="1B3o_S" />
<node concept="3uibUv" id="5mr7UHccgMF" role="1zkMxy">
<ref role="3uigEE" to="qrld:5uFPQ7BZsAX" resolve="AbstractConstraint" />
<ref role="3uigEE" to="rchb:5uFPQ7BZsAX" resolve="AbstractConstraint" />
</node>
<node concept="3uibUv" id="5mr7UHcclM3" role="EKbjA">
<ref role="3uigEE" to="qrld:5uFPQ7BZac$" resolve="ConstraintOccurrence" />
@ -2201,7 +2198,7 @@
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="constraint" />
<node concept="3uibUv" id="5mr7UHcclSj" role="3clF45">
<ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
<ref role="3uigEE" to="rchb:6Kcfpq7BfEn" resolve="Constraint" />
</node>
<node concept="3Tm1VV" id="5mr7UHcclSk" role="1B3o_S" />
<node concept="3clFbS" id="5mr7UHcclSn" role="3clF47">
@ -2232,10 +2229,10 @@
<ref role="37wK5l" to="wyt6:~StringBuilder.&lt;init&gt;(java.lang.String)" resolve="StringBuilder" />
<node concept="2OqwBi" id="5jPBdKP5SP" role="37wK5m">
<node concept="1rXfSq" id="5jPBdKP5Qq" role="2Oq$k0">
<ref role="37wK5l" to="qrld:5uFPQ7BZsCD" resolve="symbol" />
<ref role="37wK5l" to="rchb:5uFPQ7BZsCD" resolve="symbol" />
</node>
<node concept="liA8E" id="5jPBdKP5Wb" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
</node>
@ -2309,7 +2306,7 @@
</node>
</node>
<node concept="1rXfSq" id="5jPBdKP4AZ" role="1DdaDG">
<ref role="37wK5l" to="qrld:5uFPQ7BZsCK" resolve="arguments" />
<ref role="37wK5l" to="rchb:5uFPQ7BZsCK" resolve="arguments" />
</node>
</node>
<node concept="3clFbF" id="5jPBdKP5kB" role="3cqZAp">

View File

@ -132,20 +132,6 @@
<node concept="3Tm1VV" id="677NV56hh2n" role="1B3o_S" />
<node concept="3clFbS" id="677NV56hh2o" role="3clF47" />
</node>
<node concept="2tJIrI" id="2$F5QputC_u" role="jymVt" />
<node concept="3clFb_" id="2$F5QputDYt" role="jymVt">
<property role="1EzhhJ" value="true" />
<property role="TrG5h" value="name" />
<node concept="17QB3L" id="2$F5QputEqV" role="3clF45" />
<node concept="3Tm1VV" id="2$F5QputDYx" role="1B3o_S" />
<node concept="3clFbS" id="2$F5QputDYy" role="3clF47" />
<node concept="37vLTG" id="2$F5QputEwJ" role="3clF46">
<property role="TrG5h" value="namingContext" />
<node concept="3uibUv" id="2$F5QputEwI" role="1tU5fm">
<ref role="3uigEE" node="2$F5QputikM" resolve="NamingContext" />
</node>
</node>
</node>
<node concept="2tJIrI" id="677NV56hgHJ" role="jymVt" />
<node concept="3clFb_" id="dfChU1eNVy" role="jymVt">
<property role="1EzhhJ" value="true" />

View File

@ -8,19 +8,16 @@
</languages>
<imports>
<import index="eifs" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:runtime(jetbrains.mps.jchr.runtime/)" />
<import index="n4y8" ref="b189d6c6-9397-4d64-88af-1ac73760a4f5/java:org.mockito(jetbrains.mps.logic.test/)" />
<import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.builtin.unification)" />
<import index="5j4j" ref="r:c8fb1c5e-8204-4904-a38f-678899d447c1(jetbrains.mps.logic.structure)" />
<import index="ie8e" ref="r:ab2605ab-b4bc-4e80-a8ca-19a4a8465c01(jetbrains.mps.logic.atom)" />
<import index="yt73" ref="7526e0cf-1ce7-46f8-a555-9eca1e06c23b/java:jetbrains.mps.unification(jetbrains.mps.unification.tree/)" />
<import index="yg8f" ref="r:e213377a-f1a7-4ba7-9d08-96bcb97ed8ce(jetbrains.mps.logic.builtin)" />
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
<import index="45ys" ref="r:7365f7fe-12e6-4229-8901-f6dc6d5df03f(jetbrains.mps.logic.reactor.logical)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="95zw" ref="r:f3ff7852-b9dd-4760-b213-a8a031c77d0e(jetbrains.mps.logic.jchr.predicate)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
<import index="yhq8" ref="r:5a1f4b5d-8f7a-49a1-a68a-49cfbbceb473(jetbrains.mps.lang.typesystem2.samplechecker.handle.test.util)" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@ -1824,7 +1821,7 @@
</node>
</node>
<node concept="3uibUv" id="5p8T3QHH7gN" role="3clF45">
<ref role="3uigEE" to="yg8f:qubcdt1pkm" resolve="ILogicalExt" />
<ref role="3uigEE" to="yg8f:qubcdt1pkm" resolve="LogicalExt" />
<node concept="3qTvmN" id="5p8T3QHH7uW" role="11_B2D" />
</node>
<node concept="3Tm6S6" id="1OShD0IfFaJ" role="1B3o_S" />
@ -1847,7 +1844,7 @@
</node>
</node>
<node concept="3uibUv" id="qubcdt9I4K" role="10QFUM">
<ref role="3uigEE" to="yg8f:qubcdt1pkm" resolve="ILogicalExt" />
<ref role="3uigEE" to="yg8f:qubcdt1pkm" resolve="LogicalExt" />
</node>
</node>
</node>
@ -1950,11 +1947,11 @@
<node concept="2OqwBi" id="5jPBdK_vpp" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_vmP" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_vlo" role="2Oq$k0">
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdK_voQ" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdK_vsV" role="2OqNvi">
@ -2087,11 +2084,11 @@
<node concept="2OqwBi" id="5jPBdKNFjj" role="3clFbG">
<node concept="2OqwBi" id="5jPBdKNFjk" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNFjl" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNFjm" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNFjn" role="2OqNvi">
@ -2268,11 +2265,11 @@
<node concept="2OqwBi" id="5jPBdKNFB7" role="3vwVQn">
<node concept="2OqwBi" id="5jPBdKNFB8" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNFB9" role="2Oq$k0">
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNFBa" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNFBb" role="2OqNvi">
@ -2295,11 +2292,11 @@
<node concept="2OqwBi" id="5jPBdKNFL5" role="3clFbG">
<node concept="2OqwBi" id="5jPBdKNFL6" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNFL7" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNFL8" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNFL9" role="2OqNvi">
@ -2348,11 +2345,11 @@
<node concept="2OqwBi" id="5jPBdKNG7d" role="3vFALc">
<node concept="2OqwBi" id="5jPBdKNG7e" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNG7f" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNG7g" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNG7h" role="2OqNvi">
@ -2496,11 +2493,11 @@
<node concept="2OqwBi" id="5jPBdKNGmf" role="3clFbG">
<node concept="2OqwBi" id="5jPBdKNGmg" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNGmh" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNGmi" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNGmj" role="2OqNvi">
@ -2522,11 +2519,11 @@
<node concept="2OqwBi" id="5jPBdKNGuB" role="3clFbG">
<node concept="2OqwBi" id="5jPBdKNGuC" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNGuD" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNGuE" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNGuF" role="2OqNvi">
@ -2630,11 +2627,11 @@
<node concept="2OqwBi" id="5jPBdKNGS_" role="3vwVQn">
<node concept="2OqwBi" id="5jPBdKNGSA" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNGSB" role="2Oq$k0">
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNGSC" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNGSD" role="2OqNvi">
@ -2779,11 +2776,11 @@
<node concept="2OqwBi" id="5jPBdKNHhU" role="3clFbG">
<node concept="2OqwBi" id="5jPBdKNHhV" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNHhW" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNHhX" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNHhY" role="2OqNvi">
@ -2805,11 +2802,11 @@
<node concept="2OqwBi" id="5jPBdKNH9s" role="3clFbG">
<node concept="2OqwBi" id="5jPBdKNH9t" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNH9u" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNH9v" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNH9w" role="2OqNvi">
@ -2913,11 +2910,11 @@
<node concept="2OqwBi" id="5jPBdKNHSB" role="3vwVQn">
<node concept="2OqwBi" id="5jPBdKNHSC" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNHSD" role="2Oq$k0">
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNHSE" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNHSF" role="2OqNvi">
@ -3039,11 +3036,11 @@
<node concept="2OqwBi" id="5jPBdKNHZ_" role="3clFbG">
<node concept="2OqwBi" id="5jPBdKNHZA" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNHZB" role="2Oq$k0">
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNHZC" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNHZD" role="2OqNvi">
@ -3107,11 +3104,11 @@
<node concept="2OqwBi" id="5jPBdKNI3I" role="3vwVQn">
<node concept="2OqwBi" id="5jPBdKNI3J" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNI3K" role="2Oq$k0">
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNI3L" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNI3M" role="2OqNvi">
@ -3262,11 +3259,11 @@
<node concept="2OqwBi" id="5jPBdKNI6P" role="3clFbG">
<node concept="2OqwBi" id="5jPBdKNI6Q" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNI6R" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNI6S" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNI6T" role="2OqNvi">
@ -3294,11 +3291,11 @@
<node concept="2OqwBi" id="5jPBdKNIbY" role="3vwVQn">
<node concept="2OqwBi" id="5jPBdKNIbZ" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNIc0" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNIc1" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNIc2" role="2OqNvi">
@ -3334,11 +3331,11 @@
<node concept="2OqwBi" id="5jPBdKNInn" role="3vwVQn">
<node concept="2OqwBi" id="5jPBdKNIno" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNInp" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNInq" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNInr" role="2OqNvi">
@ -3497,11 +3494,11 @@
<node concept="2OqwBi" id="5jPBdKNIG8" role="3clFbG">
<node concept="2OqwBi" id="5jPBdKNIG9" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNIGa" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNIGb" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNIGc" role="2OqNvi">
@ -3529,11 +3526,11 @@
<node concept="2OqwBi" id="5jPBdKNIJL" role="3vwVQn">
<node concept="2OqwBi" id="5jPBdKNIJM" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNIJN" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNIJO" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNIJP" role="2OqNvi">
@ -3683,11 +3680,11 @@
<node concept="2OqwBi" id="5jPBdKNJ01" role="3clFbG">
<node concept="2OqwBi" id="5jPBdKNJ02" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNJ03" role="2Oq$k0">
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNJ04" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNJ05" role="2OqNvi">
@ -3715,11 +3712,11 @@
<node concept="2OqwBi" id="5jPBdKNJ3m" role="3vwVQn">
<node concept="2OqwBi" id="5jPBdKNJ3n" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNJ3o" role="2Oq$k0">
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNJ3p" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNJ3q" role="2OqNvi">
@ -3819,11 +3816,11 @@
<node concept="2OqwBi" id="5jPBdKNJfs" role="3clFbG">
<node concept="2OqwBi" id="5jPBdKNJft" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNJfu" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNJfv" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNJfw" role="2OqNvi">
@ -3851,11 +3848,11 @@
<node concept="2OqwBi" id="5jPBdKNJi_" role="3vwVQn">
<node concept="2OqwBi" id="5jPBdKNJiA" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdKNJiB" role="2Oq$k0">
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdKNJiC" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdKNJiD" role="2OqNvi">
@ -3895,12 +3892,12 @@
<node concept="2OqwBi" id="5jPBdK_uYD" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_uUg" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_uTI" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:7ISVfSIwfH" resolve="newSession" />
<ref role="37wK5l" to="qrld:7ISVfSIwfH" resolve="newSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<node concept="10Nm6u" id="6X5F0NgIqiP" role="37wK5m" />
</node>
<node concept="liA8E" id="5jPBdK_uVI" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7Bwu9Q" resolve="withPredicates" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwu9Q" resolve="withPredicates" />
<node concept="10M0yZ" id="5jPBdK_uXa" role="37wK5m">
<ref role="3cqZAo" to="oy3s:5uFPQ7C23RV" resolve="EQ_SYM" />
<ref role="1PxDUh" to="oy3s:3HJTsBn4kk_" resolve="EqualsPredicate" />
@ -3912,7 +3909,7 @@
</node>
</node>
<node concept="liA8E" id="5jPBdK_v1h" role="2OqNvi">
<ref role="37wK5l" to="rchb:7ISVfSIuSh" resolve="start" />
<ref role="37wK5l" to="qrld:7ISVfSIuSh" resolve="start" />
</node>
</node>
</node>
@ -4820,8 +4817,8 @@
<node concept="3clFbS" id="7ISVfSIf0n" role="3clF47">
<node concept="3clFbF" id="7ISVfSIf2T" role="3cqZAp">
<node concept="2YIFZM" id="7ISVfSIf4g" role="3clFbG">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt$y" resolve="setBackend" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt$y" resolve="setBackend" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<node concept="37vLTw" id="5jPBdK_KfE" role="37wK5m">
<ref role="3cqZAo" node="5jPBdK_KfB" resolve="ourBackend" />
</node>
@ -4837,8 +4834,8 @@
<node concept="3clFbS" id="5jPBdK_KqE" role="3clF47">
<node concept="3clFbF" id="5jPBdK_KqF" role="3cqZAp">
<node concept="2YIFZM" id="5jPBdK_KEq" role="3clFbG">
<ref role="37wK5l" to="rchb:5jPBdK_JeZ" resolve="clearBackend" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5jPBdK_JeZ" resolve="clearBackend" />
<node concept="37vLTw" id="5jPBdK_KEr" role="37wK5m">
<ref role="3cqZAo" node="5jPBdK_KfB" resolve="ourBackend" />
</node>
@ -4903,7 +4900,7 @@
<node concept="3uibUv" id="5jPBdK_dX2" role="3clF45">
<ref role="3uigEE" to="wyt6:~Iterable" resolve="Iterable" />
<node concept="3uibUv" id="5jPBdK_dX3" role="11_B2D">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
</node>
<node concept="3Tm1VV" id="5jPBdK_dX4" role="1B3o_S" />
@ -4935,7 +4932,7 @@
<node concept="37vLTG" id="5jPBdK_dXi" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="5jPBdK_dXj" role="1tU5fm">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
</node>
<node concept="3uibUv" id="5jPBdK_dXk" role="3clF45">
@ -4957,13 +4954,13 @@
<property role="TrG5h" value="Config" />
<node concept="3Tm1VV" id="5jPBdK_mRp" role="1B3o_S" />
<node concept="3uibUv" id="5jPBdK_n1a" role="1zkMxy">
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
<ref role="3uigEE" to="qrld:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
</node>
<node concept="3clFbW" id="6X5F0NgIsD1" role="jymVt">
<node concept="37vLTG" id="6X5F0NgIsWe" role="3clF46">
<property role="TrG5h" value="program" />
<node concept="3uibUv" id="6X5F0NgIt0n" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="3cqZAl" id="6X5F0NgIsD3" role="3clF45" />
@ -4991,12 +4988,12 @@
<property role="TrG5h" value="predicateSymbols" />
<node concept="8X2XB" id="5jPBdK_npk" role="1tU5fm">
<node concept="3uibUv" id="5jPBdK_npl" role="8Xvag">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
</node>
<node concept="3uibUv" id="5jPBdK_npm" role="3clF45">
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
<ref role="3uigEE" to="qrld:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
</node>
<node concept="3Tm1VV" id="5jPBdK_npn" role="1B3o_S" />
<node concept="3clFbS" id="5jPBdK_npp" role="3clF47">
@ -5028,7 +5025,7 @@
</node>
</node>
<node concept="3uibUv" id="5jPBdK_npv" role="3clF45">
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
<ref role="3uigEE" to="qrld:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
</node>
<node concept="3Tm1VV" id="5jPBdK_npw" role="1B3o_S" />
<node concept="3clFbS" id="5jPBdK_npy" role="3clF47">
@ -5051,7 +5048,7 @@
</node>
</node>
<node concept="3uibUv" id="5jPBdK_npE" role="3clF45">
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
<ref role="3uigEE" to="qrld:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
</node>
<node concept="3Tm1VV" id="5jPBdK_npF" role="1B3o_S" />
<node concept="3clFbS" id="5jPBdK_npH" role="3clF47">
@ -5064,7 +5061,7 @@
<property role="TrG5h" value="start" />
<property role="1EzhhJ" value="false" />
<node concept="3uibUv" id="5jPBdK_npL" role="3clF45">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
<node concept="3Tm1VV" id="5jPBdK_npM" role="1B3o_S" />
<node concept="3clFbS" id="5jPBdK_npO" role="3clF47">
@ -5119,7 +5116,7 @@
<node concept="3Tm6S6" id="5jPBdK_qdC" role="1B3o_S" />
<node concept="10Q1$e" id="5jPBdK_qn0" role="1tU5fm">
<node concept="3uibUv" id="5jPBdK_qdF" role="10Q1$1">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
</node>
@ -5127,7 +5124,7 @@
<property role="TrG5h" value="program" />
<node concept="3Tm6S6" id="6X5F0NgIt2R" role="1B3o_S" />
<node concept="3uibUv" id="6X5F0NgIt2T" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
</node>
@ -5137,14 +5134,14 @@
<property role="TrG5h" value="Backend" />
<node concept="3Tm1VV" id="5jPBdK_dKe" role="1B3o_S" />
<node concept="3uibUv" id="5jPBdK_dR3" role="EKbjA">
<ref role="3uigEE" to="rchb:5uFPQ7BwtoR" resolve="EvaluationSession.Backend" />
<ref role="3uigEE" to="qrld:5uFPQ7BwtoR" resolve="EvaluationSession.Backend" />
</node>
<node concept="2tJIrI" id="5jPBdK_dUF" role="jymVt" />
<node concept="3clFb_" id="5jPBdK_dRk" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="current" />
<node concept="3uibUv" id="5jPBdK_dRl" role="3clF45">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
<node concept="3Tm1VV" id="5jPBdK_dRm" role="1B3o_S" />
<node concept="3clFbS" id="5jPBdK_dRo" role="3clF47">
@ -5162,11 +5159,11 @@
<node concept="37vLTG" id="6X5F0NgIslG" role="3clF46">
<property role="TrG5h" value="program" />
<node concept="3uibUv" id="6X5F0NgIsrs" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="3uibUv" id="5jPBdK_dSi" role="3clF45">
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
<ref role="3uigEE" to="qrld:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
</node>
<node concept="3Tm1VV" id="5jPBdK_dSj" role="1B3o_S" />
<node concept="3clFbS" id="5jPBdK_dSl" role="3clF47">
@ -5185,7 +5182,7 @@
</node>
<node concept="3Tm1VV" id="5jPBdK_dIT" role="1B3o_S" />
<node concept="3uibUv" id="5jPBdK_dJd" role="1zkMxy">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
<node concept="312cEg" id="5jPBdK_qYD" role="jymVt">
<property role="TrG5h" value="sessionSolver" />

View File

@ -18,7 +18,6 @@
<dependency reexport="false">df345b11-b8c7-4213-ac66-48d2a9b75d88(jetbrains.mps.baseLanguageInternal)</dependency>
<dependency reexport="true">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
<dependency reexport="true">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
<dependency reexport="false">121937e8-9efc-4551-81fc-50dc0319618e(jetbrains.mps.lang.typesystem2.samplechecker)</dependency>
</dependencies>
<usedDevKits>
<usedDevKit>2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)</usedDevKit>
@ -74,7 +73,6 @@
<module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
<module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)" version="0" />
<module reference="121937e8-9efc-4551-81fc-50dc0319618e(jetbrains.mps.lang.typesystem2.samplechecker)" version="0" />
<module reference="35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic)" version="0" />
<module reference="7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)" version="0" />
<module reference="760652ad-c01a-495e-9510-ed51532f617b(jetbrains.mps.logic.jchr)" version="0" />

View File

@ -32,7 +32,7 @@
<import index="tprs" ref="r:00000000-0000-4000-0000-011c895904a4(jetbrains.mps.ide.actions)" />
<import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.builtin.unification)" />
<import index="i348" ref="r:42a15dec-83a9-4fe1-80d6-3bf898c512bd(jetbrains.mps.lang.typesystem2.template)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="ie8e" ref="r:ab2605ab-b4bc-4e80-a8ca-19a4a8465c01(jetbrains.mps.logic.atom)" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
<import index="kqnc" ref="r:92b96158-68e6-4f53-a32b-36e2b456fe01(jetbrains.mps.lang.typesystem2.samplechecker.template)" />
@ -812,7 +812,7 @@
<node concept="3cpWsn" id="4pWvZ2nh4hX" role="1Duv9x">
<property role="TrG5h" value="rh" />
<node concept="3uibUv" id="65oL76bX6ve" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="2OqwBi" id="4pWvZ2nh4hZ" role="1DdaDG">
@ -1012,7 +1012,7 @@
<node concept="3Tmbuc" id="4pWvZ2nEi3G" role="1B3o_S" />
<node concept="A3Dl8" id="4pWvZ2nEi3H" role="3clF45">
<node concept="3uibUv" id="4pWvZ2nEq5W" role="A3Ik2">
<ref role="3uigEE" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
<ref role="3uigEE" to="rchb:5uFPQ7B$Pn9" resolve="AndItem" />
</node>
</node>
<node concept="3clFbS" id="4pWvZ2nEi3J" role="3clF47">
@ -1041,14 +1041,14 @@
<node concept="YeOm9" id="4pWvZ2nExeM" role="2ShVmc">
<node concept="1Y3b0j" id="4pWvZ2nExeP" role="YeSDq">
<property role="2bfB8j" value="true" />
<ref role="1Y3XeK" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
<ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
<ref role="1Y3XeK" to="rchb:5uFPQ7B$Pn9" resolve="AndItem" />
<node concept="3Tm1VV" id="4pWvZ2nExeQ" role="1B3o_S" />
<node concept="3clFb_" id="4pWvZ2nExeR" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="4pWvZ2nExeS" role="3clF45">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
<node concept="3Tm1VV" id="4pWvZ2nExeT" role="1B3o_S" />
<node concept="3clFbS" id="4pWvZ2nExeV" role="3clF47">
@ -1069,7 +1069,7 @@
</node>
</node>
<node concept="3uibUv" id="4pWvZ2nE$o3" role="10QFUM">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
</node>
@ -1175,7 +1175,7 @@
<ref role="3cqZAo" node="4pWvZ2nHjyr" resolve="co" />
</node>
<node concept="liA8E" id="7HUwyZaHFE5" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7B_b06" resolve="arguments" />
<ref role="37wK5l" to="rchb:5uFPQ7B_b06" resolve="arguments" />
</node>
</node>
</node>
@ -1273,7 +1273,7 @@
<ref role="3cqZAo" to="i348:5uFPQ7CgjLS" resolve="TYPEOF_SYM" />
</node>
<node concept="liA8E" id="4pWvZ2nHjyk" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
<node concept="liA8E" id="4pWvZ2nHjyl" role="2OqNvi">
@ -1284,11 +1284,11 @@
<ref role="3cqZAo" node="4pWvZ2nHjyr" resolve="co" />
</node>
<node concept="liA8E" id="4pWvZ2nHjyp" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7BE$9i" resolve="symbol" />
<ref role="37wK5l" to="rchb:5uFPQ7BE$9i" resolve="symbol" />
</node>
</node>
<node concept="liA8E" id="4pWvZ2nHjyq" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
</node>
@ -1298,7 +1298,7 @@
<node concept="3cpWsn" id="4pWvZ2nHjyr" role="1Duv9x">
<property role="TrG5h" value="co" />
<node concept="3uibUv" id="4pWvZ2nHjys" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
<ref role="3uigEE" to="rchb:5uFPQ7B$Pn9" resolve="AndItem" />
</node>
</node>
<node concept="1rXfSq" id="4pWvZ2nHjyt" role="1DdaDG">
@ -1338,7 +1338,7 @@
<ref role="3cqZAo" node="4pWvZ2oeTnK" resolve="co" />
</node>
<node concept="liA8E" id="7HUwyZaMFjI" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7B_b06" resolve="arguments" />
<ref role="37wK5l" to="rchb:5uFPQ7B_b06" resolve="arguments" />
</node>
</node>
</node>
@ -1438,11 +1438,11 @@
<ref role="3cqZAo" node="4pWvZ2oeTnK" resolve="co" />
</node>
<node concept="liA8E" id="4pWvZ2oeTmU" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7BE$9i" resolve="symbol" />
<ref role="37wK5l" to="rchb:5uFPQ7BE$9i" resolve="symbol" />
</node>
</node>
<node concept="liA8E" id="4pWvZ2oeTmV" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
</node>
@ -1570,11 +1570,11 @@
<ref role="3cqZAo" node="4pWvZ2oeTnK" resolve="co" />
</node>
<node concept="liA8E" id="4pWvZ2oeTnI" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7BE$9i" resolve="symbol" />
<ref role="37wK5l" to="rchb:5uFPQ7BE$9i" resolve="symbol" />
</node>
</node>
<node concept="liA8E" id="4pWvZ2oeTnJ" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
</node>
@ -1584,7 +1584,7 @@
<node concept="3cpWsn" id="4pWvZ2oeTnK" role="1Duv9x">
<property role="TrG5h" value="co" />
<node concept="3uibUv" id="4pWvZ2oeTnL" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
<ref role="3uigEE" to="rchb:5uFPQ7B$Pn9" resolve="AndItem" />
</node>
</node>
<node concept="1rXfSq" id="4pWvZ2oeTnM" role="1DdaDG">

View File

@ -14,7 +14,7 @@
<import index="yt73" ref="7526e0cf-1ce7-46f8-a555-9eca1e06c23b/java:jetbrains.mps.unification(jetbrains.mps.logic.atom/)" />
<import index="45ys" ref="r:7365f7fe-12e6-4229-8901-f6dc6d5df03f(jetbrains.mps.logic.reactor.logical)" />
<import index="yg8f" ref="r:e213377a-f1a7-4ba7-9d08-96bcb97ed8ce(jetbrains.mps.logic.builtin)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="ie8e" ref="r:ab2605ab-b4bc-4e80-a8ca-19a4a8465c01(jetbrains.mps.logic.atom)" />
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
<import index="iawt" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:runtime.debug(jetbrains.mps.jchr.runtime/)" />
@ -1701,7 +1701,7 @@
<property role="TrG5h" value="myRule" />
<node concept="3Tm1VV" id="4pWvZ2n8ztQ" role="1B3o_S" />
<node concept="3uibUv" id="4pWvZ2n8zvj" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$9y" resolve="Rule" />
<ref role="3uigEE" to="rchb:7eGEHDlc$9y" resolve="Rule" />
</node>
</node>
<node concept="312cEg" id="4pWvZ2n8zyk" role="jymVt">
@ -1801,7 +1801,7 @@
<node concept="37vLTG" id="4pWvZ2n8$Mq" role="3clF46">
<property role="TrG5h" value="rule" />
<node concept="3uibUv" id="4pWvZ2n8$Mp" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$9y" resolve="Rule" />
<ref role="3uigEE" to="rchb:7eGEHDlc$9y" resolve="Rule" />
</node>
</node>
</node>
@ -1900,14 +1900,14 @@
<node concept="3cpWsn" id="4pWvZ2nKWeY" role="3cpWs9">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="4pWvZ2nKWeZ" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
<node concept="2OqwBi" id="4pWvZ2nKWf0" role="33vP2m">
<node concept="37vLTw" id="4pWvZ2nKWf1" role="2Oq$k0">
<ref role="3cqZAo" node="4pWvZ2nKWgB" resolve="constraint" />
</node>
<node concept="liA8E" id="4pWvZ2nKWf2" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7BE$9i" resolve="symbol" />
<ref role="37wK5l" to="rchb:5uFPQ7BE$9i" resolve="symbol" />
</node>
</node>
</node>
@ -1931,7 +1931,7 @@
<ref role="3cqZAo" node="4pWvZ2nKWgB" resolve="constraint" />
</node>
<node concept="liA8E" id="7HUwyZaMZ77" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7B_b06" resolve="arguments" />
<ref role="37wK5l" to="rchb:5uFPQ7B_b06" resolve="arguments" />
</node>
</node>
<node concept="3uibUv" id="7HUwyZaMZr$" role="10QFUM">
@ -1969,7 +1969,7 @@
<ref role="3cqZAo" node="4pWvZ2nKWeY" resolve="symbol" />
</node>
<node concept="liA8E" id="1XX620LfyU4" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMv$" resolve="arity" />
<ref role="37wK5l" to="rchb:54i3FxcZMv$" resolve="arity" />
</node>
</node>
</node>
@ -2041,7 +2041,7 @@
<ref role="3cqZAo" node="4pWvZ2nKWeY" resolve="symbol" />
</node>
<node concept="liA8E" id="4pWvZ2oa_fO" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
</node>
@ -2445,7 +2445,7 @@
<property role="TrG5h" value="constraint" />
<property role="3TUv4t" value="true" />
<node concept="3uibUv" id="4pWvZ2nKWgC" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
<ref role="3uigEE" to="rchb:5uFPQ7B$Pn9" resolve="AndItem" />
</node>
</node>
<node concept="3Tm1VV" id="4pWvZ2nKWeV" role="1B3o_S" />
@ -2699,7 +2699,7 @@
<property role="3TUv4t" value="false" />
<node concept="3Tm6S6" id="4pWvZ2nHHT0" role="1B3o_S" />
<node concept="3uibUv" id="65oL76bXosI" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="312cEg" id="4pWvZ2nh_ow" role="jymVt">
@ -2734,7 +2734,7 @@
<node concept="37vLTG" id="4pWvZ2n32bo" role="3clF46">
<property role="TrG5h" value="handler" />
<node concept="3uibUv" id="65oL76bXa_P" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="37vLTG" id="1XX620LaDFN" role="3clF46">
@ -2849,10 +2849,10 @@
<ref role="37wK5l" node="4pWvZ2nKWeS" resolve="constraintToTerm" />
<node concept="2ShNRf" id="4pWvZ2n8tQN" role="37wK5m">
<node concept="1pGfFk" id="4pWvZ2n8vS2" role="2ShVmc">
<ref role="37wK5l" to="qrld:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<ref role="37wK5l" to="rchb:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<node concept="2YIFZM" id="5uFPQ7CgepP" role="37wK5m">
<ref role="1Pybhc" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="37wK5l" to="qrld:54i3FxcZQAb" resolve="symbol" />
<ref role="37wK5l" to="rchb:54i3FxcZQAb" resolve="symbol" />
<ref role="1Pybhc" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
<node concept="2OqwBi" id="4pWvZ2n7sTW" role="37wK5m">
<node concept="3fl2lp" id="4pWvZ2n7sTX" role="2Oq$k0">
<ref role="3fl3PK" to="kqnc:7nkyKX7rINS" resolve="main" />
@ -2906,12 +2906,12 @@
<ref role="2Gs0qQ" node="4pWvZ2n8xOC" resolve="rule" />
</node>
<node concept="liA8E" id="7uwa7WY$r9a" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$9D" resolve="headKept" />
<ref role="37wK5l" to="rchb:7eGEHDlc$9D" resolve="headKept" />
</node>
</node>
<node concept="_YKpA" id="7uwa7WY$r9b" role="10QFUM">
<node concept="3uibUv" id="7uwa7WY$r9c" role="_ZDj9">
<ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
<ref role="3uigEE" to="rchb:6Kcfpq7BfEn" resolve="Constraint" />
</node>
</node>
</node>
@ -2926,12 +2926,12 @@
<ref role="2Gs0qQ" node="4pWvZ2n8xOC" resolve="rule" />
</node>
<node concept="liA8E" id="7uwa7WY$ppp" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$9J" resolve="headReplaced" />
<ref role="37wK5l" to="rchb:7eGEHDlc$9J" resolve="headReplaced" />
</node>
</node>
<node concept="_YKpA" id="7uwa7WY$ppq" role="10QFUM">
<node concept="3uibUv" id="7uwa7WY$ppr" role="_ZDj9">
<ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
<ref role="3uigEE" to="rchb:6Kcfpq7BfEn" resolve="Constraint" />
</node>
</node>
</node>
@ -2988,12 +2988,12 @@
<ref role="2Gs0qQ" node="4pWvZ2n8xOC" resolve="rule" />
</node>
<node concept="liA8E" id="5DGJruk76D$" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$9J" resolve="headReplaced" />
<ref role="37wK5l" to="rchb:7eGEHDlc$9J" resolve="headReplaced" />
</node>
</node>
<node concept="_YKpA" id="5DGJruk76Dw" role="10QFUM">
<node concept="3uibUv" id="5DGJruk7jfh" role="_ZDj9">
<ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
<ref role="3uigEE" to="rchb:6Kcfpq7BfEn" resolve="Constraint" />
</node>
</node>
</node>
@ -3062,12 +3062,12 @@
<ref role="2Gs0qQ" node="4pWvZ2n8xOC" resolve="rule" />
</node>
<node concept="liA8E" id="5DGJruk7suh" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$9D" resolve="headKept" />
<ref role="37wK5l" to="rchb:7eGEHDlc$9D" resolve="headKept" />
</node>
</node>
<node concept="_YKpA" id="5DGJruk7sui" role="10QFUM">
<node concept="3uibUv" id="5DGJruk7suj" role="_ZDj9">
<ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
<ref role="3uigEE" to="rchb:6Kcfpq7BfEn" resolve="Constraint" />
</node>
</node>
</node>
@ -3135,12 +3135,12 @@
<ref role="2Gs0qQ" node="4pWvZ2n8xOC" resolve="rule" />
</node>
<node concept="liA8E" id="5DGJruk7z$s" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$9P" resolve="guard" />
<ref role="37wK5l" to="rchb:7eGEHDlc$9P" resolve="guard" />
</node>
</node>
<node concept="A3Dl8" id="5DGJruk7z$o" role="10QFUM">
<node concept="3uibUv" id="5DGJruk7zN9" role="A3Ik2">
<ref role="3uigEE" to="qrld:6Kcfpq7Bj7q" resolve="Predicate" />
<ref role="3uigEE" to="rchb:6Kcfpq7Bj7q" resolve="Predicate" />
</node>
</node>
</node>
@ -3207,19 +3207,19 @@
<ref role="2Gs0qQ" node="4pWvZ2n8xOC" resolve="rule" />
</node>
<node concept="liA8E" id="5DGJruk7MOO" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$9V" resolve="body" />
<ref role="37wK5l" to="rchb:7eGEHDlc$9V" resolve="body" />
</node>
</node>
<node concept="A3Dl8" id="5DGJruk7MOP" role="10QFUM">
<node concept="3uibUv" id="5DGJruk7RwH" role="A3Ik2">
<ref role="3uigEE" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
<ref role="3uigEE" to="rchb:5uFPQ7B$Pn9" resolve="AndItem" />
</node>
</node>
</node>
</node>
<node concept="UnYns" id="5DGJruk7Vv$" role="2OqNvi">
<node concept="3uibUv" id="5DGJruk7VMm" role="UnYnz">
<ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
<ref role="3uigEE" to="rchb:6Kcfpq7BfEn" resolve="Constraint" />
</node>
</node>
</node>
@ -3285,19 +3285,19 @@
<ref role="2Gs0qQ" node="4pWvZ2n8xOC" resolve="rule" />
</node>
<node concept="liA8E" id="5DGJruk7W54" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$9V" resolve="body" />
<ref role="37wK5l" to="rchb:7eGEHDlc$9V" resolve="body" />
</node>
</node>
<node concept="A3Dl8" id="5DGJruk7W55" role="10QFUM">
<node concept="3uibUv" id="5DGJruk7W56" role="A3Ik2">
<ref role="3uigEE" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
<ref role="3uigEE" to="rchb:5uFPQ7B$Pn9" resolve="AndItem" />
</node>
</node>
</node>
</node>
<node concept="UnYns" id="5DGJruk7W57" role="2OqNvi">
<node concept="3uibUv" id="5DGJruk7YDG" role="UnYnz">
<ref role="3uigEE" to="qrld:6Kcfpq7Bj7q" resolve="Predicate" />
<ref role="3uigEE" to="rchb:6Kcfpq7Bj7q" resolve="Predicate" />
</node>
</node>
</node>
@ -3832,7 +3832,7 @@
</node>
</node>
<node concept="3uibUv" id="4pWvZ2ooSaa" role="10QFUM">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="2OqwBi" id="4pWvZ2ooSab" role="37wK5m">
@ -4131,7 +4131,7 @@
</node>
</node>
<node concept="3uibUv" id="4pWvZ2ocIRz" role="10QFUM">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
<node concept="2OqwBi" id="4pWvZ2nI5EX" role="37wK5m">
@ -4323,7 +4323,7 @@
</node>
</node>
<node concept="liA8E" id="5DGJrujXTLa" role="2OqNvi">
<ref role="37wK5l" to="i8dg:6lpwCiZj$RR" resolve="tag" />
<ref role="37wK5l" to="rchb:6lpwCiZj$RR" resolve="tag" />
</node>
</node>
</node>

View File

@ -10,7 +10,7 @@
<import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.builtin.unification)" />
<import index="ie8e" ref="r:ab2605ab-b4bc-4e80-a8ca-19a4a8465c01(jetbrains.mps.logic.atom)" />
<import index="4r4j" ref="r:94702bd0-f623-44e8-af0a-f2730f7d2518(jetbrains.mps.lang.typesystem2.samplechecker.handle.util)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="95zw" ref="r:f3ff7852-b9dd-4760-b213-a8a031c77d0e(jetbrains.mps.logic.jchr.predicate)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
<import index="stgg" ref="r:fcdb37a4-4602-4a05-8d91-e439430734b8(jetbrains.mps.logic.jchr.program)" />
@ -344,11 +344,11 @@
<node concept="2OqwBi" id="5jPBdK_vpp" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_vmP" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_vlo" role="2Oq$k0">
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdK_voQ" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdK_vsV" role="2OqNvi">
@ -593,11 +593,11 @@
<node concept="2OqwBi" id="5jPBdK_vXi" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_vXj" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_vXk" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdK_vXl" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdK_vXm" role="2OqNvi">
@ -828,11 +828,11 @@
<node concept="2OqwBi" id="5jPBdK_wc9" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_wca" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_wcb" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdK_wcc" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdK_wcd" role="2OqNvi">
@ -1091,11 +1091,11 @@
<node concept="2OqwBi" id="5jPBdK_w_f" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_w_g" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_w_h" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdK_w_i" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdK_w_j" role="2OqNvi">
@ -1509,11 +1509,11 @@
<node concept="2OqwBi" id="5jPBdK_wPr" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_wPs" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_wPt" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdK_wPu" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdK_wPv" role="2OqNvi">
@ -1986,11 +1986,11 @@
<node concept="2OqwBi" id="5jPBdK_x7A" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_x7B" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_x7C" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdK_x7D" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdK_x7E" role="2OqNvi">
@ -2520,11 +2520,11 @@
<node concept="2OqwBi" id="5jPBdK_xqQ" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_xqR" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_xqS" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdK_xqT" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdK_xqU" role="2OqNvi">
@ -2975,11 +2975,11 @@
<node concept="2OqwBi" id="5jPBdK_xIj" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_xIk" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_xIl" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdK_xIm" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdK_xIn" role="2OqNvi">
@ -3454,11 +3454,11 @@
<node concept="2OqwBi" id="5jPBdK_y0X" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_y0Y" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_y0Z" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdK_y10" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdK_y11" role="2OqNvi">
@ -3795,11 +3795,11 @@
<node concept="2OqwBi" id="5jPBdK_yj4" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_yj5" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_yj6" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdK_yj7" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdK_yj8" role="2OqNvi">
@ -3833,12 +3833,12 @@
<node concept="2OqwBi" id="5jPBdK_uYD" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_uUg" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_uTI" role="2Oq$k0">
<ref role="37wK5l" to="rchb:7ISVfSIwfH" resolve="newSession" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:7ISVfSIwfH" resolve="newSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<node concept="10Nm6u" id="6X5F0NgIltC" role="37wK5m" />
</node>
<node concept="liA8E" id="5jPBdK_uVI" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7Bwu9Q" resolve="withPredicates" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwu9Q" resolve="withPredicates" />
<node concept="10M0yZ" id="5jPBdK_uXa" role="37wK5m">
<ref role="3cqZAo" to="oy3s:5uFPQ7C23RV" resolve="EQ_SYM" />
<ref role="1PxDUh" to="oy3s:3HJTsBn4kk_" resolve="EqualsPredicate" />
@ -3850,7 +3850,7 @@
</node>
</node>
<node concept="liA8E" id="5jPBdK_v1h" role="2OqNvi">
<ref role="37wK5l" to="rchb:7ISVfSIuSh" resolve="start" />
<ref role="37wK5l" to="qrld:7ISVfSIuSh" resolve="start" />
</node>
</node>
</node>
@ -4200,11 +4200,11 @@
<node concept="2OqwBi" id="5jPBdK_R$S" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_R$T" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_R$U" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5jPBdK_R$V" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
<node concept="liA8E" id="5jPBdK_R$W" role="2OqNvi">
@ -4238,12 +4238,12 @@
<node concept="2OqwBi" id="5jPBdK_QKm" role="3clFbG">
<node concept="2OqwBi" id="5jPBdK_QKn" role="2Oq$k0">
<node concept="2YIFZM" id="5jPBdK_QKo" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:7ISVfSIwfH" resolve="newSession" />
<ref role="37wK5l" to="qrld:7ISVfSIwfH" resolve="newSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<node concept="10Nm6u" id="6X5F0NgIlBS" role="37wK5m" />
</node>
<node concept="liA8E" id="5jPBdK_QKp" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7Bwu9Q" resolve="withPredicates" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwu9Q" resolve="withPredicates" />
<node concept="10M0yZ" id="5jPBdK_QKq" role="37wK5m">
<ref role="1PxDUh" to="oy3s:3HJTsBn4kk_" resolve="EqualsPredicate" />
<ref role="3cqZAo" to="oy3s:5uFPQ7C23RV" resolve="EQ_SYM" />
@ -4255,7 +4255,7 @@
</node>
</node>
<node concept="liA8E" id="5jPBdK_QKs" role="2OqNvi">
<ref role="37wK5l" to="rchb:7ISVfSIuSh" resolve="start" />
<ref role="37wK5l" to="qrld:7ISVfSIuSh" resolve="start" />
</node>
</node>
</node>

View File

@ -12,7 +12,7 @@
<import index="ie8e" ref="r:ab2605ab-b4bc-4e80-a8ca-19a4a8465c01(jetbrains.mps.logic.atom)" />
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
<import index="95zw" ref="r:f3ff7852-b9dd-4760-b213-a8a031c77d0e(jetbrains.mps.logic.jchr.predicate)" />
<import index="45ys" ref="r:7365f7fe-12e6-4229-8901-f6dc6d5df03f(jetbrains.mps.logic.reactor.logical)" />
@ -357,11 +357,11 @@
</node>
<node concept="2OqwBi" id="5uFPQ7ClQgs" role="33vP2m">
<node concept="2YIFZM" id="5uFPQ7ClQgt" role="2Oq$k0">
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5uFPQ7ClQgu" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
</node>
@ -1760,11 +1760,11 @@
</node>
<node concept="2OqwBi" id="5uFPQ7ClVCM" role="33vP2m">
<node concept="2YIFZM" id="5uFPQ7ClVCN" role="2Oq$k0">
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="rchb:5uFPQ7Bwt5n" resolve="current" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwt5n" resolve="current" />
</node>
<node concept="liA8E" id="5uFPQ7ClVCO" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="sessionSolver" />
<ref role="37wK5l" to="qrld:5uFPQ7ClOzA" resolve="sessionSolver" />
</node>
</node>
</node>

View File

@ -13,8 +13,9 @@
<dependency reexport="false">7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)</dependency>
<dependency reexport="false">26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)</dependency>
<dependency reexport="false">f61473f9-130f-42f6-b98d-6c438812c2f6(jetbrains.mps.baseLanguage.unitTest)</dependency>
<dependency reexport="false">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
<dependency reexport="true">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
<dependency reexport="false">9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util)</dependency>
<dependency reexport="true">b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)</dependency>
</dependencies>
<languageVersions>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" fqName="jetbrains.mps.baseLanguage" version="4" />

View File

@ -20,7 +20,7 @@
<import index="q7tw" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:org.apache.log4j(MPS.Core/)" />
<import index="xq5w" ref="r:729bada4-05fa-458f-8bf8-28b9cb978726(jetbrains.mps.logic.builtin.var)" />
<import index="45ys" ref="r:7365f7fe-12e6-4229-8901-f6dc6d5df03f(jetbrains.mps.logic.reactor.logical)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
<import index="i8dg" ref="r:e8529b97-a186-4c32-8f12-771b2a92b55a(jetbrains.mps.logic.reactor.rule)" />
<import index="95zw" ref="r:f3ff7852-b9dd-4760-b213-a8a031c77d0e(jetbrains.mps.logic.jchr.predicate)" />
@ -276,7 +276,7 @@
<node concept="3Tm1VV" id="5mr7UHcbl_B" role="1B3o_S" />
<node concept="10Q1$e" id="5mr7UHcbnc4" role="1tU5fm">
<node concept="3uibUv" id="5mr7UHcbq0Z" role="10Q1$1">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="2ShNRf" id="5mr7UHcbowK" role="33vP2m">
@ -318,7 +318,7 @@
<ref role="1PxDUh" to="qrld:5uFPQ7BMJeJ" resolve="JavaPredicateSymbol" />
</node>
<node concept="3uibUv" id="5mr7UHcbqo2" role="3g7fb8">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
</node>
@ -508,17 +508,17 @@
<node concept="3cpWsn" id="5mr7UHcbsDS" role="3cpWs9">
<property role="TrG5h" value="evaluationSession" />
<node concept="3uibUv" id="5mr7UHcbsDe" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
<node concept="2OqwBi" id="5mr7UHcbsDT" role="33vP2m">
<node concept="2OqwBi" id="5mr7UHcbsDV" role="2Oq$k0">
<node concept="2OqwBi" id="5mr7UHcbsDW" role="2Oq$k0">
<node concept="2YIFZM" id="5mr7UHcbsDX" role="2Oq$k0">
<ref role="37wK5l" to="rchb:7ISVfSIwfH" resolve="newSession" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:7ISVfSIwfH" resolve="newSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<node concept="2ShNRf" id="7FFmDVAI9Ky" role="37wK5m">
<node concept="1pGfFk" id="7FFmDVAIa8C" role="2ShVmc">
<ref role="37wK5l" node="7FFmDVAI8Mx" resolve="MockPlanningSession" />
<ref role="37wK5l" node="7FFmDVAI8Mx" resolve="MockProgram" />
<node concept="37vLTw" id="7FFmDVAIsS9" role="37wK5m">
<ref role="3cqZAo" node="7FFmDVAIsS6" resolve="sessionSolver" />
</node>
@ -526,7 +526,7 @@
</node>
</node>
<node concept="liA8E" id="5mr7UHcbsDY" role="2OqNvi">
<ref role="37wK5l" to="rchb:5mr7UHcbbR2" resolve="withParam" />
<ref role="37wK5l" to="qrld:5mr7UHcbbR2" resolve="withParam" />
<node concept="Xl_RD" id="5mr7UHcbsDZ" role="37wK5m">
<property role="Xl_RC" value="jchr.handler.class" />
</node>
@ -536,14 +536,14 @@
</node>
</node>
<node concept="liA8E" id="5mr7UHcbsE1" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7Bwu9Q" resolve="withPredicates" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwu9Q" resolve="withPredicates" />
<node concept="37vLTw" id="5mr7UHcdeDp" role="37wK5m">
<ref role="3cqZAo" node="5mr7UHcbnci" resolve="PREDICATE_SYMBOLS" />
</node>
</node>
</node>
<node concept="liA8E" id="5mr7UHcbsE5" role="2OqNvi">
<ref role="37wK5l" to="rchb:7ISVfSIuSh" resolve="start" />
<ref role="37wK5l" to="qrld:7ISVfSIuSh" resolve="start" />
</node>
</node>
</node>
@ -581,7 +581,7 @@
<ref role="3cqZAo" node="5mr7UHcbsDS" resolve="evaluationSession" />
</node>
<node concept="liA8E" id="5mr7UHcdksH" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7BvQxv" resolve="constraintOccurrences" />
<ref role="37wK5l" to="qrld:5uFPQ7BvQxv" resolve="constraintOccurrences" />
</node>
</node>
</node>
@ -785,7 +785,7 @@
</node>
</node>
<node concept="liA8E" id="5mr7UHcdfCa" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7B_aTC" resolve="symbol" />
<ref role="37wK5l" to="rchb:5uFPQ7B_aTC" resolve="symbol" />
</node>
</node>
</node>
@ -1493,10 +1493,10 @@
<node concept="3Tm1VV" id="3Qp4N06bZos" role="1B3o_S" />
</node>
<node concept="312cEu" id="7FFmDVAI5js">
<property role="TrG5h" value="MockPlanningSession" />
<property role="TrG5h" value="MockProgram" />
<node concept="3Tm1VV" id="7FFmDVAI5jt" role="1B3o_S" />
<node concept="3uibUv" id="7FFmDVAI5rF" role="1zkMxy">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
<node concept="2tJIrI" id="7FFmDVAI8rr" role="jymVt" />
<node concept="3clFbW" id="7FFmDVAI8Mx" role="jymVt">
@ -1561,7 +1561,7 @@
<node concept="3uibUv" id="7FFmDVAI5vL" role="3clF45">
<ref role="3uigEE" to="wyt6:~Iterable" resolve="Iterable" />
<node concept="3uibUv" id="7FFmDVAI5vM" role="11_B2D">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
</node>
<node concept="3Tm1VV" id="7FFmDVAI5vN" role="1B3o_S" />
@ -1577,7 +1577,7 @@
<node concept="37vLTG" id="7FFmDVAI5vT" role="3clF46">
<property role="TrG5h" value="constraintSymbol" />
<node concept="3uibUv" id="7FFmDVAI5vU" role="1tU5fm">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
</node>
<node concept="3uibUv" id="7FFmDVAI5vV" role="3clF45">
@ -1600,7 +1600,7 @@
<node concept="3uibUv" id="7FFmDVAI5w4" role="3clF45">
<ref role="3uigEE" to="wyt6:~Iterable" resolve="Iterable" />
<node concept="3uibUv" id="7FFmDVAI5w5" role="11_B2D">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="3Tm1VV" id="7FFmDVAI5w6" role="1B3o_S" />
@ -1610,37 +1610,13 @@
</node>
</node>
</node>
<node concept="3clFb_" id="7FFmDVAI5wb" role="jymVt">
<property role="TrG5h" value="solverClass" />
<property role="1EzhhJ" value="false" />
<node concept="37vLTG" id="7FFmDVAI5wc" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="7FFmDVAI5wd" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="3uibUv" id="7FFmDVAI5we" role="3clF45">
<ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
<node concept="3qUE_q" id="7FFmDVAI5wf" role="11_B2D">
<node concept="3uibUv" id="7FFmDVAI5wg" role="3qUE_r">
<ref role="3uigEE" to="qrld:6Kcfpq7AYBh" resolve="Queryable" />
</node>
</node>
</node>
<node concept="3Tm1VV" id="7FFmDVAI5wh" role="1B3o_S" />
<node concept="3clFbS" id="7FFmDVAI5wj" role="3clF47">
<node concept="3clFbF" id="7FFmDVAI5wl" role="3cqZAp">
<node concept="10Nm6u" id="7FFmDVAI5wk" role="3clFbG" />
</node>
</node>
</node>
<node concept="3clFb_" id="7FFmDVAI5wm" role="jymVt">
<property role="TrG5h" value="rules" />
<property role="1EzhhJ" value="false" />
<node concept="3uibUv" id="7FFmDVAI5wn" role="3clF45">
<ref role="3uigEE" to="wyt6:~Iterable" resolve="Iterable" />
<node concept="3uibUv" id="7FFmDVAI5wo" role="11_B2D">
<ref role="3uigEE" to="i8dg:7eGEHDlc$9y" resolve="Rule" />
<ref role="3uigEE" to="rchb:7eGEHDlc$9y" resolve="Rule" />
</node>
</node>
<node concept="3Tm1VV" id="7FFmDVAI5wp" role="1B3o_S" />
@ -1656,13 +1632,13 @@
<node concept="37vLTG" id="7FFmDVAI5wv" role="3clF46">
<property role="TrG5h" value="rule" />
<node concept="3uibUv" id="7FFmDVAI5ww" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$9y" resolve="Rule" />
<ref role="3uigEE" to="rchb:7eGEHDlc$9y" resolve="Rule" />
</node>
</node>
<node concept="3cqZAl" id="7FFmDVAI5wx" role="3clF45" />
<node concept="3Tm1VV" id="7FFmDVAI5wy" role="1B3o_S" />
<node concept="3uibUv" id="7FFmDVAI5w$" role="Sfmx6">
<ref role="3uigEE" to="i8dg:7Oc59RS$wKP" resolve="InvalidRuleException" />
<ref role="3uigEE" to="rchb:7Oc59RS$wKP" resolve="InvalidRuleException" />
</node>
<node concept="3clFbS" id="7FFmDVAI5w_" role="3clF47" />
</node>
@ -1675,7 +1651,7 @@
<ref role="3uigEE" to="33ny:~Collection" resolve="Collection" />
<node concept="3qUE_q" id="7FFmDVAI5wD" role="11_B2D">
<node concept="3uibUv" id="7FFmDVAI5wE" role="3qUE_r">
<ref role="3uigEE" to="i8dg:7eGEHDlc$9y" resolve="Rule" />
<ref role="3uigEE" to="rchb:7eGEHDlc$9y" resolve="Rule" />
</node>
</node>
</node>
@ -1683,7 +1659,7 @@
<node concept="3cqZAl" id="7FFmDVAI5wF" role="3clF45" />
<node concept="3Tm1VV" id="7FFmDVAI5wG" role="1B3o_S" />
<node concept="3uibUv" id="7FFmDVAI5wI" role="Sfmx6">
<ref role="3uigEE" to="i8dg:7Oc59RS$wKP" resolve="InvalidRuleException" />
<ref role="3uigEE" to="rchb:7Oc59RS$wKP" resolve="InvalidRuleException" />
</node>
<node concept="3clFbS" id="7FFmDVAI5wJ" role="3clF47" />
</node>

View File

@ -2,15 +2,14 @@ package jetbrains.mps.lang.typesystem2.samplechecker.template;
/*Generated by MPS */
import jetbrains.mps.lang.typesystem2.samplechecker.handle.util.LubSolver;
import jetbrains.mps.lang.typesystem2.samplechecker.handle.util.SubtypePathSolver;
import jetbrains.mps.logic.reactor.constraint.Instructible;
import jetbrains.mps.logic.reactor.constraint.PredicateSymbol;
import jetbrains.mps.logic.reactor.constraint.Queryable;
import jetbrains.mps.logic.reactor.constraint.Symbol;
import jetbrains.mps.logic.reactor.logical.Logical;
import jetbrains.mps.logic.reactor.evaluation.Instructible;
import jetbrains.mps.logic.reactor.evaluation.Queryable;
import jetbrains.mps.logic.reactor.program.PredicateSymbol;
import java.util.Arrays;
import jetbrains.mps.logic.reactor.logical.Logical;
import jetbrains.mps.logic.reactor.program.Symbol;
import jetbrains.mps.lang.typesystem2.samplechecker.handle.util.SubtypePathSolver;
import jetbrains.mps.lang.typesystem2.samplechecker.handle.util.LubSolver;
public class ExpressionSolver implements Instructible, Queryable {

View File

@ -12,7 +12,6 @@
<imports>
<import index="kqnc" ref="r:92b96158-68e6-4f53-a32b-36e2b456fe01(jetbrains.mps.lang.typesystem2.samplechecker.template)" />
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
<import index="j8ec" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.baseLanguage.tuples.runtime(MPS.Core/)" />
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
<import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" />
<import index="tp68" ref="r:00000000-0000-4000-0000-011c895903ac(jetbrains.mps.baseLanguageInternal.structure)" />

View File

@ -54,7 +54,7 @@
<import index="z1c4" ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61/java:jetbrains.mps.project(MPS.Platform/)" />
<import index="kqnc" ref="r:92b96158-68e6-4f53-a32b-36e2b456fe01(jetbrains.mps.lang.typesystem2.samplechecker.template)" />
<import index="45ys" ref="r:7365f7fe-12e6-4229-8901-f6dc6d5df03f(jetbrains.mps.logic.reactor.logical)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="i8dg" ref="r:e8529b97-a186-4c32-8f12-771b2a92b55a(jetbrains.mps.logic.reactor.rule)" />
<import index="95zw" ref="r:f3ff7852-b9dd-4760-b213-a8a031c77d0e(jetbrains.mps.logic.jchr.predicate)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
@ -517,7 +517,7 @@
<node concept="37vLTG" id="4boqC9dMoIo" role="3clF46">
<property role="TrG5h" value="planningSession" />
<node concept="3uibUv" id="78CwJJcT_Im" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="10Oyi0" id="3xj1Uscu7dI" role="3clF45" />
@ -588,7 +588,7 @@
<node concept="37vLTG" id="3xj1UscsvA0" role="3clF46">
<property role="TrG5h" value="planningSession" />
<node concept="3uibUv" id="78CwJJcT_SQ" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="3clFbS" id="3xj1UscsvyC" role="3clF47">
@ -596,11 +596,11 @@
<node concept="3cpWsn" id="7nkyKX7mVqS" role="3cpWs9">
<property role="TrG5h" value="main" />
<node concept="3uibUv" id="7nkyKX7mVqP" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
<node concept="2ShNRf" id="7nkyKX7mVqT" role="33vP2m">
<node concept="1pGfFk" id="7nkyKX7mVqU" role="2ShVmc">
<ref role="37wK5l" to="i8dg:6lpwCiZjdph" resolve="RuleBuilder" />
<ref role="37wK5l" to="rchb:6lpwCiZjdph" resolve="RuleBuilder" />
<node concept="Xl_RD" id="7nkyKX7mVqV" role="37wK5m">
<property role="Xl_RC" value="main" />
</node>
@ -614,13 +614,13 @@
<ref role="3cqZAo" node="7nkyKX7mVqS" resolve="main" />
</node>
<node concept="liA8E" id="7nkyKX7sUg2" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$bq" resolve="appendHeadReplaced" />
<ref role="37wK5l" to="rchb:7eGEHDlc$bq" resolve="appendHeadReplaced" />
<node concept="2ShNRf" id="5uFPQ7CfYr4" role="37wK5m">
<node concept="1pGfFk" id="5uFPQ7Cgcmh" role="2ShVmc">
<ref role="37wK5l" to="qrld:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<ref role="37wK5l" to="rchb:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<node concept="2YIFZM" id="5uFPQ7CgepP" role="37wK5m">
<ref role="37wK5l" to="qrld:54i3FxcZQAb" resolve="symbol" />
<ref role="1Pybhc" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="37wK5l" to="rchb:54i3FxcZQAb" resolve="symbol" />
<ref role="1Pybhc" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
<node concept="Xl_RD" id="5uFPQ7Cgf$i" role="37wK5m">
<property role="Xl_RC" value="main" />
</node>
@ -1706,7 +1706,7 @@
<node concept="3Tm1VV" id="5mr7UHcbl_B" role="1B3o_S" />
<node concept="10Q1$e" id="5mr7UHcbnc4" role="1tU5fm">
<node concept="3uibUv" id="5mr7UHcbq0Z" role="10Q1$1">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="2ShNRf" id="5mr7UHcbowK" role="33vP2m">
@ -1748,7 +1748,7 @@
<ref role="3cqZAo" to="qrld:1ggxSI7vV5$" resolve="EXPRESSION3" />
</node>
<node concept="3uibUv" id="5mr7UHcbqo2" role="3g7fb8">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
</node>
@ -1850,7 +1850,7 @@
<ref role="3cqZAo" to="i348:5uFPQ7CgjLS" resolve="TYPEOF_SYM" />
</node>
<node concept="liA8E" id="6UqNvvARsi0" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
</node>
@ -1876,7 +1876,7 @@
<node concept="37vLTG" id="6X5F0Ngiil4" role="3clF46">
<property role="TrG5h" value="program" />
<node concept="3uibUv" id="6X5F0NgiiKX" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="10P_77" id="7dgRGU4pqKb" role="3clF45" />
@ -1962,7 +1962,7 @@
<node concept="3cpWsn" id="5mr7UHcbsDS" role="3cpWs9">
<property role="TrG5h" value="evaluationSession" />
<node concept="3uibUv" id="5mr7UHcbsDe" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
<node concept="2OqwBi" id="5mr7UHcbsDT" role="33vP2m">
<node concept="2OqwBi" id="5mr7UHcbsDU" role="2Oq$k0">
@ -1970,14 +1970,14 @@
<node concept="2OqwBi" id="5jPBdKSAEU" role="2Oq$k0">
<node concept="2OqwBi" id="5mr7UHcbsDW" role="2Oq$k0">
<node concept="2YIFZM" id="5mr7UHcbsDX" role="2Oq$k0">
<ref role="37wK5l" to="rchb:7ISVfSIwfH" resolve="newSession" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="37wK5l" to="qrld:7ISVfSIwfH" resolve="newSession" />
<ref role="1Pybhc" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
<node concept="37vLTw" id="6X5F0NgIpqc" role="37wK5m">
<ref role="3cqZAo" node="6X5F0Ngiil4" resolve="program" />
</node>
</node>
<node concept="liA8E" id="5mr7UHcbsDY" role="2OqNvi">
<ref role="37wK5l" to="rchb:5mr7UHcbbR2" resolve="withParam" />
<ref role="37wK5l" to="qrld:5mr7UHcbbR2" resolve="withParam" />
<node concept="Xl_RD" id="5mr7UHcbsDZ" role="37wK5m">
<property role="Xl_RC" value="jchr.handler.class" />
</node>
@ -1987,7 +1987,7 @@
</node>
</node>
<node concept="liA8E" id="5jPBdKSAMP" role="2OqNvi">
<ref role="37wK5l" to="rchb:5mr7UHcbbR2" resolve="withParam" />
<ref role="37wK5l" to="qrld:5mr7UHcbbR2" resolve="withParam" />
<node concept="Xl_RD" id="5jPBdKSB5t" role="37wK5m">
<property role="Xl_RC" value="jchr.tracer" />
</node>
@ -1997,21 +1997,21 @@
</node>
</node>
<node concept="liA8E" id="5mr7UHcbsE1" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7Bwu9Q" resolve="withPredicates" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwu9Q" resolve="withPredicates" />
<node concept="37vLTw" id="5mr7UHcbsE2" role="37wK5m">
<ref role="3cqZAo" node="5mr7UHcbnci" resolve="PREDICATE_SYMBOLS" />
</node>
</node>
</node>
<node concept="liA8E" id="5mr7UHcbsE3" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7Bwvg_" resolve="withTrace" />
<ref role="37wK5l" to="qrld:5uFPQ7Bwvg_" resolve="withTrace" />
<node concept="37vLTw" id="5mr7UHcbsE4" role="37wK5m">
<ref role="3cqZAo" node="24Vro6cQKgF" resolve="cstracer" />
</node>
</node>
</node>
<node concept="liA8E" id="5mr7UHcbsE5" role="2OqNvi">
<ref role="37wK5l" to="rchb:7ISVfSIuSh" resolve="start" />
<ref role="37wK5l" to="qrld:7ISVfSIuSh" resolve="start" />
</node>
</node>
</node>
@ -2092,7 +2092,7 @@
<ref role="3cqZAo" node="5mr7UHcc5Jp" resolve="cs" />
</node>
<node concept="liA8E" id="7nkyKX7hbMm" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
</node>
@ -2153,7 +2153,7 @@
<ref role="3cqZAo" node="5mr7UHcbsDS" resolve="evaluationSession" />
</node>
<node concept="liA8E" id="5mr7UHcct$i" role="2OqNvi">
<ref role="37wK5l" to="rchb:5mr7UHccvdG" resolve="constraintOccurrences" />
<ref role="37wK5l" to="qrld:5mr7UHccvdG" resolve="constraintOccurrences" />
<node concept="37vLTw" id="5mr7UHcctGr" role="37wK5m">
<ref role="3cqZAo" node="5mr7UHcc5Jp" resolve="cs" />
</node>
@ -2164,7 +2164,7 @@
<node concept="3cpWsn" id="5mr7UHcc5Jp" role="1Duv9x">
<property role="TrG5h" value="cs" />
<node concept="3uibUv" id="5mr7UHcc6gS" role="1tU5fm">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
</node>
<node concept="2OqwBi" id="5mr7UHcc6Lo" role="1DdaDG">
@ -2172,7 +2172,7 @@
<ref role="3cqZAo" node="5mr7UHcbsDS" resolve="evaluationSession" />
</node>
<node concept="liA8E" id="5mr7UHcc6U$" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7BvQyO" resolve="constraintSymbols" />
<ref role="37wK5l" to="qrld:5uFPQ7BvQyO" resolve="constraintSymbols" />
</node>
</node>
</node>
@ -3050,7 +3050,7 @@
<node concept="3Tmbuc" id="4pWvZ2nE11g" role="1B3o_S" />
<node concept="A3Dl8" id="4pWvZ2nE3xS" role="3clF45">
<node concept="3uibUv" id="4pWvZ2nEpCj" role="A3Ik2">
<ref role="3uigEE" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
<ref role="3uigEE" to="rchb:5uFPQ7B$Pn9" resolve="AndItem" />
</node>
</node>
</node>
@ -3116,7 +3116,7 @@
<property role="TrG5h" value="session" />
<node concept="3Tm6S6" id="5mr7UHccA63" role="1B3o_S" />
<node concept="3uibUv" id="5mr7UHccA65" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
</node>
<node concept="3clFbW" id="4pWvZ2nDFIq" role="jymVt">
@ -3140,7 +3140,7 @@
<node concept="37vLTG" id="4pWvZ2nDFIx" role="3clF46">
<property role="TrG5h" value="session" />
<node concept="3uibUv" id="4pWvZ2nDFIz" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvN_d" resolve="EvaluationSession" />
<ref role="3uigEE" to="qrld:5uFPQ7BvN_d" resolve="EvaluationSession" />
</node>
</node>
</node>
@ -3153,7 +3153,7 @@
<node concept="3Tmbuc" id="4pWvZ2nE8iZ" role="1B3o_S" />
<node concept="A3Dl8" id="4pWvZ2nE8j0" role="3clF45">
<node concept="3uibUv" id="4pWvZ2nEqn8" role="A3Ik2">
<ref role="3uigEE" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
<ref role="3uigEE" to="rchb:5uFPQ7B$Pn9" resolve="AndItem" />
</node>
</node>
<node concept="3clFbS" id="4pWvZ2nE8j2" role="3clF47">
@ -3170,7 +3170,7 @@
<ref role="3cqZAo" node="5mr7UHccA62" resolve="session" />
</node>
<node concept="liA8E" id="4pWvZ2nEq_B" role="2OqNvi">
<ref role="37wK5l" to="rchb:5uFPQ7BvQxv" resolve="constraintOccurrences" />
<ref role="37wK5l" to="qrld:5uFPQ7BvQxv" resolve="constraintOccurrences" />
</node>
</node>
</node>
@ -3188,14 +3188,14 @@
<node concept="YeOm9" id="4pWvZ2nEt3D" role="2ShVmc">
<node concept="1Y3b0j" id="4pWvZ2nEt3G" role="YeSDq">
<property role="2bfB8j" value="true" />
<ref role="1Y3XeK" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
<ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
<ref role="1Y3XeK" to="rchb:5uFPQ7B$Pn9" resolve="AndItem" />
<node concept="3Tm1VV" id="4pWvZ2nEt3H" role="1B3o_S" />
<node concept="3clFb_" id="4pWvZ2nEt3I" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="4pWvZ2nEt3J" role="3clF45">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
<node concept="3Tm1VV" id="4pWvZ2nEt3K" role="1B3o_S" />
<node concept="3clFbS" id="4pWvZ2nEt3M" role="3clF47">
@ -3210,7 +3210,7 @@
</node>
</node>
<node concept="liA8E" id="4pWvZ2nEu3w" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7B_aTC" resolve="symbol" />
<ref role="37wK5l" to="rchb:5uFPQ7B_aTC" resolve="symbol" />
</node>
</node>
</node>
@ -3287,7 +3287,7 @@
<ref role="3cqZAo" node="6HT7BWBSNvV" resolve="co" />
</node>
<node concept="liA8E" id="7HUwyZaMGZ$" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7B_b06" resolve="arguments" />
<ref role="37wK5l" to="rchb:5uFPQ7B_b06" resolve="arguments" />
</node>
</node>
</node>
@ -3390,7 +3390,7 @@
<ref role="3cqZAo" to="i348:5uFPQ7CgjLS" resolve="TYPEOF_SYM" />
</node>
<node concept="liA8E" id="4pWvZ2nEU5T" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
<node concept="liA8E" id="6HT7BWBSNvR" role="2OqNvi">
@ -3401,11 +3401,11 @@
<ref role="3cqZAo" node="6HT7BWBSNvV" resolve="co" />
</node>
<node concept="liA8E" id="5mr7UHcd0Cu" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7BE$9i" resolve="symbol" />
<ref role="37wK5l" to="rchb:5uFPQ7BE$9i" resolve="symbol" />
</node>
</node>
<node concept="liA8E" id="5mr7UHcd0GT" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
</node>
@ -3415,7 +3415,7 @@
<node concept="3cpWsn" id="6HT7BWBSNvV" role="1Duv9x">
<property role="TrG5h" value="co" />
<node concept="3uibUv" id="4pWvZ2nEL7U" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
<ref role="3uigEE" to="rchb:5uFPQ7B$Pn9" resolve="AndItem" />
</node>
</node>
<node concept="1rXfSq" id="4pWvZ2nEex4" role="1DdaDG">
@ -3463,7 +3463,7 @@
<ref role="3cqZAo" node="6HT7BWBSITO" resolve="co" />
</node>
<node concept="liA8E" id="7HUwyZaHFE5" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7B_b06" resolve="arguments" />
<ref role="37wK5l" to="rchb:5uFPQ7B_b06" resolve="arguments" />
</node>
</node>
</node>
@ -3545,11 +3545,11 @@
<ref role="3cqZAo" node="6HT7BWBSITO" resolve="co" />
</node>
<node concept="liA8E" id="5mr7UHccPwp" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7BE$9i" resolve="symbol" />
<ref role="37wK5l" to="rchb:5uFPQ7BE$9i" resolve="symbol" />
</node>
</node>
<node concept="liA8E" id="5mr7UHccP_E" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
</node>
@ -3663,11 +3663,11 @@
<ref role="3cqZAo" node="6HT7BWBSITO" resolve="co" />
</node>
<node concept="liA8E" id="5mr7UHccVhB" role="2OqNvi">
<ref role="37wK5l" to="qrld:5uFPQ7BE$9i" resolve="symbol" />
<ref role="37wK5l" to="rchb:5uFPQ7BE$9i" resolve="symbol" />
</node>
</node>
<node concept="liA8E" id="5mr7UHccVn4" role="2OqNvi">
<ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
<ref role="37wK5l" to="rchb:54i3FxcZMvt" resolve="id" />
</node>
</node>
</node>
@ -3677,7 +3677,7 @@
<node concept="3cpWsn" id="6HT7BWBSITO" role="1Duv9x">
<property role="TrG5h" value="co" />
<node concept="3uibUv" id="4pWvZ2nEK7K" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
<ref role="3uigEE" to="rchb:5uFPQ7B$Pn9" resolve="AndItem" />
</node>
</node>
<node concept="1rXfSq" id="4pWvZ2nEanQ" role="1DdaDG">
@ -4712,7 +4712,7 @@
<node concept="37vLTG" id="24Vro6cQSyL" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="5uFPQ7C62Yl" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="24Vro6cQSyN" role="3clF46">
@ -4766,7 +4766,7 @@
<node concept="37vLTG" id="6ps95k_HipX" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="6ps95k_HGBq" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="6ps95k_HipZ" role="3clF46">
@ -4820,7 +4820,7 @@
<node concept="37vLTG" id="6ps95k_GFQ2" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="6ps95k_HfRs" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
<node concept="37vLTG" id="6ps95k_GFQ4" role="3clF46">
@ -4874,7 +4874,7 @@
<node concept="37vLTG" id="24Vro6cQSyV" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="5uFPQ7C63El" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="24Vro6cQSyX" role="3clF46">
@ -6104,15 +6104,8 @@
<node concept="1QHqEO" id="1pPth$l_ZeS" role="3cqZAp">
<node concept="1QHqEC" id="1pPth$l_ZeT" role="1QHqEI">
<node concept="3clFbS" id="1pPth$l_ZeU" role="1bW5cS">
<node concept="2GUZhq" id="78CwJJd6btx" role="3cqZAp">
<node concept="3clFbS" id="1pPth$l_ZeW" role="2GV8ay">
<node concept="3clFbF" id="78CwJJd69l_" role="3cqZAp">
<node concept="2YIFZM" id="78CwJJd6avM" role="3clFbG">
<ref role="37wK5l" to="9kr0:78CwJJd1OHp" resolve="init" />
<ref role="1Pybhc" to="9kr0:7eGEHDlcEJ0" resolve="ChrPlanningSession" />
</node>
</node>
<node concept="3clFbH" id="78CwJJd6aYe" role="3cqZAp" />
<node concept="SfApY" id="506k$zeUdWY" role="3cqZAp">
<node concept="3clFbS" id="1pPth$l_ZeW" role="SfCbr">
<node concept="1DcWWT" id="1pPth$lGirV" role="3cqZAp">
<node concept="3clFbS" id="1pPth$lGirX" role="2LFqv$">
<node concept="3cpWs8" id="1pPth$l_ZeX" role="3cqZAp">
@ -6193,30 +6186,32 @@
</node>
</node>
</node>
<node concept="3clFbH" id="6X5F0Ngi1$P" role="3cqZAp" />
<node concept="3cpWs8" id="78CwJJcTyWU" role="3cqZAp">
<node concept="3cpWsn" id="78CwJJcTyWV" role="3cpWs9">
<property role="TrG5h" value="planningSession" />
<node concept="3uibUv" id="78CwJJcT$bg" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<node concept="3clFbH" id="506k$zeTAwC" role="3cqZAp" />
<node concept="3cpWs8" id="506k$zeU3HR" role="3cqZAp">
<node concept="3cpWsn" id="506k$zeU3HS" role="3cpWs9">
<property role="TrG5h" value="program" />
<node concept="3uibUv" id="506k$zeU3HN" role="1tU5fm">
<ref role="3uigEE" to="9kr0:7eGEHDlcEJ0" resolve="ChrProgram" />
</node>
<node concept="2YIFZM" id="78CwJJcTIO5" role="33vP2m">
<ref role="37wK5l" to="rchb:78CwJJcPVHP" resolve="newSession" />
<ref role="1Pybhc" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<node concept="3cpWs3" id="78CwJJcTyWZ" role="37wK5m">
<node concept="Xl_RD" id="78CwJJcTyX0" role="3uHU7B">
<property role="Xl_RC" value="typechecking" />
<node concept="2ShNRf" id="506k$zeU3HT" role="33vP2m">
<node concept="1pGfFk" id="506k$zeU3HU" role="2ShVmc">
<ref role="37wK5l" to="9kr0:7eGEHDlcF69" resolve="ChrProgram" />
<node concept="3cpWs3" id="506k$zeU3HV" role="37wK5m">
<node concept="Xl_RD" id="506k$zeU3HW" role="3uHU7B">
<property role="Xl_RC" value="typechecking" />
</node>
<node concept="37vLTw" id="506k$zeU3HX" role="3uHU7w">
<ref role="3cqZAo" node="78CwJJcTyWt" resolve="nameHint" />
</node>
</node>
<node concept="37vLTw" id="78CwJJcTyX1" role="3uHU7w">
<ref role="3cqZAo" node="78CwJJcTyWt" resolve="nameHint" />
<node concept="37vLTw" id="506k$zeU3HY" role="37wK5m">
<ref role="3cqZAo" node="6X5F0Ngi13y" resolve="solver" />
</node>
</node>
<node concept="37vLTw" id="6X5F0Ngi13C" role="37wK5m">
<ref role="3cqZAo" node="6X5F0Ngi13y" resolve="solver" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="506k$zeTAV$" role="3cqZAp" />
<node concept="3clFbF" id="1pPth$l_Zfc" role="3cqZAp">
<node concept="d57v9" id="1pPth$lGttZ" role="3clFbG">
<node concept="37vLTw" id="1pPth$lGtu7" role="37vLTJ">
@ -6232,7 +6227,7 @@
<ref role="3cqZAo" node="1pPth$l_ZeY" resolve="containingRoot" />
</node>
<node concept="37vLTw" id="1pPth$lGtu6" role="37wK5m">
<ref role="3cqZAo" node="78CwJJcTyWV" resolve="planningSession" />
<ref role="3cqZAo" node="506k$zeU3HS" resolve="program" />
</node>
</node>
</node>
@ -6240,11 +6235,11 @@
<node concept="3clFbF" id="1pPth$lGzsJ" role="3cqZAp">
<node concept="2OqwBi" id="1pPth$lG$rZ" role="3clFbG">
<node concept="37vLTw" id="1pPth$lGzsH" role="2Oq$k0">
<ref role="3cqZAo" node="1pPth$lE8Xs" resolve="planningSessions" />
<ref role="3cqZAo" node="1pPth$lE8Xs" resolve="programs" />
</node>
<node concept="TSZUe" id="1pPth$lGArx" role="2OqNvi">
<node concept="37vLTw" id="1pPth$lGBka" role="25WWJ7">
<ref role="3cqZAo" node="78CwJJcTyWV" resolve="planningSession" />
<ref role="3cqZAo" node="506k$zeU3HS" resolve="program" />
</node>
</node>
</node>
@ -6262,7 +6257,7 @@
</node>
<node concept="3clFbH" id="78CwJJd6c6R" role="3cqZAp" />
</node>
<node concept="TDmWw" id="1pPth$l_Zfk" role="TEXxN">
<node concept="TDmWw" id="1pPth$l_Zfk" role="TEbGg">
<node concept="3cpWsn" id="1pPth$l_Zfl" role="TDEfY">
<property role="TrG5h" value="e" />
<node concept="3uibUv" id="1pPth$l_Zfm" role="1tU5fm">
@ -6293,14 +6288,6 @@
<node concept="3clFbH" id="78CwJJd6cA4" role="3cqZAp" />
</node>
</node>
<node concept="3clFbS" id="78CwJJd6bt$" role="2GVbov">
<node concept="3clFbF" id="78CwJJd6d4x" role="3cqZAp">
<node concept="2YIFZM" id="78CwJJd6dzP" role="3clFbG">
<ref role="37wK5l" to="9kr0:78CwJJd218C" resolve="deinit" />
<ref role="1Pybhc" to="9kr0:7eGEHDlcEJ0" resolve="ChrPlanningSession" />
</node>
</node>
</node>
</node>
</node>
</node>
@ -6349,34 +6336,34 @@
<node concept="312cEg" id="1pPth$lE8Xs" role="jymVt">
<property role="34CwA1" value="false" />
<property role="eg7rD" value="false" />
<property role="TrG5h" value="planningSessions" />
<property role="TrG5h" value="programs" />
<property role="3TUv4t" value="false" />
<node concept="3Tmbuc" id="1pPth$lE7PF" role="1B3o_S" />
<node concept="_YKpA" id="1pPth$lE8zt" role="1tU5fm">
<node concept="3uibUv" id="78CwJJcTw4D" role="_ZDj9">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="2ShNRf" id="1pPth$lGhrs" role="33vP2m">
<node concept="Tc6Ow" id="1pPth$lGhro" role="2ShVmc">
<node concept="3uibUv" id="78CwJJcTx9$" role="HW$YZ">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
</node>
</node>
<node concept="3clFb_" id="1isQzelAao_" role="jymVt">
<property role="TrG5h" value="getRuleHandlers" />
<property role="TrG5h" value="getPrograms" />
<node concept="_YKpA" id="1isQzelAaoA" role="3clF45">
<node concept="3uibUv" id="pIEwD9IE1Y" role="_ZDj9">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="3Tm1VV" id="1isQzelAaoC" role="1B3o_S" />
<node concept="3clFbS" id="1isQzelAaoD" role="3clF47">
<node concept="3clFbF" id="1isQzelAaoE" role="3cqZAp">
<node concept="37vLTw" id="1isQzelAao$" role="3clFbG">
<ref role="3cqZAo" node="1pPth$lE8Xs" resolve="planningSessions" />
<ref role="3cqZAo" node="1pPth$lE8Xs" resolve="programs" />
</node>
</node>
</node>
@ -6433,18 +6420,28 @@
<node concept="3clFbF" id="6X5F0NghHtO" role="3cqZAp">
<node concept="37vLTI" id="6X5F0NghHG8" role="3clFbG">
<node concept="37vLTw" id="6X5F0NghHXE" role="37vLTx">
<ref role="3cqZAo" node="pIEwD9Isz5" resolve="session" />
<ref role="3cqZAo" node="pIEwD9Isz5" resolve="program" />
</node>
<node concept="37vLTw" id="pIEwD9Iuj6" role="37vLTJ">
<ref role="3cqZAo" node="6X5F0NghEyj" resolve="program" />
<node concept="2OqwBi" id="4aQ7EVpis75" role="37vLTJ">
<node concept="Xjq3P" id="4aQ7EVpirTS" role="2Oq$k0">
<ref role="1HBi2w" node="1pPth$lB0Q2" resolve="TypecheckingHelper.ProduceHandler" />
</node>
<node concept="2OwXpG" id="4aQ7EVpisf2" role="2OqNvi">
<ref role="2Oxat5" node="6X5F0NghEyj" resolve="program" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbC" id="6X5F0NghGjh" role="3clFbw">
<node concept="10Nm6u" id="6X5F0NghGwH" role="3uHU7w" />
<node concept="37vLTw" id="pIEwD9IxLP" role="3uHU7B">
<ref role="3cqZAo" node="6X5F0NghEyj" resolve="program" />
<node concept="2OqwBi" id="4aQ7EVpirxx" role="3uHU7B">
<node concept="Xjq3P" id="4aQ7EVpirkq" role="2Oq$k0">
<ref role="1HBi2w" node="1pPth$lB0Q2" resolve="TypecheckingHelper.ProduceHandler" />
</node>
<node concept="2OwXpG" id="4aQ7EVpirF4" role="2OqNvi">
<ref role="2Oxat5" node="6X5F0NghEyj" resolve="program" />
</node>
</node>
</node>
</node>
@ -6454,7 +6451,7 @@
<node concept="1pGfFk" id="pIEwD9Isz0" role="2ShVmc">
<ref role="37wK5l" to="9kr0:ZqZbw4Qjv7" resolve="ChrHandlerProducer" />
<node concept="37vLTw" id="78CwJJcWBz4" role="37wK5m">
<ref role="3cqZAo" node="pIEwD9Isz5" resolve="session" />
<ref role="3cqZAo" node="pIEwD9Isz5" resolve="program" />
</node>
</node>
</node>
@ -6473,9 +6470,9 @@
</node>
</node>
<node concept="3cpWsn" id="pIEwD9Isz5" role="1Duv9x">
<property role="TrG5h" value="session" />
<property role="TrG5h" value="program" />
<node concept="3uibUv" id="78CwJJcTAYl" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="2OqwBi" id="pIEwD9Isz6" role="1DdaDG">
@ -6483,7 +6480,7 @@
<ref role="3cqZAo" node="1pPth$lEaxh" resolve="prev" />
</node>
<node concept="2OwXpG" id="pIEwD9ItvT" role="2OqNvi">
<ref role="2Oxat5" node="1pPth$lE8Xs" resolve="planningSessions" />
<ref role="2Oxat5" node="1pPth$lE8Xs" resolve="programs" />
</node>
</node>
</node>
@ -6556,7 +6553,7 @@
<property role="TrG5h" value="program" />
<node concept="3Tm6S6" id="6X5F0NghEyk" role="1B3o_S" />
<node concept="3uibUv" id="6X5F0NghF4d" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="3Tm6S6" id="1pPth$lNeRB" role="1B3o_S" />
@ -6675,7 +6672,7 @@
<property role="TrG5h" value="program" />
<node concept="3Tm6S6" id="6X5F0NghPZs" role="1B3o_S" />
<node concept="3uibUv" id="6X5F0NghPZt" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="3Tm6S6" id="1pPth$lNf1$" role="1B3o_S" />
@ -7249,7 +7246,7 @@
<property role="3TUv4t" value="false" />
<node concept="3Tmbuc" id="6X5F0NghxGc" role="1B3o_S" />
<node concept="3uibUv" id="6X5F0NghAyj" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
<node concept="3Tm6S6" id="1pPth$lNgE8" role="1B3o_S" />

View File

@ -37,10 +37,11 @@
<import index="ha02" ref="r:09e53496-6477-45e7-abd5-eaf3fac3b360(jetbrains.mps.logic.behavior)" />
<import index="45ys" ref="r:7365f7fe-12e6-4229-8901-f6dc6d5df03f(jetbrains.mps.logic.reactor.logical)" />
<import index="i8dg" ref="r:e8529b97-a186-4c32-8f12-771b2a92b55a(jetbrains.mps.logic.reactor.rule)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.builtin.unification)" />
<import index="xq5w" ref="r:729bada4-05fa-458f-8bf8-28b9cb978726(jetbrains.mps.logic.builtin.var)" />
<import index="tp68" ref="r:00000000-0000-4000-0000-011c895903ac(jetbrains.mps.baseLanguageInternal.structure)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
<import index="tpek" ref="r:00000000-0000-4000-0000-011c895902c0(jetbrains.mps.baseLanguage.behavior)" implicit="true" />
</imports>
<registry>
@ -1247,7 +1248,7 @@
<node concept="37vLTG" id="3KXGt7WsNdT" role="3clF46">
<property role="TrG5h" value="builder" />
<node concept="3uibUv" id="3KXGt7WsNzi" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="3cqZAl" id="6FQzrygX1cI" role="3clF45" />
@ -1285,7 +1286,7 @@
</node>
</node>
<node concept="liA8E" id="4vbeH84H0I_" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$bR" resolve="appendHeadKept" />
<ref role="37wK5l" to="rchb:7eGEHDlc$bR" resolve="appendHeadKept" />
<node concept="10Nm6u" id="4vbeH84HgFO" role="37wK5m">
<node concept="29HgVG" id="4vbeH84Hj1x" role="lGtFl">
<node concept="3NFfHV" id="4vbeH84Hj62" role="3NFExx">
@ -1380,7 +1381,7 @@
</node>
</node>
<node concept="liA8E" id="4vbeH84H0Wd" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$bq" resolve="appendHeadReplaced" />
<ref role="37wK5l" to="rchb:7eGEHDlc$bq" resolve="appendHeadReplaced" />
<node concept="10Nm6u" id="4vbeH84HjOQ" role="37wK5m">
<node concept="29HgVG" id="4vbeH84HjOR" role="lGtFl">
<node concept="3NFfHV" id="4vbeH84HjOS" role="3NFExx">
@ -1477,7 +1478,7 @@
</node>
</node>
<node concept="liA8E" id="4vbeH84H0zp" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$aX" resolve="appendGuard" />
<ref role="37wK5l" to="rchb:7eGEHDlc$aX" resolve="appendGuard" />
<node concept="10Nm6u" id="4vbeH84HjX4" role="37wK5m">
<node concept="29HgVG" id="4vbeH84HjX5" role="lGtFl">
<node concept="3NFfHV" id="4vbeH84HjX6" role="3NFExx">
@ -1551,7 +1552,7 @@
</node>
</node>
<node concept="liA8E" id="4vbeH84H0vD" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$aw" resolve="appendBody" />
<ref role="37wK5l" to="rchb:7eGEHDlc$aw" resolve="appendBody" />
<node concept="10Nm6u" id="4vbeH84Hk7L" role="37wK5m">
<node concept="29HgVG" id="4vbeH84Hk7M" role="lGtFl">
<node concept="3NFfHV" id="4vbeH84Hk7N" role="3NFExx">
@ -1631,7 +1632,7 @@
<node concept="37vLTG" id="3KXGt7WsH_K" role="3clF46">
<property role="TrG5h" value="builder" />
<node concept="3uibUv" id="3KXGt7WsI7X" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="3cqZAl" id="6FQzrygX2gg" role="3clF45" />
@ -1669,7 +1670,7 @@
</node>
</node>
<node concept="liA8E" id="6FQzrygX2gB" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$bR" resolve="appendHeadKept" />
<ref role="37wK5l" to="rchb:7eGEHDlc$bR" resolve="appendHeadKept" />
<node concept="10Nm6u" id="6FQzrygX2gC" role="37wK5m">
<node concept="29HgVG" id="6FQzrygX2gD" role="lGtFl">
<node concept="3NFfHV" id="6FQzrygX2gE" role="3NFExx">
@ -1817,7 +1818,7 @@
</node>
</node>
<node concept="liA8E" id="6FQzrygX2hb" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$bq" resolve="appendHeadReplaced" />
<ref role="37wK5l" to="rchb:7eGEHDlc$bq" resolve="appendHeadReplaced" />
<node concept="10Nm6u" id="6FQzrygX2hc" role="37wK5m">
<node concept="29HgVG" id="6FQzrygX2hd" role="lGtFl">
<node concept="3NFfHV" id="6FQzrygX2he" role="3NFExx">
@ -1965,7 +1966,7 @@
</node>
</node>
<node concept="liA8E" id="6FQzrygX2hS" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$aX" resolve="appendGuard" />
<ref role="37wK5l" to="rchb:7eGEHDlc$aX" resolve="appendGuard" />
<node concept="10Nm6u" id="6FQzrygX2hT" role="37wK5m">
<node concept="29HgVG" id="6FQzrygX2hU" role="lGtFl">
<node concept="3NFfHV" id="6FQzrygX2hV" role="3NFExx">
@ -2113,7 +2114,7 @@
</node>
</node>
<node concept="liA8E" id="6FQzrygX2is" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$aw" resolve="appendBody" />
<ref role="37wK5l" to="rchb:7eGEHDlc$aw" resolve="appendBody" />
<node concept="10Nm6u" id="6FQzrygX2it" role="37wK5m">
<node concept="29HgVG" id="6FQzrygX2iu" role="lGtFl">
<node concept="3NFfHV" id="6FQzrygX2iv" role="3NFExx">
@ -2340,7 +2341,7 @@
<property role="TrG5h" value="apply" />
<node concept="A3Dl8" id="2JQZWxFk8TX" role="3clF45">
<node concept="3uibUv" id="2JQZWxFk8TY" role="A3Ik2">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="37vLTG" id="2JQZWxFk8TZ" role="3clF46">
@ -2956,7 +2957,7 @@
<property role="1EzhhJ" value="false" />
<node concept="A3Dl8" id="5MHpiylAFnt" role="3clF45">
<node concept="3uibUv" id="5MHpiylAGur" role="A3Ik2">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="3Tm1VV" id="4vbeH84zMsa" role="1B3o_S" />
@ -2966,11 +2967,11 @@
<node concept="3cpWsn" id="5MHpiylAQ$t" role="3cpWs9">
<property role="TrG5h" value="builder" />
<node concept="3uibUv" id="5MHpiylAQ$u" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
<node concept="2ShNRf" id="5MHpiylARdz" role="33vP2m">
<node concept="1pGfFk" id="5MHpiylARcG" role="2ShVmc">
<ref role="37wK5l" to="i8dg:6lpwCiZjdph" resolve="RuleBuilder" />
<ref role="37wK5l" to="rchb:6lpwCiZjdph" resolve="RuleBuilder" />
<node concept="Xl_RD" id="3KXGt7WGQwx" role="37wK5m">
<property role="Xl_RC" value="" />
<node concept="1sPUBX" id="3KXGt7WGQLp" role="lGtFl">
@ -2993,7 +2994,7 @@
<ref role="3cqZAo" node="5MHpiylAQ$t" resolve="builder" />
</node>
<node concept="liA8E" id="2JQZWxFflhn" role="2OqNvi">
<ref role="37wK5l" to="i8dg:77AxcO4ZwMR" resolve="merge" />
<ref role="37wK5l" to="rchb:77AxcO4ZwMR" resolve="merge" />
<node concept="2OqwBi" id="2JQZWxFfuaF" role="37wK5m">
<node concept="2OqwBi" id="2JQZWxFflmO" role="2Oq$k0">
<node concept="1rXfSq" id="2JQZWxFflkD" role="2Oq$k0">
@ -3189,7 +3190,7 @@
<node concept="2ShNRf" id="77AxcO51BJL" role="3clFbG">
<node concept="2HTt$P" id="77AxcO51BJM" role="2ShVmc">
<node concept="3uibUv" id="77AxcO51BJN" role="2HTBi0">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
<node concept="37vLTw" id="3KXGt7W_Kb9" role="2HTEbv">
<ref role="3cqZAo" node="5MHpiylAQ$t" resolve="builder" />
@ -3442,10 +3443,10 @@
<node concept="3clFbF" id="5uFPQ7CiZZn" role="3cqZAp">
<node concept="2ShNRf" id="5uFPQ7CiZZj" role="3clFbG">
<node concept="1pGfFk" id="5uFPQ7Cj0ua" role="2ShVmc">
<ref role="37wK5l" to="qrld:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<ref role="37wK5l" to="rchb:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<node concept="2ShNRf" id="5uFPQ7Cj0uk" role="37wK5m">
<node concept="1pGfFk" id="5uFPQ7Cj0Sg" role="2ShVmc">
<ref role="37wK5l" to="qrld:54i3FxcZMv0" resolve="ConstraintSymbol" />
<ref role="37wK5l" to="rchb:54i3FxcZMv0" resolve="ConstraintSymbol" />
<node concept="Xl_RD" id="5uFPQ7Cj0SW" role="37wK5m">
<property role="Xl_RC" value="name" />
<node concept="17Uvod" id="5uFPQ7Cj0SX" role="lGtFl">
@ -4711,7 +4712,7 @@
<property role="TrG5h" value="apply" />
<node concept="A3Dl8" id="452KZTbw8XB" role="3clF45">
<node concept="3uibUv" id="452KZTbw8XC" role="A3Ik2">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="37vLTG" id="452KZTbw8XD" role="3clF46">
@ -5521,7 +5522,7 @@
<property role="1EzhhJ" value="false" />
<node concept="A3Dl8" id="5MHpiylJzbN" role="3clF45">
<node concept="3uibUv" id="5MHpiylJzbO" role="A3Ik2">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="37vLTG" id="5MHpiylJzbE" role="3clF46">
@ -5659,11 +5660,11 @@
<node concept="3cpWsn" id="5MHpiylJzbS" role="3cpWs9">
<property role="TrG5h" value="builder" />
<node concept="3uibUv" id="5MHpiylJzbT" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
<node concept="2ShNRf" id="5MHpiylJzbU" role="33vP2m">
<node concept="1pGfFk" id="5MHpiylJzbV" role="2ShVmc">
<ref role="37wK5l" to="i8dg:6lpwCiZjdph" resolve="RuleBuilder" />
<ref role="37wK5l" to="rchb:6lpwCiZjdph" resolve="RuleBuilder" />
<node concept="Xl_RD" id="3KXGt7WGTZP" role="37wK5m">
<property role="Xl_RC" value="" />
<node concept="1sPUBX" id="3KXGt7WGUis" role="lGtFl">
@ -5686,7 +5687,7 @@
<ref role="3cqZAo" node="5MHpiylJzbS" resolve="builder" />
</node>
<node concept="liA8E" id="452KZTbwX1c" role="2OqNvi">
<ref role="37wK5l" to="i8dg:77AxcO4ZwMR" resolve="merge" />
<ref role="37wK5l" to="rchb:77AxcO4ZwMR" resolve="merge" />
<node concept="2OqwBi" id="452KZTbwX1d" role="37wK5m">
<node concept="2OqwBi" id="452KZTbwX1e" role="2Oq$k0">
<node concept="1rXfSq" id="452KZTbwX1f" role="2Oq$k0">
@ -5902,7 +5903,7 @@
<node concept="2ShNRf" id="5MHpiylJzcL" role="3clFbG">
<node concept="2HTt$P" id="5MHpiylJzcM" role="2ShVmc">
<node concept="3uibUv" id="5MHpiylJzcN" role="2HTBi0">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
<node concept="37vLTw" id="5MHpiylJzcO" role="2HTEbv">
<ref role="3cqZAo" node="5MHpiylJzbS" resolve="builder" />
@ -6451,7 +6452,7 @@
</node>
</node>
<node concept="3uibUv" id="77AxcO50NnR" role="3clF45">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
<node concept="3Tm1VV" id="6FQzrygSO2i" role="1B3o_S" />
<node concept="3clFbS" id="6FQzrygSO2j" role="3clF47">
@ -6459,11 +6460,11 @@
<node concept="3cpWsn" id="6FQzrygST3u" role="3cpWs9">
<property role="TrG5h" value="builder" />
<node concept="3uibUv" id="6FQzrygST3v" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
<node concept="2ShNRf" id="6FQzrygST3w" role="33vP2m">
<node concept="1pGfFk" id="6FQzrygST3x" role="2ShVmc">
<ref role="37wK5l" to="i8dg:6lpwCiZjdph" resolve="RuleBuilder" />
<ref role="37wK5l" to="rchb:6lpwCiZjdph" resolve="RuleBuilder" />
<node concept="10Nm6u" id="3KXGt7WBEs8" role="37wK5m" />
</node>
</node>
@ -6555,7 +6556,7 @@
<node concept="2YIFZL" id="6FQzrygU_5h" role="jymVt">
<property role="TrG5h" value="method" />
<node concept="3uibUv" id="6FQzrygU_9T" role="3clF45">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
<node concept="3Tm1VV" id="6FQzrygU_5k" role="1B3o_S" />
<node concept="3clFbS" id="6FQzrygU_5l" role="3clF47">
@ -6578,7 +6579,7 @@
<node concept="37vLTG" id="3KXGt7WsTGm" role="3clF46">
<property role="TrG5h" value="builder" />
<node concept="3uibUv" id="3KXGt7WsTUU" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="3cqZAl" id="6FQzrygU_lo" role="3clF45" />
@ -6616,7 +6617,7 @@
</node>
</node>
<node concept="liA8E" id="77AxcO50SKT" role="2OqNvi">
<ref role="37wK5l" to="i8dg:77AxcO4ZwMR" resolve="merge" />
<ref role="37wK5l" to="rchb:77AxcO4ZwMR" resolve="merge" />
<node concept="2YIFZM" id="6FQzrygVX$y" role="37wK5m">
<ref role="1Pybhc" node="6FQzrygU_0X" resolve="Context" />
<ref role="37wK5l" node="6FQzrygU_5h" resolve="method" />
@ -6696,7 +6697,7 @@
<node concept="2YIFZL" id="2QE4RCGdVob" role="jymVt">
<property role="TrG5h" value="method" />
<node concept="3uibUv" id="2QE4RCGdVoc" role="3clF45">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
<node concept="3Tm1VV" id="2QE4RCGdVod" role="1B3o_S" />
<node concept="3clFbS" id="2QE4RCGdVoe" role="3clF47">
@ -6751,7 +6752,7 @@
</node>
</node>
<node concept="liA8E" id="2QE4RCGdVoI" role="2OqNvi">
<ref role="37wK5l" to="i8dg:77AxcO4ZwMR" resolve="merge" />
<ref role="37wK5l" to="rchb:77AxcO4ZwMR" resolve="merge" />
<node concept="2YIFZM" id="2QE4RCGdVoJ" role="37wK5m">
<ref role="1Pybhc" node="2QE4RCGdVo9" resolve="Context" />
<ref role="37wK5l" node="2QE4RCGdVob" resolve="method" />
@ -6868,7 +6869,7 @@
</node>
</node>
<node concept="liA8E" id="2QE4RCGf6jk" role="2OqNvi">
<ref role="37wK5l" to="i8dg:77AxcO4ZwMR" resolve="merge" />
<ref role="37wK5l" to="rchb:77AxcO4ZwMR" resolve="merge" />
<node concept="1rXfSq" id="2QE4RCGf6Cf" role="37wK5m">
<ref role="37wK5l" node="2QE4RCGdVob" resolve="method" />
<node concept="10Nm6u" id="2QE4RCGf6GV" role="37wK5m">
@ -6931,7 +6932,7 @@
<node concept="37vLTG" id="3KXGt7WsR3a" role="3clF46">
<property role="TrG5h" value="builder" />
<node concept="3uibUv" id="3KXGt7WsR39" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
</node>
@ -12054,7 +12055,7 @@
<node concept="37vLTG" id="1sCZQVeRK9u" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="1sCZQVeRK9v" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="1sCZQVeRK9w" role="3clF46">
@ -12261,7 +12262,7 @@
<node concept="37vLTG" id="1sCZQVeRK9k" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="1sCZQVeRK9l" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
<node concept="37vLTG" id="1sCZQVeRK9m" role="3clF46">
@ -12298,7 +12299,7 @@
<ref role="37wK5l" node="1sCZQVeRK9t" resolve="ask" />
<node concept="10QFUN" id="1sCZQVf4_rS" role="37wK5m">
<node concept="3uibUv" id="1sCZQVf4_rQ" role="10QFUM">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
<ref role="3uigEE" to="rchb:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
<node concept="37vLTw" id="1sCZQVf4_rR" role="10QFUP">
<ref role="3cqZAo" node="1sCZQVeRK9k" resolve="symbol" />

View File

@ -15,7 +15,7 @@
<import index="ha02" ref="r:09e53496-6477-45e7-abd5-eaf3fac3b360(jetbrains.mps.logic.behavior)" />
<import index="5j4j" ref="r:c8fb1c5e-8204-4904-a38f-678899d447c1(jetbrains.mps.logic.structure)" />
<import index="wq2x" ref="r:83137295-aa87-45e8-b0c0-ede2adf2a396(jetbrains.mps.lang.typesystem2.structure)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" implicit="true" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
</imports>

View File

@ -606,13 +606,13 @@
<node concept="37vLTG" id="7nkyKX7m7wP" role="3clF46">
<property role="TrG5h" value="main" />
<node concept="3uibUv" id="7nkyKX7m8gn" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="37vLTG" id="78CwJJcPpB$" role="3clF46">
<property role="TrG5h" value="session" />
<node concept="3uibUv" id="78CwJJcPpB_" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
</node>
@ -652,14 +652,14 @@
<node concept="3cpWsn" id="7nkyKX7nlpb" role="3cpWs9">
<property role="TrG5h" value="rule" />
<node concept="3uibUv" id="7nkyKX7nlp9" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$9y" resolve="Rule" />
<ref role="3uigEE" to="rchb:7eGEHDlc$9y" resolve="Rule" />
</node>
<node concept="2OqwBi" id="7nkyKX7nlpc" role="33vP2m">
<node concept="37vLTw" id="7nkyKX7nlpd" role="2Oq$k0">
<ref role="3cqZAo" node="7nkyKX7m8kI" resolve="main" />
</node>
<node concept="liA8E" id="7nkyKX7nlpe" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$ck" resolve="toRule" />
<ref role="37wK5l" to="rchb:7eGEHDlc$ck" resolve="toRule" />
</node>
</node>
</node>
@ -683,7 +683,7 @@
<node concept="3cpWsn" id="7nkyKX7nl0T" role="TDEfY">
<property role="TrG5h" value="e" />
<node concept="3uibUv" id="7nkyKX7nmdZ" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7Oc59RS$wKP" resolve="InvalidRuleException" />
<ref role="3uigEE" to="rchb:7Oc59RS$wKP" resolve="InvalidRuleException" />
</node>
</node>
<node concept="3clFbS" id="7nkyKX7nl0X" role="TDEfX">
@ -1418,7 +1418,7 @@
<node concept="3Tm6S6" id="5ntLU8GlSnV" role="1B3o_S" />
<node concept="A3Dl8" id="5MHpiylC8T$" role="3clF45">
<node concept="3uibUv" id="5MHpiylCa5h" role="A3Ik2">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="37vLTG" id="5ntLU8GlSnJ" role="3clF46">
@ -1641,7 +1641,7 @@
<ref role="3cqZAo" node="7nkyKX7m8kI" resolve="main" />
</node>
<node concept="liA8E" id="7nkyKX7mwk9" role="2OqNvi">
<ref role="37wK5l" to="i8dg:77AxcO4ZwMR" resolve="merge" />
<ref role="37wK5l" to="rchb:77AxcO4ZwMR" resolve="merge" />
<node concept="2GrUjf" id="7nkyKX7mwtE" role="37wK5m">
<ref role="2Gs0qQ" node="tIwzd1I3Xb" resolve="builder" />
</node>
@ -1656,7 +1656,7 @@
<ref role="2Gs0qQ" node="tIwzd1I3Xb" resolve="builder" />
</node>
<node concept="liA8E" id="7nkyKX7mvSb" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7nkyKX7mcq7" resolve="hasHead" />
<ref role="37wK5l" to="rchb:7nkyKX7mcq7" resolve="hasHead" />
</node>
</node>
</node>
@ -1668,14 +1668,14 @@
<node concept="3cpWsn" id="tIwzd1I3WB" role="3cpWs9">
<property role="TrG5h" value="rule" />
<node concept="3uibUv" id="tIwzd1I3WC" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$9y" resolve="Rule" />
<ref role="3uigEE" to="rchb:7eGEHDlc$9y" resolve="Rule" />
</node>
<node concept="2OqwBi" id="tIwzd1I3WD" role="33vP2m">
<node concept="2GrUjf" id="tIwzd1I3WE" role="2Oq$k0">
<ref role="2Gs0qQ" node="tIwzd1I3Xb" resolve="builder" />
</node>
<node concept="liA8E" id="tIwzd1I3WF" role="2OqNvi">
<ref role="37wK5l" to="i8dg:7eGEHDlc$ck" resolve="toRule" />
<ref role="37wK5l" to="rchb:7eGEHDlc$ck" resolve="toRule" />
</node>
</node>
</node>
@ -1800,7 +1800,7 @@
<node concept="3cpWsn" id="tIwzd1I3X5" role="TDEfY">
<property role="TrG5h" value="e" />
<node concept="3uibUv" id="tIwzd1I3X6" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7Oc59RS$wKP" resolve="InvalidRuleException" />
<ref role="3uigEE" to="rchb:7Oc59RS$wKP" resolve="InvalidRuleException" />
</node>
</node>
</node>
@ -2182,14 +2182,14 @@
<property role="TrG5h" value="main" />
<node concept="3Tm6S6" id="7nkyKX7m8kJ" role="1B3o_S" />
<node concept="3uibUv" id="7nkyKX7m8kL" role="1tU5fm">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="312cEg" id="78CwJJcPpPx" role="jymVt">
<property role="TrG5h" value="handler" />
<node concept="3Tm6S6" id="78CwJJcPpPy" role="1B3o_S" />
<node concept="3uibUv" id="78CwJJcPpP$" role="1tU5fm">
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="PlanningSession" />
<ref role="3uigEE" to="rchb:5uFPQ7BvNzE" resolve="Program" />
</node>
</node>
</node>

View File

@ -20,7 +20,8 @@
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
<import index="i8dg" ref="r:e8529b97-a186-4c32-8f12-771b2a92b55a(jetbrains.mps.logic.reactor.rule)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.evaluation)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@ -1426,11 +1427,11 @@
<property role="TrG5h" value="TYPEOF_SYM" />
<node concept="3Tm1VV" id="5uFPQ7ClELk" role="1B3o_S" />
<node concept="3uibUv" id="5uFPQ7CgjLN" role="1tU5fm">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
<node concept="2ShNRf" id="5uFPQ7CgjLO" role="33vP2m">
<node concept="1pGfFk" id="5uFPQ7CgjLP" role="2ShVmc">
<ref role="37wK5l" to="qrld:54i3FxcZMv0" resolve="ConstraintSymbol" />
<ref role="37wK5l" to="rchb:54i3FxcZMv0" resolve="ConstraintSymbol" />
<node concept="Xl_RD" id="5uFPQ7CgjLQ" role="37wK5m">
<property role="Xl_RC" value="typeOf" />
</node>
@ -1470,7 +1471,7 @@
</node>
</node>
<node concept="3uibUv" id="5uFPQ7CgmtH" role="3clF45">
<ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
<ref role="3uigEE" to="rchb:6Kcfpq7BfEn" resolve="Constraint" />
</node>
<node concept="3Tm1VV" id="4OKkcnfu_zs" role="1B3o_S" />
<node concept="3clFbS" id="4OKkcnfu_zt" role="3clF47">
@ -1528,11 +1529,11 @@
<node concept="3cpWsn" id="5uFPQ7Cgm9v" role="3cpWs9">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="5uFPQ7Cgm8Y" role="1tU5fm">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
<node concept="2ShNRf" id="5uFPQ7Cgm9w" role="33vP2m">
<node concept="1pGfFk" id="5uFPQ7Cgm9x" role="2ShVmc">
<ref role="37wK5l" to="qrld:54i3FxcZMv0" resolve="ConstraintSymbol" />
<ref role="37wK5l" to="rchb:54i3FxcZMv0" resolve="ConstraintSymbol" />
<node concept="3cpWs3" id="5uFPQ7Cgm9y" role="37wK5m">
<node concept="2OqwBi" id="5uFPQ7Cgm9z" role="3uHU7w">
<node concept="37vLTw" id="5uFPQ7Cgm9$" role="2Oq$k0">
@ -1557,7 +1558,7 @@
<node concept="3clFbF" id="5uFPQ7CglJe" role="3cqZAp">
<node concept="2ShNRf" id="5uFPQ7CglJa" role="3clFbG">
<node concept="1pGfFk" id="5uFPQ7Cgm6w" role="2ShVmc">
<ref role="37wK5l" to="qrld:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<ref role="37wK5l" to="rchb:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<node concept="37vLTw" id="5uFPQ7Cgmlp" role="37wK5m">
<ref role="3cqZAo" node="5uFPQ7Cgm9v" resolve="symbol" />
</node>
@ -1593,7 +1594,7 @@
</node>
</node>
<node concept="3uibUv" id="5uFPQ7Cgns8" role="3clF45">
<ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
<ref role="3uigEE" to="rchb:6Kcfpq7BfEn" resolve="Constraint" />
</node>
<node concept="3Tm1VV" id="4OKkcnfu_zZ" role="1B3o_S" />
<node concept="3clFbS" id="4OKkcnfu_$0" role="3clF47">
@ -1623,11 +1624,11 @@
<node concept="3cpWsn" id="5uFPQ7CgmNl" role="3cpWs9">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="5uFPQ7CgmNm" role="1tU5fm">
<ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
<ref role="3uigEE" to="rchb:54i3FxcZHHF" resolve="ConstraintSymbol" />
</node>
<node concept="2ShNRf" id="5uFPQ7CgmNn" role="33vP2m">
<node concept="1pGfFk" id="5uFPQ7CgmNo" role="2ShVmc">
<ref role="37wK5l" to="qrld:54i3FxcZMv0" resolve="ConstraintSymbol" />
<ref role="37wK5l" to="rchb:54i3FxcZMv0" resolve="ConstraintSymbol" />
<node concept="3cpWs3" id="5uFPQ7CgmNp" role="37wK5m">
<node concept="2OqwBi" id="5uFPQ7CgmNq" role="3uHU7w">
<node concept="37vLTw" id="5uFPQ7Cgn59" role="2Oq$k0">
@ -1652,7 +1653,7 @@
<node concept="3clFbF" id="5uFPQ7Cgn82" role="3cqZAp">
<node concept="2ShNRf" id="5uFPQ7Cgn83" role="3clFbG">
<node concept="1pGfFk" id="5uFPQ7Cgn84" role="2ShVmc">
<ref role="37wK5l" to="qrld:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<ref role="37wK5l" to="rchb:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<node concept="37vLTw" id="5uFPQ7Cgn85" role="37wK5m">
<ref role="3cqZAo" node="5uFPQ7CgmNl" resolve="symbol" />
</node>
@ -1680,14 +1681,14 @@
</node>
</node>
<node concept="3uibUv" id="5uFPQ7CgkmB" role="3clF45">
<ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
<ref role="3uigEE" to="rchb:6Kcfpq7BfEn" resolve="Constraint" />
</node>
<node concept="3Tm1VV" id="4OKkcnfu_$j" role="1B3o_S" />
<node concept="3clFbS" id="4OKkcnfu_$k" role="3clF47">
<node concept="3clFbF" id="5uFPQ7CgfVP" role="3cqZAp">
<node concept="2ShNRf" id="5uFPQ7CgfVL" role="3clFbG">
<node concept="1pGfFk" id="5uFPQ7CgkhI" role="2ShVmc">
<ref role="37wK5l" to="qrld:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<ref role="37wK5l" to="rchb:5uFPQ7BZtsU" resolve="AbstractConstraint" />
<node concept="37vLTw" id="5uFPQ7Cgkii" role="37wK5m">
<ref role="3cqZAo" node="5uFPQ7CgjLS" resolve="TYPEOF_SYM" />
</node>
@ -2433,7 +2434,7 @@
<property role="TrG5h" value="apply" />
<node concept="A3Dl8" id="1ffsG7bWD3H" role="3clF45">
<node concept="3uibUv" id="1ffsG7bWD4a" role="A3Ik2">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="37vLTG" id="1ffsG7bWDGk" role="3clF46">
@ -2662,7 +2663,7 @@
<property role="DiZV1" value="true" />
<node concept="A3Dl8" id="1ffsG7bX6rY" role="3clF45">
<node concept="3uibUv" id="1ffsG7bX6rZ" role="A3Ik2">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="3Tm1VV" id="1ffsG7bX6s0" role="1B3o_S" />
@ -2672,7 +2673,7 @@
<property role="TrG5h" value="result" />
<node concept="A3Dl8" id="1ffsG7bX6s4" role="1tU5fm">
<node concept="3uibUv" id="1ffsG7bX6s5" role="A3Ik2">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="10Nm6u" id="1ffsG7bX6s6" role="33vP2m" />
@ -3021,7 +3022,7 @@
<property role="TrG5h" value="apply" />
<node concept="A3Dl8" id="1ffsG7bXfPY" role="3clF45">
<node concept="3uibUv" id="1ffsG7bXfQn" role="A3Ik2">
<ref role="3uigEE" to="i8dg:7eGEHDlc$ap" resolve="RuleBuilder" />
<ref role="3uigEE" to="rchb:7eGEHDlc$ap" resolve="RuleBuilder" />
</node>
</node>
<node concept="37vLTG" id="1ffsG7bXg4k" role="3clF46">