Class: Lrama::Counterexamples::Derivation

Inherits:
Object
  • Object
show all
Defined in:
lib/lrama/counterexamples/derivation.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(item, left) ⇒ Derivation 



16
17
18
19
 
# File 'lib/lrama/counterexamples/derivation.rb', line 16

def initialize(item, left)
  @item = item
  @left = left
end

Instance Attribute Details

#item ⇒ Object (readonly)

@rbs! @item: State::Item @left: Derivation?



11
12
13
 
# File 'lib/lrama/counterexamples/derivation.rb', line 11

def item
  @item
end

#left ⇒ Object (readonly)

: Derivation?



12
13
14
 
# File 'lib/lrama/counterexamples/derivation.rb', line 12

def left
  @left
end

#right ⇒ Object

: Derivation?



13
14
15
 
# File 'lib/lrama/counterexamples/derivation.rb', line 13

def right
  @right
end

Instance Method Details

#render_for_report ⇒ Object 



35
36
37
 
# File 'lib/lrama/counterexamples/derivation.rb', line 35

def render_for_report
  render_strings_for_report.join("\n")
end

#render_strings_for_report ⇒ Object 



28
29
30
31
32
 
# File 'lib/lrama/counterexamples/derivation.rb', line 28

def render_strings_for_report
  result = [] #: Array[String]
  _render_for_report(self, 0, result, 0)
  result.map(&:rstrip)
end

#to_s ⇒ Object Also known as: inspect 



22
23
24
 
# File 'lib/lrama/counterexamples/derivation.rb', line 22

def to_s
  "#<Derivation(#{item.display_name})>"
end