Class: Lrama::Counterexamples::Triple

Inherits:

Struct

• Object
• Struct
• Lrama::Counterexamples::Triple

Defined in:

lib/lrama/counterexamples/triple.rb

Overview

s: state itm: item within s l: precise lookahead set

Instance Attribute Summary

• #itm ⇒ Object (also: #item)

  Returns the value of attribute itm.

• #l ⇒ Object (also: #precise_lookahead_set)

  Returns the value of attribute l.

• #s ⇒ Object (also: #state)

  Returns the value of attribute s.

Instance Method Summary

• #inspect ⇒ Object (also: #to_s)
• #state_item ⇒ Object

Instance Attribute Details

#itm ⇒ Object Also known as: item

Returns the value of attribute itm

Returns:

• (Object) —

  the current value of itm

# File 'lib/lrama/counterexamples/triple.rb', line 8

def itm
  @itm
end

#l ⇒ Object Also known as: precise_lookahead_set

Returns the value of attribute l

Returns:

• (Object) —

  the current value of l

# File 'lib/lrama/counterexamples/triple.rb', line 8

def l
  @l
end

#s ⇒ Object Also known as: state

Returns the value of attribute s

Returns:

• (Object) —

  the current value of s

# File 'lib/lrama/counterexamples/triple.rb', line 8

def s
  @s
end

Instance Method Details

#inspect ⇒ Object Also known as: to_s

# File 'lib/lrama/counterexamples/triple.rb', line 17

def inspect
  "#{state.inspect}. #{item.display_name}. #{l.map(&:id).map(&:s_value)}"
end

#state_item ⇒ Object

# File 'lib/lrama/counterexamples/triple.rb', line 13

def state_item
  StateItem.new(state, item)
end