File tree Expand file tree Collapse file tree 3 files changed +6
-2
lines changed Expand file tree Collapse file tree 3 files changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -197,6 +197,9 @@ message Orientation3d
197197// available address space is exhausted and the specific values have not been in
198198// use for several time steps. Sensor specific tracking IDs have no restrictions
199199// and should behave according to the sensor specifications.
200+ // Purely simulation technical IDs, like sensor IDs, are not required to be
201+ // unique among all simulated items, but rather unique within the context of the
202+ // given message type.
200203//
201204// The value MAX(uint64) = 2^(64) -1 =
202205// 0b1111111111111111111111111111111111111111111111111111111111111111 is
Original file line number Diff line number Diff line change @@ -65,7 +65,7 @@ message SensorView
6565 // which are used in the detected features.
6666 //
6767 // \rules
68- // is_globally_unique
68+ // is_locally_unique
6969 // is_set
7070 // \endrules
7171 //
Original file line number Diff line number Diff line change @@ -5,9 +5,10 @@ is_less_than: '^[ ]\b(is_less_than)\b: ([\s\d]+)$'
55is_equal_to : ' ^[ ]\b(is_equal_to)\b: ([\s\d]+)$'
66is_different_to : ' ^[ ]\b(is_different_to)\b: ([\s\d]+)$'
77is_globally_unique : ' ^[ ]\b(is_globally_unique)\b'
8+ is_locally_unique : ' ^[ ]\b(is_locally_unique)\b'
89refers_to : ' ^[ ]\b(refers_to)\b'
910is_iso_country_code : ' ^[ ]\b(is_iso_country_code)\b'
1011first_element : ' ^[ ]\b(first_element)\b'
1112last_element : ' ^[ ]\b(last_element)\b'
1213check_if : ' ^[ ](\bcheck_if\b)(.*\belse do_check\b)'
13- is_set : ' ^[ ]\b(is_set)\b'
14+ is_set : ' ^[ ]\b(is_set)\b'
You can’t perform that action at this time.
0 commit comments