Fixing the tests
This commit is contained in:
Fedor Isakov
parent
7f20db92a6
commit
a974be75af
|
|
@ -11,6 +11,8 @@
|
|||
<dependency reexport="false">a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)</dependency>
|
||||
<dependency reexport="false">7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)</dependency>
|
||||
<dependency reexport="false">760652ad-c01a-495e-9510-ed51532f617b(jetbrains.mps.logic.jchr)</dependency>
|
||||
<dependency reexport="true">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
|
||||
<dependency reexport="false">b189d6c6-9397-4d64-88af-1ac73760a4f5(jetbrains.mps.logic.test)</dependency>
|
||||
</dependencies>
|
||||
<languageVersions>
|
||||
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" fqName="jetbrains.mps.baseLanguage" version="4" />
|
||||
|
|
@ -30,6 +32,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="b189d6c6-9397-4d64-88af-1ac73760a4f5(jetbrains.mps.logic.test)" version="0" />
|
||||
</dependencyVersions>
|
||||
</solution>
|
||||
|
||||
|
|
|
|||
|
|
@ -12,11 +12,13 @@
|
|||
<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="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)" />
|
||||
<import index="mqqo" ref="r:82cec6f7-ddec-440c-961c-1c598267be42(jetbrains.mps.logic.test.unification)" />
|
||||
</imports>
|
||||
<registry>
|
||||
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
|
||||
<concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
|
||||
<concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
|
||||
<concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
|
||||
<child id="1197027771414" name="operand" index="2Oq$k0" />
|
||||
<child id="1197027833540" name="operation" index="2OqNvi" />
|
||||
|
|
@ -24,6 +26,9 @@
|
|||
<concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
|
||||
<child id="1145553007750" name="creator" index="2ShVmc" />
|
||||
</concept>
|
||||
<concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
|
||||
<child id="1137022507850" name="body" index="2VODD2" />
|
||||
</concept>
|
||||
<concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
|
||||
<property id="1070475926801" name="value" index="Xl_RC" />
|
||||
</concept>
|
||||
|
|
@ -33,9 +38,7 @@
|
|||
<concept id="1070533707846" name="jetbrains.mps.baseLanguage.structure.StaticFieldReference" flags="nn" index="10M0yZ">
|
||||
<reference id="1144433057691" name="classifier" index="1PxDUh" />
|
||||
</concept>
|
||||
<concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
|
||||
<concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
|
||||
<concept id="1068390468200" name="jetbrains.mps.baseLanguage.structure.FieldDeclaration" flags="ig" index="312cEg" />
|
||||
<concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
|
||||
<child id="1068431790190" name="initializer" index="33vP2m" />
|
||||
</concept>
|
||||
|
|
@ -66,9 +69,6 @@
|
|||
<child id="1068499141038" name="actualArgument" index="37wK5m" />
|
||||
</concept>
|
||||
<concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
|
||||
<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="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
|
||||
<reference id="1107535924139" name="classifier" index="3uigEE" />
|
||||
</concept>
|
||||
|
|
@ -82,7 +82,6 @@
|
|||
<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>
|
||||
<language id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest">
|
||||
<concept id="1171931690126" name="jetbrains.mps.baseLanguage.unitTest.structure.TestMethod" flags="ig" index="3s$Bmu">
|
||||
|
|
@ -91,6 +90,8 @@
|
|||
<concept id="1171931851043" name="jetbrains.mps.baseLanguage.unitTest.structure.BTestCase" flags="ig" index="3s_ewN">
|
||||
<property id="1171931851045" name="testCaseName" index="3s_ewP" />
|
||||
<child id="1171931851044" name="testMethodList" index="3s_ewO" />
|
||||
<child id="8243879142738613220" name="afterTest" index="1KhZu3" />
|
||||
<child id="8243879142738613219" name="beforeTest" index="1KhZu4" />
|
||||
</concept>
|
||||
<concept id="1171931858461" name="jetbrains.mps.baseLanguage.unitTest.structure.TestMethodList" flags="ng" index="3s_gsd">
|
||||
<child id="1171931858462" name="testMethod" index="3s_gse" />
|
||||
|
|
@ -98,6 +99,8 @@
|
|||
<concept id="1171981022339" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertTrue" flags="nn" index="3vwNmj">
|
||||
<child id="1171981057159" name="condition" index="3vwVQn" />
|
||||
</concept>
|
||||
<concept id="8243879142738608185" name="jetbrains.mps.baseLanguage.unitTest.structure.BeforeTest" flags="in" index="1KhYhu" />
|
||||
<concept id="8243879142738613213" name="jetbrains.mps.baseLanguage.unitTest.structure.AfterTest" flags="in" index="1KhZuU" />
|
||||
</language>
|
||||
<language id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic">
|
||||
<concept id="2105510410850132386" name="jetbrains.mps.logic.structure.List" flags="ng" index="KCUsM">
|
||||
|
|
@ -127,37 +130,6 @@
|
|||
</registry>
|
||||
<node concept="3s_ewN" id="7t5VLKGALSG">
|
||||
<property role="3s_ewP" value="Lub" />
|
||||
<node concept="2tJIrI" id="7t5VLKGALSH" role="jymVt" />
|
||||
<node concept="312cEg" id="7t5VLKGALSI" role="jymVt">
|
||||
<property role="TrG5h" value="uni" />
|
||||
<node concept="3Tm6S6" id="7t5VLKGALSJ" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="7t5VLKGALSK" role="1tU5fm">
|
||||
<ref role="3uigEE" to="95zw:6njqcfQVO0n" resolve="UnificationSolver" />
|
||||
</node>
|
||||
<node concept="2ShNRf" id="7t5VLKGALSL" role="33vP2m">
|
||||
<node concept="1pGfFk" id="7t5VLKGALSM" role="2ShVmc">
|
||||
<ref role="37wK5l" to="95zw:3HJTsBn5KhD" resolve="UnificationSolverImpl" />
|
||||
<node concept="2OqwBi" id="qubcdtu07G" role="37wK5m">
|
||||
<node concept="2YIFZM" id="qubcdttZMi" role="2Oq$k0">
|
||||
<ref role="37wK5l" to="qrld:6Kcfpq7BWKD" resolve="with" />
|
||||
<ref role="1Pybhc" to="qrld:6Kcfpq7B0b0" resolve="ComputingSession" />
|
||||
<node concept="10M0yZ" id="qubcdttZN1" role="37wK5m">
|
||||
<ref role="1PxDUh" to="oy3s:3HJTsBn4kk_" resolve="EqualsBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C23RV" resolve="EQ_SYM" />
|
||||
</node>
|
||||
<node concept="10M0yZ" id="qubcdttZN4" role="37wK5m">
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="qubcdtu0th" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:6Kcfpq7Cgrc" resolve="newSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="10Nm6u" id="5uFPQ7Cmr7o" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="7t5VLKGALSN" role="1B3o_S" />
|
||||
<node concept="3s_gsd" id="7t5VLKGALSO" role="3s_ewO">
|
||||
<node concept="3s$Bmu" id="7t5VLKGALSP" role="3s_gse">
|
||||
|
|
@ -367,17 +339,27 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="4JRKVCv8a6q" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="4JRKVCv8a6r" role="3clFbG">
|
||||
<node concept="37vLTw" id="4JRKVCv8a6s" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7t5VLKGALSI" resolve="uni" />
|
||||
<node concept="3clFbF" id="5jPBdK_vh_" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_voQ" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="4JRKVCv8a6t" role="2OqNvi">
|
||||
<ref role="37wK5l" to="95zw:4U_yxogCcGI" resolve="tellUni" />
|
||||
<node concept="37vLTw" id="4JRKVCv8a6u" role="37wK5m">
|
||||
<node concept="liA8E" id="5jPBdK_vsV" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznPKO" resolve="tell" />
|
||||
<node concept="10M0yZ" id="5jPBdK_vv8" role="37wK5m">
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_vy4" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4JRKVCv8a6f" resolve="expect" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="4JRKVCv8a6v" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_vy5" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7t5VLKGALTu" resolve="var" />
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -606,17 +588,27 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="7t5VLKGALV7" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7t5VLKGALV8" role="3clFbG">
|
||||
<node concept="37vLTw" id="7t5VLKGALV9" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7t5VLKGALSI" resolve="uni" />
|
||||
<node concept="3clFbF" id="5jPBdK_vXh" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_vXl" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="7t5VLKGALVa" role="2OqNvi">
|
||||
<ref role="37wK5l" to="95zw:4U_yxogCcGI" resolve="tellUni" />
|
||||
<node concept="37vLTw" id="7t5VLKGALVb" role="37wK5m">
|
||||
<node concept="liA8E" id="5jPBdK_vXm" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznPKO" resolve="tell" />
|
||||
<node concept="10M0yZ" id="5jPBdK_vXn" role="37wK5m">
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_vXo" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7t5VLKGALUW" resolve="expect" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7t5VLKGALVc" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_vXp" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7t5VLKGALUz" resolve="var" />
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -831,17 +823,27 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="7t5VLKGALWq" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7t5VLKGALWr" role="3clFbG">
|
||||
<node concept="37vLTw" id="7t5VLKGALWs" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7t5VLKGALSI" resolve="uni" />
|
||||
<node concept="3clFbF" id="5jPBdK_wc8" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_wcc" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="7t5VLKGALWt" role="2OqNvi">
|
||||
<ref role="37wK5l" to="95zw:4U_yxogCcGI" resolve="tellUni" />
|
||||
<node concept="37vLTw" id="7t5VLKGALWu" role="37wK5m">
|
||||
<node concept="liA8E" id="5jPBdK_wcd" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznPKO" resolve="tell" />
|
||||
<node concept="10M0yZ" id="5jPBdK_wce" role="37wK5m">
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_wcf" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7t5VLKGALWf" resolve="expect" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7t5VLKGALWv" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_wcg" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7t5VLKGALVQ" resolve="var" />
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -1084,17 +1086,27 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="7t5VLKGALXR" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7t5VLKGALXS" role="3clFbG">
|
||||
<node concept="37vLTw" id="7t5VLKGALXT" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7t5VLKGALSI" resolve="uni" />
|
||||
<node concept="3clFbF" id="5jPBdK_w_e" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_w_i" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="7t5VLKGALXU" role="2OqNvi">
|
||||
<ref role="37wK5l" to="95zw:4U_yxogCcGI" resolve="tellUni" />
|
||||
<node concept="37vLTw" id="7t5VLKGALXV" role="37wK5m">
|
||||
<node concept="liA8E" id="5jPBdK_w_j" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznPKO" resolve="tell" />
|
||||
<node concept="10M0yZ" id="5jPBdK_w_k" role="37wK5m">
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_w_l" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7t5VLKGALXG" resolve="expect" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7t5VLKGALXW" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_w_m" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7t5VLKGALXj" resolve="var" />
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -1492,17 +1504,27 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="7t5VLKGAM00" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7t5VLKGAM01" role="3clFbG">
|
||||
<node concept="37vLTw" id="7t5VLKGAM02" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7t5VLKGALSI" resolve="uni" />
|
||||
<node concept="3clFbF" id="5jPBdK_wPq" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_wPu" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="7t5VLKGAM03" role="2OqNvi">
|
||||
<ref role="37wK5l" to="95zw:4U_yxogCcGI" resolve="tellUni" />
|
||||
<node concept="37vLTw" id="7t5VLKGAM04" role="37wK5m">
|
||||
<node concept="liA8E" id="5jPBdK_wPv" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznPKO" resolve="tell" />
|
||||
<node concept="10M0yZ" id="5jPBdK_wPw" role="37wK5m">
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_wPx" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7t5VLKGALZK" resolve="expect" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7t5VLKGAM05" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_wPy" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7t5VLKGALZn" resolve="var" />
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -1959,17 +1981,27 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="3hfdu5cNgsP" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3hfdu5cNgsQ" role="3clFbG">
|
||||
<node concept="37vLTw" id="3hfdu5cNgsR" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7t5VLKGALSI" resolve="uni" />
|
||||
<node concept="3clFbF" id="5jPBdK_x7_" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_x7D" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3hfdu5cNgsS" role="2OqNvi">
|
||||
<ref role="37wK5l" to="95zw:4U_yxogCcGI" resolve="tellUni" />
|
||||
<node concept="37vLTw" id="3hfdu5cNgsT" role="37wK5m">
|
||||
<node concept="liA8E" id="5jPBdK_x7E" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznPKO" resolve="tell" />
|
||||
<node concept="10M0yZ" id="5jPBdK_x7F" role="37wK5m">
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_x7G" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3hfdu5cNgsA" resolve="expect" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3hfdu5cNgsU" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_x7H" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3hfdu5cNgsd" resolve="var" />
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -2483,17 +2515,27 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="3KV3FXk2oK$" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3KV3FXk2oK_" role="3clFbG">
|
||||
<node concept="37vLTw" id="3KV3FXk2oKA" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7t5VLKGALSI" resolve="uni" />
|
||||
<node concept="3clFbF" id="5jPBdK_xqP" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_xqT" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3KV3FXk2oKB" role="2OqNvi">
|
||||
<ref role="37wK5l" to="95zw:4U_yxogCcGI" resolve="tellUni" />
|
||||
<node concept="37vLTw" id="3KV3FXk2oKC" role="37wK5m">
|
||||
<node concept="liA8E" id="5jPBdK_xqU" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznPKO" resolve="tell" />
|
||||
<node concept="10M0yZ" id="5jPBdK_xqV" role="37wK5m">
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_xqW" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3KV3FXk2oKs" resolve="expect" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3KV3FXk2oKD" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_xqX" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3KV3FXk2oK3" resolve="var" />
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -2928,17 +2970,27 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="3hfdu5cN_MZ" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3hfdu5cN_N0" role="3clFbG">
|
||||
<node concept="37vLTw" id="3hfdu5cN_N1" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7t5VLKGALSI" resolve="uni" />
|
||||
<node concept="3clFbF" id="5jPBdK_xIi" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_xIm" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3hfdu5cN_N2" role="2OqNvi">
|
||||
<ref role="37wK5l" to="95zw:4U_yxogCcGI" resolve="tellUni" />
|
||||
<node concept="37vLTw" id="3hfdu5cN_N3" role="37wK5m">
|
||||
<node concept="liA8E" id="5jPBdK_xIn" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznPKO" resolve="tell" />
|
||||
<node concept="10M0yZ" id="5jPBdK_xIo" role="37wK5m">
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_xIp" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3hfdu5cN_MP" resolve="expect" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3hfdu5cN_N4" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_xIq" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3hfdu5cN_Ms" resolve="var" />
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -3397,17 +3449,27 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="3KV3FXjXcr$" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3KV3FXjXcr_" role="3clFbG">
|
||||
<node concept="37vLTw" id="3KV3FXjXcrA" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7t5VLKGALSI" resolve="uni" />
|
||||
<node concept="3clFbF" id="5jPBdK_y0W" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_y10" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3KV3FXjXcrB" role="2OqNvi">
|
||||
<ref role="37wK5l" to="95zw:4U_yxogCcGI" resolve="tellUni" />
|
||||
<node concept="37vLTw" id="3KV3FXjXcrC" role="37wK5m">
|
||||
<node concept="liA8E" id="5jPBdK_y11" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznPKO" resolve="tell" />
|
||||
<node concept="10M0yZ" id="5jPBdK_y12" role="37wK5m">
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_y13" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3KV3FXjXcrs" resolve="expect" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3KV3FXjXcrD" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_y14" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3KV3FXjXcr3" resolve="var" />
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -3728,17 +3790,27 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="3KV3FXk18PH" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3KV3FXk18PI" role="3clFbG">
|
||||
<node concept="37vLTw" id="3KV3FXk18PJ" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7t5VLKGALSI" resolve="uni" />
|
||||
<node concept="3clFbF" id="5jPBdK_yj3" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_yj7" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3KV3FXk18PK" role="2OqNvi">
|
||||
<ref role="37wK5l" to="95zw:4U_yxogCcGI" resolve="tellUni" />
|
||||
<node concept="37vLTw" id="3KV3FXk18PL" role="37wK5m">
|
||||
<node concept="liA8E" id="5jPBdK_yj8" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznPKO" resolve="tell" />
|
||||
<node concept="10M0yZ" id="5jPBdK_yj9" role="37wK5m">
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_yja" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3KV3FXk18Pu" resolve="expect" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3KV3FXk18PM" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_yjb" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3KV3FXk18P5" resolve="var" />
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -3747,39 +3819,54 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3s_ewN" id="3KV3FXk2b2J">
|
||||
<property role="3s_ewP" value="SubtypePath" />
|
||||
<node concept="312cEg" id="3KV3FXk2bd7" role="jymVt">
|
||||
<property role="TrG5h" value="uni" />
|
||||
<node concept="3Tm6S6" id="3KV3FXk2bd8" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="3KV3FXk2bd9" role="1tU5fm">
|
||||
<ref role="3uigEE" to="95zw:6njqcfQVO0n" resolve="UnificationSolver" />
|
||||
</node>
|
||||
<node concept="2ShNRf" id="3KV3FXk2bda" role="33vP2m">
|
||||
<node concept="1pGfFk" id="3KV3FXk2bdb" role="2ShVmc">
|
||||
<ref role="37wK5l" to="95zw:3HJTsBn5KhD" resolve="UnificationSolverImpl" />
|
||||
<node concept="2OqwBi" id="5uFPQ7Cmt4b" role="37wK5m">
|
||||
<node concept="2YIFZM" id="5uFPQ7Cmt4c" role="2Oq$k0">
|
||||
<ref role="37wK5l" to="qrld:6Kcfpq7BWKD" resolve="with" />
|
||||
<ref role="1Pybhc" to="qrld:6Kcfpq7B0b0" resolve="ComputingSession" />
|
||||
<node concept="10M0yZ" id="5uFPQ7Cmt4d" role="37wK5m">
|
||||
<ref role="1PxDUh" to="oy3s:3HJTsBn4kk_" resolve="EqualsBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C23RV" resolve="EQ_SYM" />
|
||||
<node concept="1KhYhu" id="5jPBdK_uGO" role="1KhZu4">
|
||||
<node concept="3clFbS" id="5jPBdK_uGP" role="2VODD2">
|
||||
<node concept="3clFbF" id="5jPBdK_uPf" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="5jPBdK_uPM" role="3clFbG">
|
||||
<ref role="37wK5l" to="mqqo:7ISVfSIf0j" resolve="init" />
|
||||
<ref role="1Pybhc" to="mqqo:5jPBdK_dIS" resolve="TestingEvaluationSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="5jPBdK_uQ_" role="3cqZAp" />
|
||||
<node concept="3clFbF" id="5jPBdK_uRs" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="10M0yZ" id="5uFPQ7Cmt4e" role="37wK5m">
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
<node concept="liA8E" id="5jPBdK_uVI" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb: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="EqualsBuiltinConstraint" />
|
||||
</node>
|
||||
<node concept="10M0yZ" id="5jPBdK_uXd" role="37wK5m">
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="5uFPQ7Cmt4f" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:6Kcfpq7Cgrc" resolve="newSession" />
|
||||
<node concept="liA8E" id="5jPBdK_v1h" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:7ISVfSIuSh" resolve="start" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="10Nm6u" id="5uFPQ7Cmtax" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1KhZuU" id="5jPBdK_M4W" role="1KhZu3">
|
||||
<node concept="3clFbS" id="5jPBdK_M4X" role="2VODD2">
|
||||
<node concept="3clFbF" id="5jPBdK_M6G" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="5jPBdK_M7s" role="3clFbG">
|
||||
<ref role="37wK5l" to="mqqo:5jPBdK_KqB" resolve="deinit" />
|
||||
<ref role="1Pybhc" to="mqqo:5jPBdK_dIS" resolve="TestingEvaluationSession" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3s_ewN" id="3KV3FXk2b2J">
|
||||
<property role="3s_ewP" value="SubtypePath" />
|
||||
<node concept="3Tm1VV" id="3KV3FXk2b2K" role="1B3o_S" />
|
||||
<node concept="3s_gsd" id="3KV3FXk2b2L" role="3s_ewO">
|
||||
<node concept="3s$Bmu" id="3KV3FXk2boI" role="3s_gse">
|
||||
|
|
@ -4107,17 +4194,27 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="3KV3FXk2bqx" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="3KV3FXk2bqy" role="3clFbG">
|
||||
<node concept="37vLTw" id="3KV3FXk2bqz" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="3KV3FXk2bd7" resolve="uni" />
|
||||
<node concept="3clFbF" id="5jPBdK_R$R" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_R$V" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:5uFPQ7ClOzA" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="3KV3FXk2bq$" role="2OqNvi">
|
||||
<ref role="37wK5l" to="95zw:4U_yxogCcGI" resolve="tellUni" />
|
||||
<node concept="37vLTw" id="3KV3FXk2bq_" role="37wK5m">
|
||||
<node concept="liA8E" id="5jPBdK_R$W" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznPKO" resolve="tell" />
|
||||
<node concept="10M0yZ" id="5jPBdK_R$X" role="37wK5m">
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_R$Y" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3KV3FXk2bqn" resolve="expect" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3KV3FXk2bqA" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_R$Z" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3KV3FXk2bpY" resolve="var" />
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -4126,6 +4223,51 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1KhYhu" id="5jPBdK_QIy" role="1KhZu4">
|
||||
<node concept="3clFbS" id="5jPBdK_QIz" role="2VODD2">
|
||||
<node concept="3clFbF" id="5jPBdK_QKi" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="5jPBdK_QKj" role="3clFbG">
|
||||
<ref role="37wK5l" to="mqqo:7ISVfSIf0j" resolve="init" />
|
||||
<ref role="1Pybhc" to="mqqo:5jPBdK_dIS" resolve="TestingEvaluationSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="5jPBdK_QKk" role="3cqZAp" />
|
||||
<node concept="3clFbF" id="5jPBdK_QKl" role="3cqZAp">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_QKp" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:5uFPQ7Bwu9Q" resolve="withPredicates" />
|
||||
<node concept="10M0yZ" id="5jPBdK_QKq" role="37wK5m">
|
||||
<ref role="1PxDUh" to="oy3s:3HJTsBn4kk_" resolve="EqualsBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C23RV" resolve="EQ_SYM" />
|
||||
</node>
|
||||
<node concept="10M0yZ" id="5jPBdK_QKr" role="37wK5m">
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_QKs" role="2OqNvi">
|
||||
<ref role="37wK5l" to="rchb:7ISVfSIuSh" resolve="start" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1KhZuU" id="5jPBdK_R9y" role="1KhZu3">
|
||||
<node concept="3clFbS" id="5jPBdK_R9z" role="2VODD2">
|
||||
<node concept="3clFbF" id="5jPBdK_RbA" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="5jPBdK_RbB" role="3clFbG">
|
||||
<ref role="37wK5l" to="mqqo:5jPBdK_KqB" resolve="deinit" />
|
||||
<ref role="1Pybhc" to="mqqo:5jPBdK_dIS" resolve="TestingEvaluationSession" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</model>
|
||||
|
||||
|
|
|
|||
|
|
@ -59,6 +59,9 @@
|
|||
<concept id="1188220165133" name="jetbrains.mps.baseLanguage.structure.ArrayLiteral" flags="nn" index="2BsdOp">
|
||||
<child id="1188220173759" name="item" index="2BsfMF" />
|
||||
</concept>
|
||||
<concept id="2820489544401957797" name="jetbrains.mps.baseLanguage.structure.DefaultClassCreator" flags="nn" index="HV5vD">
|
||||
<reference id="2820489544401957798" name="classifier" index="HV5vE" />
|
||||
</concept>
|
||||
<concept id="1224848483129" name="jetbrains.mps.baseLanguage.structure.IBLDeprecatable" flags="ng" index="IEa8$">
|
||||
<property id="1224848525476" name="isDeprecated" index="IEkAT" />
|
||||
</concept>
|
||||
|
|
@ -8482,5 +8485,441 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="312cEu" id="7ISVfSIxNO">
|
||||
<property role="2bfB8j" value="false" />
|
||||
<property role="TrG5h" value="Symbols" />
|
||||
<node concept="2tJIrI" id="7ISVfSIy3T" role="jymVt" />
|
||||
<node concept="3clFbW" id="5mr7UHch7og" role="jymVt">
|
||||
<node concept="3cqZAl" id="5mr7UHch7oi" role="3clF45" />
|
||||
<node concept="3Tm1VV" id="5mr7UHch7oj" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5mr7UHch7ok" role="3clF47">
|
||||
<node concept="3clFbF" id="5mr7UHch7DZ" role="3cqZAp">
|
||||
<node concept="37vLTI" id="5mr7UHch7E1" role="3clFbG">
|
||||
<node concept="2OqwBi" id="5mr7UHch7E5" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="5mr7UHch7E8" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="5mr7UHch9IB" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="5mr7UHch7E9" role="37vLTx">
|
||||
<ref role="3cqZAo" node="5mr7UHch7vp" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="5mr7UHchbUd" role="3cqZAp">
|
||||
<node concept="37vLTI" id="5mr7UHchbUf" role="3clFbG">
|
||||
<node concept="2OqwBi" id="5mr7UHchbUj" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="5mr7UHchbUm" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="5mr7UHchbUi" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="5mr7UHchbU9" resolve="computingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="5mr7UHchbUn" role="37vLTx">
|
||||
<ref role="3cqZAo" node="5mr7UHchb$f" resolve="computingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="5mr7UHch7vp" role="3clF46">
|
||||
<property role="TrG5h" value="computingSession" />
|
||||
<node concept="3uibUv" id="5mr7UHch7vo" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:6Kcfpq7B0b0" resolve="ComputingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="5mr7UHchb$f" role="3clF46">
|
||||
<property role="TrG5h" value="computingTracer" />
|
||||
<node concept="3uibUv" id="5mr7UHchbC8" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:24Vro6cQnrj" resolve="ComputingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5mr7UHch7zp" role="jymVt" />
|
||||
<node concept="3clFb_" id="5jPBdK__lx" role="jymVt">
|
||||
<property role="TrG5h" value="registerSymbols" />
|
||||
<node concept="37vLTG" id="5jPBdK_Ahj" role="3clF46">
|
||||
<property role="TrG5h" value="predicateSymbols" />
|
||||
<node concept="8X2XB" id="5jPBdK_AnW" role="1tU5fm">
|
||||
<node concept="3uibUv" id="5jPBdK_Anu" role="8Xvag">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cqZAl" id="5jPBdK__lz" role="3clF45" />
|
||||
<node concept="3Tm1VV" id="5jPBdK__l$" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5jPBdK__l_" role="3clF47">
|
||||
<node concept="1DcWWT" id="5mr7UHchfPx" role="3cqZAp">
|
||||
<node concept="3clFbS" id="5mr7UHchfPz" role="2LFqv$">
|
||||
<node concept="3clFbF" id="5jPBdK_AI8" role="3cqZAp">
|
||||
<node concept="1rXfSq" id="5jPBdK_AI6" role="3clFbG">
|
||||
<ref role="37wK5l" node="7ISVfSIy6a" resolve="register" />
|
||||
<node concept="37vLTw" id="5jPBdK_AJz" role="37wK5m">
|
||||
<ref role="3cqZAo" node="5mr7UHchfP_" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWsn" id="5mr7UHchfP_" role="1Duv9x">
|
||||
<property role="TrG5h" value="symbol" />
|
||||
<node concept="3uibUv" id="5mr7UHchfPD" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_AEg" role="1DdaDG">
|
||||
<ref role="3cqZAo" node="5jPBdK_Ahj" resolve="predicateSymbols" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5jPBdK__cB" role="jymVt" />
|
||||
<node concept="3clFb_" id="7ISVfSIy6a" role="jymVt">
|
||||
<property role="TrG5h" value="register" />
|
||||
<node concept="37vLTG" id="7ISVfSIJee" role="3clF46">
|
||||
<property role="TrG5h" value="symbol" />
|
||||
<node concept="3uibUv" id="7ISVfSIJhR" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cqZAl" id="7ISVfSIy6c" role="3clF45" />
|
||||
<node concept="3Tmbuc" id="5mr7UHchdZc" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="7ISVfSIy6e" role="3clF47">
|
||||
<node concept="3clFbH" id="7ISVfSIYKv" role="3cqZAp" />
|
||||
<node concept="3clFbJ" id="7ISVfSIIXN" role="3cqZAp">
|
||||
<node concept="3clFbS" id="7ISVfSIIXO" role="3clFbx">
|
||||
<node concept="3clFbF" id="7ISVfSIVrg" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7ISVfSIVrQ" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIVrf" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIVsU" role="2OqNvi">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSIYFk" role="10QFUP">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ShNRf" id="7ISVfSIVIp" role="37wK5m">
|
||||
<node concept="1pGfFk" id="7ISVfSIWk9" role="2ShVmc">
|
||||
<ref role="37wK5l" node="3HJTsBn5KhD" resolve="UnificationSolverImpl" />
|
||||
<node concept="37vLTw" id="5mr7UHchbwX" role="37wK5m">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5mr7UHchcsc" role="37wK5m">
|
||||
<ref role="3cqZAo" node="5mr7UHchbU9" resolve="computingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="7ISVfSIYJ8" role="3cqZAp" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="7ISVfSIJwN" role="3clFbw">
|
||||
<node concept="10M0yZ" id="7ISVfSIJ9U" role="2Oq$k0">
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIJyd" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
|
||||
<node concept="37vLTw" id="7ISVfSIJzc" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3eNFk2" id="7ISVfSIJml" role="3eNLev">
|
||||
<node concept="2OqwBi" id="7ISVfSIJ_2" role="3eO9$A">
|
||||
<node concept="10M0yZ" id="7ISVfSIJrd" role="2Oq$k0">
|
||||
<ref role="1PxDUh" to="oy3s:3HJTsBn4kk_" resolve="EqualsBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C23RV" resolve="EQ_SYM" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIJAs" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
|
||||
<node concept="37vLTw" id="7ISVfSIJBV" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="7ISVfSIJmn" role="3eOfB_">
|
||||
<node concept="3clFbF" id="7ISVfSIYOv" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7ISVfSIYOw" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIYOx" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIYOy" role="2OqNvi">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSIYO_" role="10QFUP">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ShNRf" id="7ISVfSIYOA" role="37wK5m">
|
||||
<node concept="1pGfFk" id="7ISVfSIYOB" role="2ShVmc">
|
||||
<ref role="37wK5l" node="3HJTsBn5dl7" resolve="EqualsSolverImpl" />
|
||||
<node concept="37vLTw" id="7ISVfSIYOD" role="37wK5m">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="7ISVfSIYSU" role="3cqZAp" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3eNFk2" id="7ISVfSIJuG" role="3eNLev">
|
||||
<node concept="2OqwBi" id="7ISVfSIJGK" role="3eO9$A">
|
||||
<node concept="10M0yZ" id="7ISVfSIJCI" role="2Oq$k0">
|
||||
<ref role="1PxDUh" to="oy3s:6infEALAfer" resolve="AssertBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7BZnLB" resolve="ASSERT_SYM" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIJIa" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
|
||||
<node concept="37vLTw" id="7ISVfSIJJb" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="7ISVfSIJuI" role="3eOfB_">
|
||||
<node concept="3clFbF" id="7ISVfSIZhm" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7ISVfSIZhn" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIZho" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIZhp" role="2OqNvi">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSIZhs" role="10QFUP">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ShNRf" id="7ISVfSIZht" role="37wK5m">
|
||||
<node concept="1pGfFk" id="7ISVfSIZhu" role="2ShVmc">
|
||||
<ref role="37wK5l" node="6infEALANZc" resolve="AssertSolverImpl" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="7ISVfSIZlS" role="3cqZAp" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3eNFk2" id="7ISVfSIJJE" role="3eNLev">
|
||||
<node concept="2OqwBi" id="7ISVfSIJJF" role="3eO9$A">
|
||||
<node concept="10M0yZ" id="7ISVfSIK8M" role="2Oq$k0">
|
||||
<ref role="1PxDUh" to="xq5w:5$WbtTOYoMb" resolve="LogicalBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="xq5w:5uFPQ7C26$b" resolve="BOUND_SYM" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIJJH" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
|
||||
<node concept="37vLTw" id="7ISVfSIJJI" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="7ISVfSIJJJ" role="3eOfB_">
|
||||
<node concept="3clFbF" id="7ISVfSJ2P6" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7ISVfSJ2P7" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSJ2P8" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSJ2P9" role="2OqNvi">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSJ2Pc" role="10QFUP">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ShNRf" id="7ISVfSJ2Pd" role="37wK5m">
|
||||
<node concept="HV5vD" id="7ISVfSJ2Zy" role="2ShVmc">
|
||||
<ref role="HV5vE" node="7ISVfSJ0DF" resolve="LogicalSolverImpl.Bound" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="7ISVfSJ2Np" role="3cqZAp" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3eNFk2" id="7ISVfSJ2Gd" role="3eNLev">
|
||||
<node concept="2OqwBi" id="7ISVfSJ2Ge" role="3eO9$A">
|
||||
<node concept="10M0yZ" id="7ISVfSJ2Gf" role="2Oq$k0">
|
||||
<ref role="1PxDUh" to="xq5w:5$WbtTOYoMb" resolve="LogicalBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="xq5w:5uFPQ7C279$" resolve="FREE_SYM" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSJ2Gg" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
|
||||
<node concept="37vLTw" id="7ISVfSJ2Gh" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="7ISVfSJ2Gi" role="3eOfB_">
|
||||
<node concept="3clFbF" id="7ISVfSJ30n" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7ISVfSJ30o" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSJ30p" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSJ30q" role="2OqNvi">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSJ30t" role="10QFUP">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ShNRf" id="7ISVfSJ30u" role="37wK5m">
|
||||
<node concept="HV5vD" id="7ISVfSJ3cx" role="2ShVmc">
|
||||
<ref role="HV5vE" node="7ISVfSJ1oi" resolve="LogicalSolverImpl.Free" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="7ISVfSJ2Nu" role="3cqZAp" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="9aQIb" id="5mr7UHchgcy" role="9aQIa">
|
||||
<node concept="3clFbS" id="5mr7UHchgcz" role="9aQI4">
|
||||
<node concept="YS8fn" id="5mr7UHchgjZ" role="3cqZAp">
|
||||
<node concept="2ShNRf" id="5mr7UHchgme" role="YScLw">
|
||||
<node concept="1pGfFk" id="5mr7UHchgDA" role="2ShVmc">
|
||||
<ref role="37wK5l" to="wyt6:~IllegalArgumentException.<init>(java.lang.String)" resolve="IllegalArgumentException" />
|
||||
<node concept="3cpWs3" id="5mr7UHchgIt" role="37wK5m">
|
||||
<node concept="37vLTw" id="5mr7UHchgKN" role="3uHU7w">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
<node concept="Xl_RD" id="5mr7UHchgEB" role="3uHU7B">
|
||||
<property role="Xl_RC" value="unknown symbol: " />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="5mr7UHcbFmH" role="3cqZAp" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5mr7UHch7aO" role="jymVt" />
|
||||
<node concept="3clFb_" id="6Kcfpq7Bs88" role="jymVt">
|
||||
<property role="TrG5h" value="registerHandler" />
|
||||
<node concept="37vLTG" id="7ISVfSIOyP" role="3clF46">
|
||||
<property role="TrG5h" value="symbol" />
|
||||
<node concept="3uibUv" id="7ISVfSIOGX" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="6Kcfpq7BtOW" role="3clF46">
|
||||
<property role="TrG5h" value="instructible" />
|
||||
<node concept="3uibUv" id="6Kcfpq7BtZc" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:6Kcfpq7AXVG" resolve="Instructible" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cqZAl" id="6Kcfpq7Bs8a" role="3clF45" />
|
||||
<node concept="3Tmbuc" id="6Kcfpq7BskN" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="6Kcfpq7Bs8c" role="3clF47">
|
||||
<node concept="3clFbF" id="6Kcfpq7Bu1B" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="6Kcfpq7Bu22" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIOWI" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="6Kcfpq7Bu2G" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:6Kcfpq7B2yH" resolve="registerHandler" />
|
||||
<node concept="37vLTw" id="7ISVfSIOLP" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIOyP" resolve="symbol" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="6Kcfpq7Bu3W" role="37wK5m">
|
||||
<ref role="3cqZAo" node="6Kcfpq7BtOW" resolve="instructible" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="6Kcfpq7BuLv" role="jymVt" />
|
||||
<node concept="3clFb_" id="6Kcfpq7Buzk" role="jymVt">
|
||||
<property role="TrG5h" value="registerSolver" />
|
||||
<node concept="37vLTG" id="7ISVfSIOZm" role="3clF46">
|
||||
<property role="TrG5h" value="predicateSymbol" />
|
||||
<node concept="3uibUv" id="7ISVfSIPw0" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="6Kcfpq7Buzn" role="3clF46">
|
||||
<property role="TrG5h" value="queryable" />
|
||||
<node concept="3uibUv" id="6Kcfpq7Bw2C" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:6Kcfpq7AYBh" resolve="Queryable" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cqZAl" id="6Kcfpq7Buzp" role="3clF45" />
|
||||
<node concept="3Tmbuc" id="6Kcfpq7Buzq" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="6Kcfpq7Buzr" role="3clF47">
|
||||
<node concept="3clFbF" id="6Kcfpq7Buzs" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="6Kcfpq7Buzt" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIPqq" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="6Kcfpq7Buzv" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:6Kcfpq7B2LV" resolve="registerSolver" />
|
||||
<node concept="37vLTw" id="7ISVfSIPef" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIOZm" resolve="predicateSymbol" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="6Kcfpq7Buzx" role="37wK5m">
|
||||
<ref role="3cqZAo" node="6Kcfpq7Buzn" resolve="queryable" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="4xBopTzylBh" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="4xBopTzylBi" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIPtf" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="4xBopTzylBk" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:6Kcfpq7B2yH" resolve="registerHandler" />
|
||||
<node concept="37vLTw" id="7ISVfSIPfC" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIOZm" resolve="predicateSymbol" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="4xBopTzylH0" role="37wK5m">
|
||||
<ref role="3cqZAo" node="6Kcfpq7Buzn" resolve="queryable" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5uFPQ7BZbUe" role="jymVt" />
|
||||
<node concept="2tJIrI" id="7ISVfSIy3Y" role="jymVt" />
|
||||
<node concept="3Tm1VV" id="5jPBdK_$TM" role="1B3o_S" />
|
||||
<node concept="312cEg" id="5mr7UHch7DV" role="jymVt">
|
||||
<property role="TrG5h" value="computingSession" />
|
||||
<node concept="3Tm6S6" id="5mr7UHch7DW" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="5mr7UHch7DY" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:6Kcfpq7B0b0" resolve="ComputingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5mr7UHchpFD" role="jymVt" />
|
||||
<node concept="312cEg" id="5mr7UHchbU9" role="jymVt">
|
||||
<property role="TrG5h" value="computingTracer" />
|
||||
<node concept="3Tm6S6" id="5mr7UHchbUa" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="5mr7UHchbUc" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:24Vro6cQnrj" resolve="ComputingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</model>
|
||||
|
||||
|
|
|
|||
|
|
@ -33,9 +33,6 @@
|
|||
<concept id="1219920932475" name="jetbrains.mps.baseLanguage.structure.VariableArityType" flags="in" index="8X2XB">
|
||||
<child id="1219921048460" name="componentType" index="8Xvag" />
|
||||
</concept>
|
||||
<concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
|
||||
<child id="1082485599096" name="statements" index="9aQI4" />
|
||||
</concept>
|
||||
<concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
|
||||
<child id="1068498886297" name="rValue" index="37vLTx" />
|
||||
<child id="1068498886295" name="lValue" index="37vLTJ" />
|
||||
|
|
@ -142,10 +139,8 @@
|
|||
</concept>
|
||||
<concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
|
||||
<concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
|
||||
<child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
|
||||
<child id="1068580123160" name="condition" index="3clFbw" />
|
||||
<child id="1068580123161" name="ifTrue" index="3clFbx" />
|
||||
<child id="1206060520071" name="elsifClauses" index="3eNLev" />
|
||||
</concept>
|
||||
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
|
||||
<child id="1068581517665" name="statement" index="3cqZAp" />
|
||||
|
|
@ -163,10 +158,6 @@
|
|||
</concept>
|
||||
<concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
|
||||
<concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
|
||||
<concept id="1206060495898" name="jetbrains.mps.baseLanguage.structure.ElsifClause" flags="ng" index="3eNFk2">
|
||||
<child id="1206060619838" name="condition" index="3eO9$A" />
|
||||
<child id="1206060644605" name="statementList" index="3eOfB_" />
|
||||
</concept>
|
||||
<concept id="1081506773034" name="jetbrains.mps.baseLanguage.structure.LessThanExpression" flags="nn" index="3eOVzh" />
|
||||
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
|
||||
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
|
||||
|
|
@ -292,8 +283,8 @@
|
|||
<node concept="37vLTw" id="7ISVfSIkA9" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7ISVfSIeK_" resolve="config" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIkAa" role="2OqNvi">
|
||||
<ref role="37wK5l" node="7ISVfSIiZn" resolve="getPredicateSymbols" />
|
||||
<node concept="2OwXpG" id="5jPBdK_kJY" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="7ISVfSIioQ" resolve="predicateSymbols" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -304,62 +295,38 @@
|
|||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="5mr7UHchezJ" role="3cqZAp" />
|
||||
<node concept="3cpWs8" id="5mr7UHcheHc" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="5mr7UHcheHd" role="3cpWs9">
|
||||
<property role="TrG5h" value="symbols" />
|
||||
<node concept="3uibUv" id="5mr7UHcheGS" role="1tU5fm">
|
||||
<ref role="3uigEE" node="7ISVfSIxNO" resolve="JchrEvaluationSession.Symbols" />
|
||||
</node>
|
||||
<node concept="2ShNRf" id="5mr7UHcheHe" role="33vP2m">
|
||||
<node concept="1pGfFk" id="5mr7UHcheHf" role="2ShVmc">
|
||||
<ref role="37wK5l" node="5mr7UHch7og" resolve="JchrEvaluationSession.Symbols" />
|
||||
<node concept="37vLTw" id="5mr7UHcheHg" role="37wK5m">
|
||||
<node concept="3clFbF" id="5jPBdK_B63" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="5jPBdK_Bcd" role="3clFbG">
|
||||
<node concept="2ShNRf" id="5jPBdK_BqZ" role="2Oq$k0">
|
||||
<node concept="1pGfFk" id="5jPBdK_Br0" role="2ShVmc">
|
||||
<ref role="37wK5l" to="95zw:5mr7UHch7og" resolve="Symbols" />
|
||||
<node concept="37vLTw" id="5jPBdK_Br1" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIkA5" resolve="csession" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="5mr7UHcheHh" role="37wK5m">
|
||||
<node concept="37vLTw" id="5mr7UHcheHi" role="2Oq$k0">
|
||||
<node concept="2OqwBi" id="5jPBdK_Br2" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_Br3" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7ISVfSIeK_" resolve="config" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5mr7UHcheHj" role="2OqNvi">
|
||||
<ref role="37wK5l" node="5mr7UHcbx7o" resolve="getComputingTracer" />
|
||||
<node concept="2OwXpG" id="5jPBdK_Br4" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="5mr7UHcbs2A" resolve="computingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_Bhd" role="2OqNvi">
|
||||
<ref role="37wK5l" to="95zw:5jPBdK__lx" resolve="registerSymbols" />
|
||||
<node concept="2OqwBi" id="5jPBdK_Bie" role="37wK5m">
|
||||
<node concept="37vLTw" id="5jPBdK_Bif" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7ISVfSIeK_" resolve="config" />
|
||||
</node>
|
||||
<node concept="2OwXpG" id="5jPBdK_Big" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="7ISVfSIioQ" resolve="predicateSymbols" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1DcWWT" id="5mr7UHchfPx" role="3cqZAp">
|
||||
<node concept="3clFbS" id="5mr7UHchfPz" role="2LFqv$">
|
||||
<node concept="3clFbF" id="5mr7UHchebU" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="5mr7UHchg4S" role="3clFbG">
|
||||
<node concept="37vLTw" id="5mr7UHcheHk" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHcheHd" resolve="symbols" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5mr7UHchgaR" role="2OqNvi">
|
||||
<ref role="37wK5l" node="7ISVfSIy6a" resolve="register" />
|
||||
<node concept="37vLTw" id="5mr7UHchgbS" role="37wK5m">
|
||||
<ref role="3cqZAo" node="5mr7UHchfP_" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWsn" id="5mr7UHchfP_" role="1Duv9x">
|
||||
<property role="TrG5h" value="symbol" />
|
||||
<node concept="3uibUv" id="5mr7UHchfPD" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="5mr7UHchfPE" role="1DdaDG">
|
||||
<node concept="37vLTw" id="5mr7UHchfPF" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7ISVfSIeK_" resolve="config" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5mr7UHchfPG" role="2OqNvi">
|
||||
<ref role="37wK5l" node="7ISVfSIiZn" resolve="getPredicateSymbols" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="5mr7UHch5Ht" role="3cqZAp" />
|
||||
<node concept="3clFbH" id="5jPBdK_Byj" role="3cqZAp" />
|
||||
<node concept="3clFbF" id="7ISVfSIeOH" role="3cqZAp">
|
||||
<node concept="2ShNRf" id="7ISVfSIeOF" role="3clFbG">
|
||||
<node concept="1pGfFk" id="7ISVfSIeUk" role="2ShVmc">
|
||||
|
|
@ -472,90 +439,6 @@
|
|||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="7ISVfSIhAc" role="jymVt" />
|
||||
<node concept="3clFb_" id="7ISVfSIg2G" role="jymVt">
|
||||
<property role="TrG5h" value="tell" />
|
||||
<property role="1EzhhJ" value="false" />
|
||||
<node concept="3cqZAl" id="7ISVfSIg2H" role="3clF45" />
|
||||
<node concept="3Tm1VV" id="7ISVfSIg2I" role="1B3o_S" />
|
||||
<node concept="37vLTG" id="7ISVfSIg2K" role="3clF46">
|
||||
<property role="TrG5h" value="symbol" />
|
||||
<node concept="3uibUv" id="7ISVfSIqv7" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="7ISVfSIg2M" role="3clF46">
|
||||
<property role="TrG5h" value="args" />
|
||||
<node concept="8X2XB" id="7ISVfSIg2N" role="1tU5fm">
|
||||
<node concept="3uibUv" id="7ISVfSIg2O" role="8Xvag">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="7ISVfSIg2P" role="3clF47">
|
||||
<node concept="3clFbF" id="7ISVfSIob6" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7ISVfSIobF" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIob5" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7ISVfSIlkQ" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIofH" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznPKO" resolve="tell" />
|
||||
<node concept="37vLTw" id="7ISVfSIora" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIg2K" resolve="symbol" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSIomK" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIg2M" resolve="args" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2AHcQZ" id="7ISVfSIqVs" role="2AJF6D">
|
||||
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="7ISVfSIhI1" role="jymVt" />
|
||||
<node concept="3clFb_" id="7ISVfSIg30" role="jymVt">
|
||||
<property role="TrG5h" value="ask" />
|
||||
<property role="1EzhhJ" value="false" />
|
||||
<node concept="3cqZAl" id="7ISVfSIg31" role="3clF45" />
|
||||
<node concept="3Tm1VV" id="7ISVfSIg32" role="1B3o_S" />
|
||||
<node concept="37vLTG" id="7ISVfSIg34" role="3clF46">
|
||||
<property role="TrG5h" value="predicateSymbol" />
|
||||
<node concept="3uibUv" id="7ISVfSIg35" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="7ISVfSIrPy" role="3clF46">
|
||||
<property role="TrG5h" value="args" />
|
||||
<node concept="8X2XB" id="7ISVfSIs2D" role="1tU5fm">
|
||||
<node concept="3uibUv" id="7ISVfSIrW_" role="8Xvag">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="7ISVfSIg36" role="3clF47">
|
||||
<node concept="3clFbF" id="7ISVfSIrIB" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7ISVfSIrJc" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIrIA" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7ISVfSIlkQ" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIrMb" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:4xBopTznHV5" resolve="ask" />
|
||||
<node concept="37vLTw" id="7ISVfSIrMZ" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIg34" resolve="predicateSymbol" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSIswq" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIrPy" resolve="args" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2AHcQZ" id="7ISVfSIri5" role="2AJF6D">
|
||||
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="7ISVfSIhXI" role="jymVt" />
|
||||
<node concept="3clFb_" id="7ISVfSIg37" role="jymVt">
|
||||
<property role="TrG5h" value="constraintSymbols" />
|
||||
<property role="1EzhhJ" value="false" />
|
||||
|
|
@ -896,64 +779,155 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5uFPQ7Bwuj4" role="jymVt" />
|
||||
<node concept="3clFb_" id="7ISVfSIiZn" role="jymVt">
|
||||
<property role="TrG5h" value="getPredicateSymbols" />
|
||||
<node concept="10Q1$e" id="5mr7UHchhag" role="3clF45">
|
||||
<node concept="3uibUv" id="5mr7UHchgVU" role="10Q1$1">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
|
||||
<node concept="2tJIrI" id="5jPBdK_iKa" role="jymVt" />
|
||||
<node concept="3clFb_" id="5uFPQ7Bwu9Q" role="jymVt">
|
||||
<property role="TrG5h" value="withPredicates" />
|
||||
<node concept="37vLTG" id="5uFPQ7BwufO" role="3clF46">
|
||||
<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" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tmbuc" id="5mr7UHcbwKC" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="7ISVfSIiZr" role="3clF47">
|
||||
<node concept="3clFbF" id="5mr7UHchfE6" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="5mr7UHchfIK" role="3clFbG">
|
||||
<ref role="37wK5l" to="33ny:~Arrays.asList(java.lang.Object...):java.util.List" resolve="asList" />
|
||||
<ref role="1Pybhc" to="33ny:~Arrays" resolve="Arrays" />
|
||||
<node concept="37vLTw" id="5mr7UHchfKW" role="37wK5m">
|
||||
<ref role="3cqZAo" to="rchb:7ISVfSIioQ" resolve="predicateSymbols" />
|
||||
<node concept="3uibUv" id="5uFPQ7Bwub9" role="3clF45">
|
||||
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="5uFPQ7Bwu9T" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5uFPQ7Bwu9U" role="3clF47">
|
||||
<node concept="3clFbF" id="7ISVfSIioV" role="3cqZAp">
|
||||
<node concept="37vLTI" id="7ISVfSIioX" role="3clFbG">
|
||||
<node concept="2OqwBi" id="7ISVfSIip1" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="7ISVfSIip4" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="7ISVfSIip0" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="7ISVfSIioQ" resolve="predicateSymbols" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSIip5" role="37vLTx">
|
||||
<ref role="3cqZAo" node="5uFPQ7BwufO" resolve="predicateSymbols" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="5mr7UHchhEK" role="3cqZAp">
|
||||
<node concept="37vLTw" id="5mr7UHchhEM" role="3clFbG">
|
||||
<ref role="3cqZAo" to="rchb:7ISVfSIioQ" resolve="predicateSymbols" />
|
||||
</node>
|
||||
<node concept="3clFbF" id="7ISVfSIiJ6" role="3cqZAp">
|
||||
<node concept="Xjq3P" id="7ISVfSIiJ4" role="3clFbG" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="7ISVfSIjE_" role="jymVt" />
|
||||
<node concept="3clFb_" id="5mr7UHcbx7o" role="jymVt">
|
||||
<property role="TrG5h" value="getComputingTracer" />
|
||||
<node concept="3uibUv" id="5mr7UHcbx7p" role="3clF45">
|
||||
<ref role="3uigEE" to="qrld:24Vro6cQnrj" resolve="ComputingTracer" />
|
||||
<node concept="2AHcQZ" id="5jPBdK_lg1" role="2AJF6D">
|
||||
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
|
||||
</node>
|
||||
<node concept="3Tmbuc" id="5mr7UHcbypS" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5mr7UHcbx7r" role="3clF47">
|
||||
<node concept="3clFbF" id="5mr7UHcbx7s" role="3cqZAp">
|
||||
<node concept="37vLTw" id="5mr7UHcbx7n" role="3clFbG">
|
||||
<ref role="3cqZAo" to="rchb:5mr7UHcbs2A" resolve="computingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5uFPQ7Bwvfj" role="jymVt" />
|
||||
<node concept="3clFb_" id="5uFPQ7Bwvg_" role="jymVt">
|
||||
<property role="TrG5h" value="withTrace" />
|
||||
<node concept="37vLTG" id="5mr7UHcbrGT" role="3clF46">
|
||||
<property role="TrG5h" value="computingTracer" />
|
||||
<node concept="3uibUv" id="5mr7UHcbrPY" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:24Vro6cQnrj" resolve="ComputingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uibUv" id="5uFPQ7Bwvia" role="3clF45">
|
||||
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="5uFPQ7BwvgC" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5uFPQ7BwvgD" role="3clF47">
|
||||
<node concept="3clFbF" id="5mr7UHcbs2E" role="3cqZAp">
|
||||
<node concept="37vLTI" id="5mr7UHcbs2G" role="3clFbG">
|
||||
<node concept="2OqwBi" id="5mr7UHcbs2K" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="5mr7UHcbs2N" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="5mr7UHcbs2J" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="5mr7UHcbs2A" resolve="computingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="5mr7UHcbs2O" role="37vLTx">
|
||||
<ref role="3cqZAo" node="5mr7UHcbrGT" resolve="computingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="5uFPQ7BwvnB" role="3cqZAp">
|
||||
<node concept="Xjq3P" id="5uFPQ7BwvnA" role="3clFbG" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2AHcQZ" id="5jPBdK_lwj" role="2AJF6D">
|
||||
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5mr7UHcbybF" role="jymVt" />
|
||||
<node concept="3clFb_" id="5mr7UHcbx7g" role="jymVt">
|
||||
<property role="TrG5h" value="getParameters" />
|
||||
<node concept="3uibUv" id="5mr7UHcbx7h" role="3clF45">
|
||||
<ref role="3uigEE" to="33ny:~Map" resolve="Map" />
|
||||
<node concept="17QB3L" id="5mr7UHcbx7i" role="11_B2D" />
|
||||
<node concept="3uibUv" id="5mr7UHcbx7j" role="11_B2D">
|
||||
<node concept="2tJIrI" id="5mr7UHcbcbV" role="jymVt" />
|
||||
<node concept="3clFb_" id="5mr7UHcbbR2" role="jymVt">
|
||||
<property role="TrG5h" value="withParam" />
|
||||
<node concept="37vLTG" id="5mr7UHcbcpj" role="3clF46">
|
||||
<property role="TrG5h" value="key" />
|
||||
<node concept="17QB3L" id="5mr7UHcbcs$" role="1tU5fm" />
|
||||
</node>
|
||||
<node concept="37vLTG" id="5mr7UHcbctA" role="3clF46">
|
||||
<property role="TrG5h" value="param" />
|
||||
<node concept="3uibUv" id="5mr7UHcbcxl" role="1tU5fm">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tmbuc" id="5mr7UHcbyx8" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5mr7UHcbx7l" role="3clF47">
|
||||
<node concept="3clFbF" id="5mr7UHcbx7m" role="3cqZAp">
|
||||
<node concept="37vLTw" id="5mr7UHcbx7f" role="3clFbG">
|
||||
<ref role="3cqZAo" to="rchb:5mr7UHcbcAv" resolve="parameters" />
|
||||
<node concept="3uibUv" id="5mr7UHcbjuP" role="3clF45">
|
||||
<ref role="3uigEE" to="rchb:5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="5mr7UHcbbR5" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5mr7UHcbbR6" role="3clF47">
|
||||
<node concept="3clFbF" id="5mr7UHcbdeU" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="5mr7UHcbdgN" role="3clFbG">
|
||||
<node concept="37vLTw" id="5mr7UHcbdeT" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHcbcAv" resolve="parameters" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5mr7UHcbdni" role="2OqNvi">
|
||||
<ref role="37wK5l" to="33ny:~Map.put(java.lang.Object,java.lang.Object):java.lang.Object" resolve="put" />
|
||||
<node concept="37vLTw" id="5mr7UHcbdq7" role="37wK5m">
|
||||
<ref role="3cqZAo" node="5mr7UHcbcpj" resolve="key" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5mr7UHcbdvq" role="37wK5m">
|
||||
<ref role="3cqZAo" node="5mr7UHcbctA" resolve="param" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="5mr7UHcbjFr" role="3cqZAp">
|
||||
<node concept="Xjq3P" id="5mr7UHcbjFp" role="3clFbG" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2AHcQZ" id="5jPBdK_lKH" role="2AJF6D">
|
||||
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5mr7UHcbwTX" role="jymVt" />
|
||||
<node concept="312cEg" id="7ISVfSIioQ" role="jymVt">
|
||||
<property role="TrG5h" value="predicateSymbols" />
|
||||
<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" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="312cEg" id="5mr7UHcbcAv" role="jymVt">
|
||||
<property role="TrG5h" value="parameters" />
|
||||
<node concept="3Tmbuc" id="5mr7UHcbtVS" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="5mr7UHcbcEh" role="1tU5fm">
|
||||
<ref role="3uigEE" to="33ny:~Map" resolve="Map" />
|
||||
<node concept="17QB3L" id="5mr7UHcbcEz" role="11_B2D" />
|
||||
<node concept="3uibUv" id="5mr7UHcbcF8" role="11_B2D">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ShNRf" id="5mr7UHcbcTG" role="33vP2m">
|
||||
<node concept="1pGfFk" id="5mr7UHcbd42" role="2ShVmc">
|
||||
<ref role="37wK5l" to="33ny:~HashMap.<init>()" resolve="HashMap" />
|
||||
<node concept="17QB3L" id="5mr7UHcbd7P" role="1pMfVU" />
|
||||
<node concept="3uibUv" id="5mr7UHcbdce" role="1pMfVU">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="312cEg" id="5mr7UHcbs2A" role="jymVt">
|
||||
<property role="TrG5h" value="computingTracer" />
|
||||
<node concept="3Tmbuc" id="5mr7UHcbtYG" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="5mr7UHcbs2D" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:24Vro6cQnrj" resolve="ComputingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5mr7UHcbDBk" role="jymVt" />
|
||||
|
|
@ -974,8 +948,8 @@
|
|||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="5mr7UHcbEN9" role="33vP2m">
|
||||
<node concept="37vLTw" id="5mr7UHcbENa" role="2Oq$k0">
|
||||
<ref role="3cqZAo" to="rchb:5mr7UHcbcAv" resolve="parameters" />
|
||||
<node concept="37vLTw" id="5jPBdK_mjF" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHcbcAv" resolve="parameters" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5mr7UHcbENb" role="2OqNvi">
|
||||
<ref role="37wK5l" to="33ny:~Map.get(java.lang.Object):java.lang.Object" resolve="get" />
|
||||
|
|
@ -1106,405 +1080,6 @@
|
|||
<node concept="2tJIrI" id="7ISVfSIezb" role="jymVt" />
|
||||
</node>
|
||||
<node concept="2tJIrI" id="7ISVfSIeeE" role="jymVt" />
|
||||
<node concept="312cEu" id="7ISVfSIxNO" role="jymVt">
|
||||
<property role="2bfB8j" value="false" />
|
||||
<property role="TrG5h" value="Symbols" />
|
||||
<node concept="2tJIrI" id="7ISVfSIy3T" role="jymVt" />
|
||||
<node concept="3clFbW" id="5mr7UHch7og" role="jymVt">
|
||||
<node concept="3cqZAl" id="5mr7UHch7oi" role="3clF45" />
|
||||
<node concept="3Tm1VV" id="5mr7UHch7oj" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5mr7UHch7ok" role="3clF47">
|
||||
<node concept="3clFbF" id="5mr7UHch7DZ" role="3cqZAp">
|
||||
<node concept="37vLTI" id="5mr7UHch7E1" role="3clFbG">
|
||||
<node concept="2OqwBi" id="5mr7UHch7E5" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="5mr7UHch7E8" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="5mr7UHch9IB" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="5mr7UHch7E9" role="37vLTx">
|
||||
<ref role="3cqZAo" node="5mr7UHch7vp" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="5mr7UHchbUd" role="3cqZAp">
|
||||
<node concept="37vLTI" id="5mr7UHchbUf" role="3clFbG">
|
||||
<node concept="2OqwBi" id="5mr7UHchbUj" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="5mr7UHchbUm" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="5mr7UHchbUi" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="5mr7UHchbU9" resolve="computingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="5mr7UHchbUn" role="37vLTx">
|
||||
<ref role="3cqZAo" node="5mr7UHchb$f" resolve="computingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="5mr7UHch7vp" role="3clF46">
|
||||
<property role="TrG5h" value="computingSession" />
|
||||
<node concept="3uibUv" id="5mr7UHch7vo" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:6Kcfpq7B0b0" resolve="ComputingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="5mr7UHchb$f" role="3clF46">
|
||||
<property role="TrG5h" value="computingTracer" />
|
||||
<node concept="3uibUv" id="5mr7UHchbC8" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:24Vro6cQnrj" resolve="ComputingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5mr7UHch7zp" role="jymVt" />
|
||||
<node concept="3clFb_" id="7ISVfSIy6a" role="jymVt">
|
||||
<property role="TrG5h" value="register" />
|
||||
<node concept="37vLTG" id="7ISVfSIJee" role="3clF46">
|
||||
<property role="TrG5h" value="symbol" />
|
||||
<node concept="3uibUv" id="7ISVfSIJhR" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cqZAl" id="7ISVfSIy6c" role="3clF45" />
|
||||
<node concept="3Tmbuc" id="5mr7UHchdZc" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="7ISVfSIy6e" role="3clF47">
|
||||
<node concept="3clFbH" id="7ISVfSIYKv" role="3cqZAp" />
|
||||
<node concept="3clFbJ" id="7ISVfSIIXN" role="3cqZAp">
|
||||
<node concept="3clFbS" id="7ISVfSIIXO" role="3clFbx">
|
||||
<node concept="3clFbF" id="7ISVfSIVrg" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7ISVfSIVrQ" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIVrf" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIVsU" role="2OqNvi">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSIYFk" role="10QFUP">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ShNRf" id="7ISVfSIVIp" role="37wK5m">
|
||||
<node concept="1pGfFk" id="7ISVfSIWk9" role="2ShVmc">
|
||||
<ref role="37wK5l" to="95zw:3HJTsBn5KhD" resolve="UnificationSolverImpl" />
|
||||
<node concept="37vLTw" id="5mr7UHchbwX" role="37wK5m">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5mr7UHchcsc" role="37wK5m">
|
||||
<ref role="3cqZAo" node="5mr7UHchbU9" resolve="computingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="7ISVfSIYJ8" role="3cqZAp" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="7ISVfSIJwN" role="3clFbw">
|
||||
<node concept="10M0yZ" id="7ISVfSIJ9U" role="2Oq$k0">
|
||||
<ref role="1PxDUh" to="oy3s:2GO7tyJVmP4" resolve="UnificationBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C29mw" resolve="UNI_SYM" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIJyd" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
|
||||
<node concept="37vLTw" id="7ISVfSIJzc" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3eNFk2" id="7ISVfSIJml" role="3eNLev">
|
||||
<node concept="2OqwBi" id="7ISVfSIJ_2" role="3eO9$A">
|
||||
<node concept="10M0yZ" id="7ISVfSIJrd" role="2Oq$k0">
|
||||
<ref role="1PxDUh" to="oy3s:3HJTsBn4kk_" resolve="EqualsBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7C23RV" resolve="EQ_SYM" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIJAs" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
|
||||
<node concept="37vLTw" id="7ISVfSIJBV" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="7ISVfSIJmn" role="3eOfB_">
|
||||
<node concept="3clFbF" id="7ISVfSIYOv" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7ISVfSIYOw" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIYOx" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIYOy" role="2OqNvi">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSIYO_" role="10QFUP">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ShNRf" id="7ISVfSIYOA" role="37wK5m">
|
||||
<node concept="1pGfFk" id="7ISVfSIYOB" role="2ShVmc">
|
||||
<ref role="37wK5l" to="95zw:3HJTsBn5dl7" resolve="EqualsSolverImpl" />
|
||||
<node concept="37vLTw" id="7ISVfSIYOD" role="37wK5m">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="7ISVfSIYSU" role="3cqZAp" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3eNFk2" id="7ISVfSIJuG" role="3eNLev">
|
||||
<node concept="2OqwBi" id="7ISVfSIJGK" role="3eO9$A">
|
||||
<node concept="10M0yZ" id="7ISVfSIJCI" role="2Oq$k0">
|
||||
<ref role="1PxDUh" to="oy3s:6infEALAfer" resolve="AssertBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="oy3s:5uFPQ7BZnLB" resolve="ASSERT_SYM" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIJIa" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
|
||||
<node concept="37vLTw" id="7ISVfSIJJb" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="7ISVfSIJuI" role="3eOfB_">
|
||||
<node concept="3clFbF" id="7ISVfSIZhm" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7ISVfSIZhn" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIZho" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIZhp" role="2OqNvi">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSIZhs" role="10QFUP">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ShNRf" id="7ISVfSIZht" role="37wK5m">
|
||||
<node concept="1pGfFk" id="7ISVfSIZhu" role="2ShVmc">
|
||||
<ref role="37wK5l" to="95zw:6infEALANZc" resolve="AssertSolverImpl" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="7ISVfSIZlS" role="3cqZAp" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3eNFk2" id="7ISVfSIJJE" role="3eNLev">
|
||||
<node concept="2OqwBi" id="7ISVfSIJJF" role="3eO9$A">
|
||||
<node concept="10M0yZ" id="7ISVfSIK8M" role="2Oq$k0">
|
||||
<ref role="1PxDUh" to="xq5w:5$WbtTOYoMb" resolve="LogicalBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="xq5w:5uFPQ7C26$b" resolve="BOUND_SYM" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSIJJH" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
|
||||
<node concept="37vLTw" id="7ISVfSIJJI" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="7ISVfSIJJJ" role="3eOfB_">
|
||||
<node concept="3clFbF" id="7ISVfSJ2P6" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7ISVfSJ2P7" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSJ2P8" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSJ2P9" role="2OqNvi">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSJ2Pc" role="10QFUP">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ShNRf" id="7ISVfSJ2Pd" role="37wK5m">
|
||||
<node concept="HV5vD" id="7ISVfSJ2Zy" role="2ShVmc">
|
||||
<ref role="HV5vE" to="95zw:7ISVfSJ0DF" resolve="LogicalSolverImpl.Bound" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="7ISVfSJ2Np" role="3cqZAp" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3eNFk2" id="7ISVfSJ2Gd" role="3eNLev">
|
||||
<node concept="2OqwBi" id="7ISVfSJ2Ge" role="3eO9$A">
|
||||
<node concept="10M0yZ" id="7ISVfSJ2Gf" role="2Oq$k0">
|
||||
<ref role="1PxDUh" to="xq5w:5$WbtTOYoMb" resolve="LogicalBuiltinConstraint" />
|
||||
<ref role="3cqZAo" to="xq5w:5uFPQ7C279$" resolve="FREE_SYM" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSJ2Gg" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:54i3Fxd17bK" resolve="equals" />
|
||||
<node concept="37vLTw" id="7ISVfSJ2Gh" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="7ISVfSJ2Gi" role="3eOfB_">
|
||||
<node concept="3clFbF" id="7ISVfSJ30n" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7ISVfSJ30o" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSJ30p" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="7ISVfSJ30q" role="2OqNvi">
|
||||
<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" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSJ30t" role="10QFUP">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ShNRf" id="7ISVfSJ30u" role="37wK5m">
|
||||
<node concept="HV5vD" id="7ISVfSJ3cx" role="2ShVmc">
|
||||
<ref role="HV5vE" to="95zw:7ISVfSJ1oi" resolve="LogicalSolverImpl.Free" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="7ISVfSJ2Nu" role="3cqZAp" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="9aQIb" id="5mr7UHchgcy" role="9aQIa">
|
||||
<node concept="3clFbS" id="5mr7UHchgcz" role="9aQI4">
|
||||
<node concept="YS8fn" id="5mr7UHchgjZ" role="3cqZAp">
|
||||
<node concept="2ShNRf" id="5mr7UHchgme" role="YScLw">
|
||||
<node concept="1pGfFk" id="5mr7UHchgDA" role="2ShVmc">
|
||||
<ref role="37wK5l" to="wyt6:~IllegalArgumentException.<init>(java.lang.String)" resolve="IllegalArgumentException" />
|
||||
<node concept="3cpWs3" id="5mr7UHchgIt" role="37wK5m">
|
||||
<node concept="37vLTw" id="5mr7UHchgKN" role="3uHU7w">
|
||||
<ref role="3cqZAo" node="7ISVfSIJee" resolve="symbol" />
|
||||
</node>
|
||||
<node concept="Xl_RD" id="5mr7UHchgEB" role="3uHU7B">
|
||||
<property role="Xl_RC" value="unknown symbol: " />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="5mr7UHcbFmH" role="3cqZAp" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5mr7UHch7aO" role="jymVt" />
|
||||
<node concept="3clFb_" id="6Kcfpq7Bs88" role="jymVt">
|
||||
<property role="TrG5h" value="registerHandler" />
|
||||
<node concept="37vLTG" id="7ISVfSIOyP" role="3clF46">
|
||||
<property role="TrG5h" value="symbol" />
|
||||
<node concept="3uibUv" id="7ISVfSIOGX" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="6Kcfpq7BtOW" role="3clF46">
|
||||
<property role="TrG5h" value="instructible" />
|
||||
<node concept="3uibUv" id="6Kcfpq7BtZc" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:6Kcfpq7AXVG" resolve="Instructible" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cqZAl" id="6Kcfpq7Bs8a" role="3clF45" />
|
||||
<node concept="3Tmbuc" id="6Kcfpq7BskN" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="6Kcfpq7Bs8c" role="3clF47">
|
||||
<node concept="3clFbF" id="6Kcfpq7Bu1B" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="6Kcfpq7Bu22" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIOWI" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="6Kcfpq7Bu2G" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:6Kcfpq7B2yH" resolve="registerHandler" />
|
||||
<node concept="37vLTw" id="7ISVfSIOLP" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIOyP" resolve="symbol" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="6Kcfpq7Bu3W" role="37wK5m">
|
||||
<ref role="3cqZAo" node="6Kcfpq7BtOW" resolve="instructible" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="6Kcfpq7BuLv" role="jymVt" />
|
||||
<node concept="3clFb_" id="6Kcfpq7Buzk" role="jymVt">
|
||||
<property role="TrG5h" value="registerSolver" />
|
||||
<node concept="37vLTG" id="7ISVfSIOZm" role="3clF46">
|
||||
<property role="TrG5h" value="predicateSymbol" />
|
||||
<node concept="3uibUv" id="7ISVfSIPw0" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="6Kcfpq7Buzn" role="3clF46">
|
||||
<property role="TrG5h" value="queryable" />
|
||||
<node concept="3uibUv" id="6Kcfpq7Bw2C" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:6Kcfpq7AYBh" resolve="Queryable" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cqZAl" id="6Kcfpq7Buzp" role="3clF45" />
|
||||
<node concept="3Tmbuc" id="6Kcfpq7Buzq" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="6Kcfpq7Buzr" role="3clF47">
|
||||
<node concept="3clFbF" id="6Kcfpq7Buzs" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="6Kcfpq7Buzt" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIPqq" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="6Kcfpq7Buzv" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:6Kcfpq7B2LV" resolve="registerSolver" />
|
||||
<node concept="37vLTw" id="7ISVfSIPef" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIOZm" resolve="predicateSymbol" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="6Kcfpq7Buzx" role="37wK5m">
|
||||
<ref role="3cqZAo" node="6Kcfpq7Buzn" resolve="queryable" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="4xBopTzylBh" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="4xBopTzylBi" role="3clFbG">
|
||||
<node concept="37vLTw" id="7ISVfSIPtf" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHch7DV" resolve="computingSession" />
|
||||
</node>
|
||||
<node concept="liA8E" id="4xBopTzylBk" role="2OqNvi">
|
||||
<ref role="37wK5l" to="qrld:6Kcfpq7B2yH" resolve="registerHandler" />
|
||||
<node concept="37vLTw" id="7ISVfSIPfC" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7ISVfSIOZm" resolve="predicateSymbol" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="4xBopTzylH0" role="37wK5m">
|
||||
<ref role="3cqZAo" node="6Kcfpq7Buzn" resolve="queryable" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5uFPQ7BZbUe" role="jymVt" />
|
||||
<node concept="2tJIrI" id="7ISVfSIy3Y" role="jymVt" />
|
||||
<node concept="3Tm6S6" id="5mr7UHchbHJ" role="1B3o_S" />
|
||||
<node concept="312cEg" id="5mr7UHch7DV" role="jymVt">
|
||||
<property role="TrG5h" value="computingSession" />
|
||||
<node concept="3Tm6S6" id="5mr7UHch7DW" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="5mr7UHch7DY" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:6Kcfpq7B0b0" resolve="ComputingSession" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5mr7UHchpFD" role="jymVt" />
|
||||
<node concept="312cEg" id="5mr7UHchbU9" role="jymVt">
|
||||
<property role="TrG5h" value="computingTracer" />
|
||||
<node concept="3Tm6S6" id="5mr7UHchbUa" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="5mr7UHchbUc" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:24Vro6cQnrj" resolve="ComputingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="7ISVfSIszY" role="jymVt" />
|
||||
<node concept="3Tm1VV" id="7ISVfSIedR" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="7ISVfSIefW" role="1zkMxy">
|
||||
|
|
|
|||
|
|
@ -874,6 +874,27 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3SKdUt" id="5jPBdK_GNG" role="3cqZAp">
|
||||
<node concept="3SKdUq" id="5jPBdK_GNI" role="3SKWNk">
|
||||
<property role="3SKdUp" value="TODO: must we keep them twice?" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="5jPBdK_Gux" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="5jPBdK_Guy" role="3clFbG">
|
||||
<node concept="37vLTw" id="5jPBdK_Guz" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2GO7tyJTzV1" resolve="handlers" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5jPBdK_Gu$" role="2OqNvi">
|
||||
<ref role="37wK5l" to="33ny:~Map.put(java.lang.Object,java.lang.Object):java.lang.Object" resolve="put" />
|
||||
<node concept="37vLTw" id="5jPBdK_GCX" role="37wK5m">
|
||||
<ref role="3cqZAo" node="6Kcfpq7B2LZ" resolve="constraint" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_GFX" role="37wK5m">
|
||||
<ref role="3cqZAo" node="6Kcfpq7B2M1" resolve="queryable" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="6Kcfpq7B2LZ" role="3clF46">
|
||||
<property role="TrG5h" value="constraint" />
|
||||
|
|
|
|||
|
|
@ -28,14 +28,10 @@
|
|||
<child id="1197027771414" name="operand" index="2Oq$k0" />
|
||||
<child id="1197027833540" name="operation" index="2OqNvi" />
|
||||
</concept>
|
||||
<concept id="1197029447546" name="jetbrains.mps.baseLanguage.structure.FieldReferenceOperation" flags="nn" index="2OwXpG">
|
||||
<reference id="1197029500499" name="fieldDeclaration" index="2Oxat5" />
|
||||
</concept>
|
||||
<concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
|
||||
<child id="1145553007750" name="creator" index="2ShVmc" />
|
||||
</concept>
|
||||
<concept id="1070462154015" name="jetbrains.mps.baseLanguage.structure.StaticFieldDeclaration" flags="ig" index="Wx3nA" />
|
||||
<concept id="1070475354124" name="jetbrains.mps.baseLanguage.structure.ThisExpression" flags="nn" index="Xjq3P" />
|
||||
<concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
|
||||
<property id="1070475926801" name="value" index="Xl_RC" />
|
||||
</concept>
|
||||
|
|
@ -44,16 +40,9 @@
|
|||
<child id="1164991057263" name="throwable" index="YScLw" />
|
||||
</concept>
|
||||
<concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
|
||||
<concept id="1070534760951" name="jetbrains.mps.baseLanguage.structure.ArrayType" flags="in" index="10Q1$e">
|
||||
<child id="1070534760952" name="componentType" index="10Q1$1" />
|
||||
</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" />
|
||||
</concept>
|
||||
<concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
|
||||
<child id="1068431790190" name="initializer" index="33vP2m" />
|
||||
</concept>
|
||||
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
|
||||
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
|
||||
</concept>
|
||||
|
|
@ -64,6 +53,8 @@
|
|||
<child id="5680397130376446158" name="type" index="1tU5fm" />
|
||||
</concept>
|
||||
<concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
|
||||
<property id="4276006055363816570" name="isSynchronized" index="od$2w" />
|
||||
<property id="1181808852946" name="isFinal" index="DiZV1" />
|
||||
<child id="1068580123133" name="returnType" index="3clF45" />
|
||||
<child id="1068580123134" name="parameter" index="3clF46" />
|
||||
<child id="1068580123135" name="body" index="3clF47" />
|
||||
|
|
@ -82,15 +73,12 @@
|
|||
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
|
||||
<child id="1068581517665" name="statement" index="3cqZAp" />
|
||||
</concept>
|
||||
<concept id="1068580123140" name="jetbrains.mps.baseLanguage.structure.ConstructorDeclaration" flags="ig" index="3clFbW" />
|
||||
<concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
|
||||
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
|
||||
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
|
||||
<child id="1068499141038" name="actualArgument" index="37wK5m" />
|
||||
</concept>
|
||||
<concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk">
|
||||
<child id="1212687122400" name="typeParameter" index="1pMfVU" />
|
||||
</concept>
|
||||
<concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
|
||||
<concept id="1107461130800" name="jetbrains.mps.baseLanguage.structure.Classifier" flags="ng" index="3pOWGL">
|
||||
<property id="521412098689998745" name="nonStatic" index="2bfB8j" />
|
||||
<child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
|
||||
|
|
@ -269,14 +257,9 @@
|
|||
<property role="TrG5h" value="Config" />
|
||||
<property role="1sVAO0" value="true" />
|
||||
<node concept="2tJIrI" id="5uFPQ7BwtaY" role="jymVt" />
|
||||
<node concept="3clFbW" id="7ISVfSIxgm" role="jymVt">
|
||||
<node concept="3cqZAl" id="7ISVfSIxgp" role="3clF45" />
|
||||
<node concept="3Tmbuc" id="5mr7UHcbwBO" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="7ISVfSIxgr" role="3clF47" />
|
||||
</node>
|
||||
<node concept="2tJIrI" id="7ISVfSIwT4" role="jymVt" />
|
||||
<node concept="3clFb_" id="5uFPQ7Bwu9Q" role="jymVt">
|
||||
<property role="TrG5h" value="withPredicates" />
|
||||
<property role="1EzhhJ" value="true" />
|
||||
<node concept="37vLTG" id="5uFPQ7BwufO" role="3clF46">
|
||||
<property role="TrG5h" value="predicateSymbols" />
|
||||
<node concept="8X2XB" id="5uFPQ7BwuhP" role="1tU5fm">
|
||||
|
|
@ -289,28 +272,12 @@
|
|||
<ref role="3uigEE" node="5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="5uFPQ7Bwu9T" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5uFPQ7Bwu9U" role="3clF47">
|
||||
<node concept="3clFbF" id="7ISVfSIioV" role="3cqZAp">
|
||||
<node concept="37vLTI" id="7ISVfSIioX" role="3clFbG">
|
||||
<node concept="2OqwBi" id="7ISVfSIip1" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="7ISVfSIip4" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="7ISVfSIip0" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="7ISVfSIioQ" resolve="predicateSymbols" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="7ISVfSIip5" role="37vLTx">
|
||||
<ref role="3cqZAo" node="5uFPQ7BwufO" resolve="predicateSymbols" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="7ISVfSIiJ6" role="3cqZAp">
|
||||
<node concept="Xjq3P" id="7ISVfSIiJ4" role="3clFbG" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="5uFPQ7Bwu9U" role="3clF47" />
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5uFPQ7Bwvfj" role="jymVt" />
|
||||
<node concept="3clFb_" id="5uFPQ7Bwvg_" role="jymVt">
|
||||
<property role="TrG5h" value="withTrace" />
|
||||
<property role="1EzhhJ" value="true" />
|
||||
<node concept="37vLTG" id="5mr7UHcbrGT" role="3clF46">
|
||||
<property role="TrG5h" value="computingTracer" />
|
||||
<node concept="3uibUv" id="5mr7UHcbrPY" role="1tU5fm">
|
||||
|
|
@ -321,28 +288,12 @@
|
|||
<ref role="3uigEE" node="5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="5uFPQ7BwvgC" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5uFPQ7BwvgD" role="3clF47">
|
||||
<node concept="3clFbF" id="5mr7UHcbs2E" role="3cqZAp">
|
||||
<node concept="37vLTI" id="5mr7UHcbs2G" role="3clFbG">
|
||||
<node concept="2OqwBi" id="5mr7UHcbs2K" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="5mr7UHcbs2N" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="5mr7UHcbs2J" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="5mr7UHcbs2A" resolve="computingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="5mr7UHcbs2O" role="37vLTx">
|
||||
<ref role="3cqZAo" node="5mr7UHcbrGT" resolve="computingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="5uFPQ7BwvnB" role="3cqZAp">
|
||||
<node concept="Xjq3P" id="5uFPQ7BwvnA" role="3clFbG" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="5uFPQ7BwvgD" role="3clF47" />
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5mr7UHcbcbV" role="jymVt" />
|
||||
<node concept="3clFb_" id="5mr7UHcbbR2" role="jymVt">
|
||||
<property role="TrG5h" value="withParam" />
|
||||
<property role="1EzhhJ" value="true" />
|
||||
<node concept="37vLTG" id="5mr7UHcbcpj" role="3clF46">
|
||||
<property role="TrG5h" value="key" />
|
||||
<node concept="17QB3L" id="5mr7UHcbcs$" role="1tU5fm" />
|
||||
|
|
@ -357,27 +308,7 @@
|
|||
<ref role="3uigEE" node="5uFPQ7Bwt8Z" resolve="EvaluationSession.Config" />
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="5mr7UHcbbR5" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5mr7UHcbbR6" role="3clF47">
|
||||
<node concept="3clFbF" id="5mr7UHcbdeU" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="5mr7UHcbdgN" role="3clFbG">
|
||||
<node concept="37vLTw" id="5mr7UHcbdeT" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="5mr7UHcbcAv" resolve="parameters" />
|
||||
</node>
|
||||
<node concept="liA8E" id="5mr7UHcbdni" role="2OqNvi">
|
||||
<ref role="37wK5l" to="33ny:~Map.put(java.lang.Object,java.lang.Object):java.lang.Object" resolve="put" />
|
||||
<node concept="37vLTw" id="5mr7UHcbdq7" role="37wK5m">
|
||||
<ref role="3cqZAo" node="5mr7UHcbcpj" resolve="key" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5mr7UHcbdvq" role="37wK5m">
|
||||
<ref role="3cqZAo" node="5mr7UHcbctA" resolve="param" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="5mr7UHcbjFr" role="3cqZAp">
|
||||
<node concept="Xjq3P" id="5mr7UHcbjFp" role="3clFbG" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="5mr7UHcbbR6" role="3clF47" />
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5mr7UHcb$Ol" role="jymVt" />
|
||||
<node concept="3clFb_" id="7ISVfSIuSh" role="jymVt">
|
||||
|
|
@ -389,44 +320,7 @@
|
|||
<node concept="3Tm1VV" id="7ISVfSIuSk" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="7ISVfSIuSl" role="3clF47" />
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5mr7UHcbwTX" role="jymVt" />
|
||||
<node concept="3Tm1VV" id="5uFPQ7Bwt90" role="1B3o_S" />
|
||||
<node concept="312cEg" id="7ISVfSIioQ" role="jymVt">
|
||||
<property role="TrG5h" value="predicateSymbols" />
|
||||
<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" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="312cEg" id="5mr7UHcbcAv" role="jymVt">
|
||||
<property role="TrG5h" value="parameters" />
|
||||
<node concept="3Tmbuc" id="5mr7UHcbtVS" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="5mr7UHcbcEh" role="1tU5fm">
|
||||
<ref role="3uigEE" to="33ny:~Map" resolve="Map" />
|
||||
<node concept="17QB3L" id="5mr7UHcbcEz" role="11_B2D" />
|
||||
<node concept="3uibUv" id="5mr7UHcbcF8" role="11_B2D">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2ShNRf" id="5mr7UHcbcTG" role="33vP2m">
|
||||
<node concept="1pGfFk" id="5mr7UHcbd42" role="2ShVmc">
|
||||
<ref role="37wK5l" to="33ny:~HashMap.<init>()" resolve="HashMap" />
|
||||
<node concept="17QB3L" id="5mr7UHcbd7P" role="1pMfVU" />
|
||||
<node concept="3uibUv" id="5mr7UHcbdce" role="1pMfVU">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="312cEg" id="5mr7UHcbs2A" role="jymVt">
|
||||
<property role="TrG5h" value="computingTracer" />
|
||||
<node concept="3Tmbuc" id="5mr7UHcbtYG" role="1B3o_S" />
|
||||
<node concept="3uibUv" id="5mr7UHcbs2D" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:24Vro6cQnrj" resolve="ComputingTracer" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5uFPQ7Bwwl1" role="jymVt" />
|
||||
<node concept="3clFb_" id="7ISVfSIWX_" role="jymVt">
|
||||
|
|
@ -449,50 +343,6 @@
|
|||
<node concept="3clFbS" id="5uFPQ7ClOzE" role="3clF47" />
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5uFPQ7ClOwd" role="jymVt" />
|
||||
<node concept="3clFb_" id="5uFPQ7BvQw$" role="jymVt">
|
||||
<property role="TrG5h" value="tell" />
|
||||
<property role="1EzhhJ" value="true" />
|
||||
<node concept="3cqZAl" id="5uFPQ7BvQwA" role="3clF45" />
|
||||
<node concept="3Tm1VV" id="5uFPQ7BvQwB" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5uFPQ7BvQwC" role="3clF47" />
|
||||
<node concept="37vLTG" id="5uFPQ7Bwx2C" role="3clF46">
|
||||
<property role="TrG5h" value="symbol" />
|
||||
<node concept="3uibUv" id="7ISVfSIoMW" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="5uFPQ7BZbqc" role="3clF46">
|
||||
<property role="TrG5h" value="args" />
|
||||
<node concept="8X2XB" id="5uFPQ7BZbuR" role="1tU5fm">
|
||||
<node concept="3uibUv" id="5uFPQ7BZbuk" role="8Xvag">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5uFPQ7BZb$P" role="jymVt" />
|
||||
<node concept="3clFb_" id="5uFPQ7Bwy32" role="jymVt">
|
||||
<property role="TrG5h" value="ask" />
|
||||
<property role="1EzhhJ" value="true" />
|
||||
<node concept="3cqZAl" id="5uFPQ7Bwy33" role="3clF45" />
|
||||
<node concept="3Tm1VV" id="5uFPQ7Bwy34" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="5uFPQ7Bwy35" role="3clF47" />
|
||||
<node concept="37vLTG" id="5uFPQ7Bwy36" role="3clF46">
|
||||
<property role="TrG5h" value="predicateSymbol" />
|
||||
<node concept="3uibUv" id="5uFPQ7BZbC_" role="1tU5fm">
|
||||
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="7ISVfSIrPy" role="3clF46">
|
||||
<property role="TrG5h" value="args" />
|
||||
<node concept="8X2XB" id="7ISVfSIs2D" role="1tU5fm">
|
||||
<node concept="3uibUv" id="7ISVfSIrW_" role="8Xvag">
|
||||
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5uFPQ7BvQx4" role="jymVt" />
|
||||
<node concept="3clFb_" id="5uFPQ7BvQyO" role="jymVt">
|
||||
<property role="TrG5h" value="constraintSymbols" />
|
||||
<property role="1EzhhJ" value="true" />
|
||||
|
|
@ -608,6 +458,52 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5jPBdK_J2T" role="jymVt" />
|
||||
<node concept="2YIFZL" id="5jPBdK_JeZ" role="jymVt">
|
||||
<property role="DiZV1" value="false" />
|
||||
<property role="od$2w" value="false" />
|
||||
<property role="TrG5h" value="clearBackend" />
|
||||
<node concept="37vLTG" id="5jPBdK_JrA" role="3clF46">
|
||||
<property role="TrG5h" value="backend" />
|
||||
<node concept="3uibUv" id="5jPBdK_JrB" role="1tU5fm">
|
||||
<ref role="3uigEE" node="5uFPQ7BwtoR" resolve="EvaluationSession.Backend" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="5jPBdK_J94" role="3clF47">
|
||||
<node concept="3clFbJ" id="5jPBdK_JtX" role="3cqZAp">
|
||||
<node concept="3clFbS" id="5jPBdK_JtY" role="3clFbx">
|
||||
<node concept="YS8fn" id="5jPBdK_JtZ" role="3cqZAp">
|
||||
<node concept="2ShNRf" id="5jPBdK_Ju0" role="YScLw">
|
||||
<node concept="1pGfFk" id="5jPBdK_Ju1" role="2ShVmc">
|
||||
<ref role="37wK5l" to="wyt6:~IllegalStateException.<init>(java.lang.String)" resolve="IllegalStateException" />
|
||||
<node concept="Xl_RD" id="5jPBdK_Ju2" role="37wK5m">
|
||||
<property role="Xl_RC" value="illegal access" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3y3z36" id="5jPBdK_Ju3" role="3clFbw">
|
||||
<node concept="37vLTw" id="5jPBdK_Jws" role="3uHU7w">
|
||||
<ref role="3cqZAo" node="5jPBdK_JrA" resolve="backend" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="5jPBdK_Ju7" role="3uHU7B">
|
||||
<ref role="3cqZAo" node="5uFPQ7BwtFE" resolve="ourBackend" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="5jPBdK_Ju9" role="3cqZAp">
|
||||
<node concept="37vLTI" id="5jPBdK_Jua" role="3clFbG">
|
||||
<node concept="10Nm6u" id="5jPBdK_JxG" role="37vLTx" />
|
||||
<node concept="37vLTw" id="5jPBdK_Jue" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="5uFPQ7BwtFE" resolve="ourBackend" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cqZAl" id="5jPBdK_J92" role="3clF45" />
|
||||
<node concept="3Tmbuc" id="5jPBdK_Je4" role="1B3o_S" />
|
||||
</node>
|
||||
<node concept="2tJIrI" id="5uFPQ7BwtL0" role="jymVt" />
|
||||
<node concept="Wx3nA" id="5uFPQ7BwtFE" role="jymVt">
|
||||
<property role="TrG5h" value="ourBackend" />
|
||||
|
|
|
|||
|
|
@ -20,6 +20,7 @@
|
|||
<dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
|
||||
<dependency reexport="false">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
|
||||
<dependency reexport="false">760652ad-c01a-495e-9510-ed51532f617b(jetbrains.mps.logic.jchr)</dependency>
|
||||
<dependency reexport="false">e4a4c488-aaf8-4c5b-bc98-e65c5dd9acb9(jetbrains.mps.lang.typesystem2.samplechecker.handler.test)</dependency>
|
||||
</dependencies>
|
||||
<usedDevKits>
|
||||
<usedDevKit>fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)</usedDevKit>
|
||||
|
|
@ -54,6 +55,7 @@
|
|||
<module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />
|
||||
<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="e4a4c488-aaf8-4c5b-bc98-e65c5dd9acb9(jetbrains.mps.lang.typesystem2.samplechecker.handler.test)" 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" />
|
||||
|
|
|
|||
File diff suppressed because it is too large
Load Diff
Loading…
Reference in New Issue