Commit e62f82e5 authored by Kirill Smelkov's avatar Kirill Smelkov

.

parent f72e3af9
...@@ -5,12 +5,12 @@ ...@@ -5,12 +5,12 @@
<stringAttribute key="distributedNetworkInterface" value="192.168.122.1"/> <stringAttribute key="distributedNetworkInterface" value="192.168.122.1"/>
<intAttribute key="distributedNodesCount" value="1"/> <intAttribute key="distributedNodesCount" value="1"/>
<stringAttribute key="distributedTLC" value="off"/> <stringAttribute key="distributedTLC" value="off"/>
<intAttribute key="fpIndex" value="0"/> <intAttribute key="fpIndex" value="26"/>
<intAttribute key="maxHeapSize" value="25"/> <intAttribute key="maxHeapSize" value="25"/>
<stringAttribute key="modelBehaviorInit" value=""/> <stringAttribute key="modelBehaviorInit" value=""/>
<stringAttribute key="modelBehaviorNext" value=""/> <stringAttribute key="modelBehaviorNext" value=""/>
<stringAttribute key="modelBehaviorSpec" value=""/> <stringAttribute key="modelBehaviorSpec" value="Spec"/>
<intAttribute key="modelBehaviorSpecType" value="0"/> <intAttribute key="modelBehaviorSpecType" value="1"/>
<stringAttribute key="modelBehaviorVars" value="msgs, depth, parent"/> <stringAttribute key="modelBehaviorVars" value="msgs, depth, parent"/>
<stringAttribute key="modelComments" value=""/> <stringAttribute key="modelComments" value=""/>
<booleanAttribute key="modelCorrectnessCheckDeadlock" value="true"/> <booleanAttribute key="modelCorrectnessCheckDeadlock" value="true"/>
...@@ -19,9 +19,9 @@ ...@@ -19,9 +19,9 @@
<intAttribute key="modelEditorOpenTabs" value="8"/> <intAttribute key="modelEditorOpenTabs" value="8"/>
<stringAttribute key="modelExpressionEval" value=""/> <stringAttribute key="modelExpressionEval" value=""/>
<listAttribute key="modelParameterConstants"> <listAttribute key="modelParameterConstants">
<listEntry value="root;;n1;0;0"/> <listEntry value="root;;r;0;0"/>
<listEntry value="Edges;;{{n1,n2}, {n2,n3}};0;0"/> <listEntry value="Edges;;{{r,n1}, {r,n2}, {n1,n3}, {n2,n3}, {n3,n4}, {n3,n5}};0;0"/>
<listEntry value="Nodes;;{n1, n2, n3};1;0"/> <listEntry value="Nodes;;{r, n1, n2, n3, n4, n5};1;0"/>
<listEntry value="NoRoute;;NoRoute;1;0"/> <listEntry value="NoRoute;;NoRoute;1;0"/>
<listEntry value="Inf;;Inf;1;0"/> <listEntry value="Inf;;Inf;1;0"/>
</listAttribute> </listAttribute>
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment