Class: Ibex::Runtime::RepairAdvance

Inherits:
Object
  • Object
show all
Defined in:
lib/ibex/runtime/repair.rb

Overview

Internal result of simulating reductions followed by one table action.

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(status:, stack:) ⇒ RepairAdvance

Returns a new instance of RepairAdvance.



119
120
121
122
123
 
# File 'lib/ibex/runtime/repair.rb', line 119

def initialize(status:, stack:)
  @status = status
  @stack = stack
  freeze
end

Instance Attribute Details

#stack ⇒ Object (readonly)

: Array



116
117
118
 
# File 'lib/ibex/runtime/repair.rb', line 116

def stack
  @stack
end

#status ⇒ Object (readonly)

: :shift | :accept



115
116
117
 
# File 'lib/ibex/runtime/repair.rb', line 115

def status
  @status
end