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.



150
151
152
153
154
 
# File 'lib/ibex/runtime/repair.rb', line 150

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

Instance Attribute Details

#stack ⇒ Object (readonly)

: Array



147
148
149
 
# File 'lib/ibex/runtime/repair.rb', line 147

def stack
  @stack
end

#status ⇒ Object (readonly)

: :shift | :accept



146
147
148
 
# File 'lib/ibex/runtime/repair.rb', line 146

def status
  @status
end