Sha256: 082609fdda361dea6d9fe443098b01800f3091d5eda4fd20b09fb9daf340bb0a
Contents?: true
Size: 456 Bytes
Versions: 19
Compression:
Stored size: 456 Bytes
Contents
module Lrama
class Counterexamples
# s: state
# itm: item within s
# l: precise lookahead set
class Triple < Struct.new(:s, :itm, :l)
alias :state :s
alias :item :itm
alias :precise_lookahead_set :l
def state_item
StateItem.new(state, item)
end
def inspect
"#{state.inspect}. #{item.display_name}. #{l.map(&:id).map(&:s_value)}"
end
alias :to_s :inspect
end
end
end
Version data entries
19 entries across 19 versions & 1 rubygems