y_petri 2.0.0 → 2.0.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/lib/y_petri/net.rb +1 -6
- data/lib/y_petri/transition.rb +1 -1
- data/lib/y_petri/version.rb +1 -1
- metadata +1 -1
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA1:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 0b8a1bcf728bf4a7d2454192f55cebb994714591
|
4
|
+
data.tar.gz: 85f27ffad7e3891e29b3e062e403d104cc8bc576
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: bf96201cb8cd3ead383d46380c506d524dd01e7d900045ff8af497531a12fe36471a8bf2bff2485bee1f269fb5ca0de03f42e7ea76673eb66e296723f39a8584
|
7
|
+
data.tar.gz: bf7bf51dfc5d6455a4d82c84fba0a3afa00b94d9a0a78631c11502ebe3fa4cbdf49c143007e5ed66952ac069c9ec7111802bff27633843ed8625e5066fb89664
|
data/lib/y_petri/net.rb
CHANGED
@@ -423,12 +423,7 @@ class YPetri::Net
|
|
423
423
|
|
424
424
|
# Generate output image
|
425
425
|
γ.output png: "y_petri_graph.png"
|
426
|
-
show_file_with_kioclient "y_petri_graph.png"
|
427
|
-
end
|
428
|
-
|
429
|
-
# display it with kioclient
|
430
|
-
def show_file_with_kioclient( fɴ )
|
431
|
-
system "sleep 0.2; kioclient exec 'file:%s'" % File.expand_path( '.', fɴ )
|
426
|
+
YSupport::KDE.show_file_with_kioclient File.expand_path( '.', "y_petri_graph.png" )
|
432
427
|
end
|
433
428
|
|
434
429
|
# Inspect string of the instance.
|
data/lib/y_petri/transition.rb
CHANGED
@@ -29,7 +29,7 @@
|
|
29
29
|
# II. For timeless transitions, action is time-independent. Timeless
|
30
30
|
# transitions are necessarily also rateless. Arity of the action closure
|
31
31
|
# is expected to match the domain size.
|
32
|
-
#
|
32
|
+
nnnn#
|
33
33
|
# Conclusion: Transitions with rate are always timed. In rateless
|
34
34
|
# transitions, timedness distinguishes the need to supply time step
|
35
35
|
# duration as the first argument to the action closure.
|
data/lib/y_petri/version.rb
CHANGED