lib/lrama/counterexamples.rb in lrama-0.5.4 vs lib/lrama/counterexamples.rb in lrama-0.5.5
- old
+ new
@@ -203,21 +203,19 @@
result.reverse
end
def build_paths_from_state_items(state_items)
- paths = state_items.zip([nil] + state_items).map do |si, prev_si|
+ state_items.zip([nil] + state_items).map do |si, prev_si|
case
when prev_si.nil?
StartPath.new(si)
when si.item.beginning_of_rule?
ProductionPath.new(prev_si, si)
else
TransitionPath.new(prev_si, si)
end
end
-
- paths
end
def shortest_path(conflict_state, conflict_reduce_item, conflict_term)
# queue: is an array of [Triple, [Path]]
queue = []