state_item.rb « counterexamples « lrama « lib « lrama « tool - ruby.git - The Ruby Programming Language

summary refs log tree commit diff

path: root/tool/lrama/lib/lrama/counterexamples/state_item.rb

blob: 930ff4a5f86493607d48fe5024dd28c729c39fa4 (plain)

module Lrama
  class Counterexamples
    class StateItem < Struct.new(:state, :item)
    end
  end
end