← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

« back to all changes in this revision

Viewing changes to src/resources/Example nets/train-level-crossing.tapn

  • Committer: Jiri Srba
  • Date: 2021-02-28 13:58:39 UTC
  • mfrom: (1112.2.6 add-tar-option)
  • Revision ID: srba@cs.aau.dk-20210228135839-yxy8ljbc89ou0woi
merged in lp:~tapaal-contributor/tapaal/add-tar-option adding the -tar option for the verifypn engine

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/resources/Example nets/train-level-crossing.tapn
112
112
<arcpath arcPointType="false" id="1" xCoord="117" yCoord="147"/>
113
113
</arc>
114
114
</net>
115
 
<query active="true" approximationDenominator="2" capacity="5" discreteInclusion="false" enableOverApproximation="false" enableUnderApproximation="false" extrapolationOption="null" gcd="true" hashTableSize="null" inclusionPlaces="*NONE*" name="Crossing is Save" overApproximation="true" pTrie="true" query="AG (!(Train.DangerZone &gt; 0) or TraficLight.Red = 1)" reduction="true" reductionOption="VerifyTAPN" searchOption="HEURISTIC" symmetry="true" timeDarts="true" traceOption="NONE"/>
 
115
<query active="true" approximationDenominator="2" capacity="5" discreteInclusion="false" enableOverApproximation="false" enableUnderApproximation="false" extrapolationOption="null" gcd="true" hashTableSize="null" inclusionPlaces="*NONE*" name="Crossing is Safe" overApproximation="true" pTrie="true" query="AG (!(Train.DangerZone &gt; 0) or TraficLight.Red = 1)" reduction="true" reductionOption="VerifyTAPN" searchOption="HEURISTIC" symmetry="true" timeDarts="true" traceOption="NONE"/>
116
116
<k-bound bound="3"/>
117
117
</pnml>