petrinet 0.1.0 → 0.1.1
Sign up to get free protection for your applications and to get access to all the features.
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA256:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 0b518d19f184691dadef983c9baa2938cdcd8e765a53315f106f8d6085da885c
|
4
|
+
data.tar.gz: 0c6f0b7f6c857d7dac35818d995b6ddd0579f4cbeb32d5d357ae6f0f07b53092
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: e538872fba3b61159b285304af811824e46a650566cae1815f04fafe6ba6c0c65dd08cc9b149fcd4235306bfdcc3921adba16b86d25aeafb0aaa336649a93a01
|
7
|
+
data.tar.gz: 7a6996c8eaad4e18d8f649615489b0573ec747f631ea751d3791cfa7d3f961a9ee1589126bad5f937db62d8a6603d07ab60ec738a8472e6fa5e1544765fae194
|
Binary file
|
Binary file
|
data/lib/petrinet/net.rb
CHANGED
@@ -118,10 +118,9 @@ module Petrinet
|
|
118
118
|
end
|
119
119
|
|
120
120
|
def net
|
121
|
-
place_index_by_place_name = Hash.new
|
122
|
-
|
123
|
-
|
124
|
-
h[k] = index
|
121
|
+
place_index_by_place_name = Hash.new
|
122
|
+
@place_names.sort.each_with_index do |place_name, index|
|
123
|
+
place_index_by_place_name[place_name] = index
|
125
124
|
end
|
126
125
|
|
127
126
|
transition_vectors_by_transition_name_pairs = @transition_by_name.map do |transition_name, transition|
|
data/lib/petrinet/version.rb
CHANGED
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: petrinet
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.1.
|
4
|
+
version: 0.1.1
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Aslak Hellesøy
|
8
8
|
autorequire:
|
9
9
|
bindir: exe
|
10
10
|
cert_chain: []
|
11
|
-
date: 2019-10-
|
11
|
+
date: 2019-10-04 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: nokogiri
|