Class: Ibex::Runtime::RepairSearch::Configuration

Inherits:
Struct
  • Object
show all
Defined in:
lib/ibex/runtime/repair_search.rb,
sig/ibex/runtime/repair_search.rbs

Overview

Signature:

  • Object

Instance Attribute Summary collapse

Class Method Summary collapse

Instance Attribute Details

#costObject

Returns the value of attribute cost

Returns:

  • (Object)

    the current value of cost



19
20
21
# File 'lib/ibex/runtime/repair_search.rb', line 19

def cost
  @cost
end

#editsObject

Returns the value of attribute edits

Returns:

  • (Object)

    the current value of edits



19
20
21
# File 'lib/ibex/runtime/repair_search.rb', line 19

def edits
  @edits
end

#goalObject

Returns the value of attribute goal

Returns:

  • (Object)

    the current value of goal



19
20
21
# File 'lib/ibex/runtime/repair_search.rb', line 19

def goal
  @goal
end

#input_indexObject

Returns the value of attribute input_index

Returns:

  • (Object)

    the current value of input_index



19
20
21
# File 'lib/ibex/runtime/repair_search.rb', line 19

def input_index
  @input_index
end

#shiftsObject

Returns the value of attribute shifts

Returns:

  • (Object)

    the current value of shifts



19
20
21
# File 'lib/ibex/runtime/repair_search.rb', line 19

def shifts
  @shifts
end

#stackObject

Returns the value of attribute stack

Returns:

  • (Object)

    the current value of stack



19
20
21
# File 'lib/ibex/runtime/repair_search.rb', line 19

def stack
  @stack
end

Class Method Details

.new(stack:, input_index:, shifts:, cost:, edits:, goal:) ⇒ instance .new(arg0) ⇒ instance

Overloads:

  • .new(stack:, input_index:, shifts:, cost:, edits:, goal:) ⇒ instance

    Parameters:

    • stack: (Array[Integer])
    • input_index: (Integer)
    • shifts: (Integer)
    • cost: (Integer)
    • edits: (Array[RepairEdit])
    • goal: (Boolean)

    Returns:

    • (instance)
  • .new(arg0) ⇒ instance

    Parameters:

    • arg0 ({ ?stack: Array[Integer], ?input_index: Integer, ?shifts: Integer, ?cost: Integer, ?edits: Array[RepairEdit], ?goal: bool })

    Returns:

    • (instance)


33
34
# File 'sig/ibex/runtime/repair_search.rbs', line 33

def self.new: (?stack: Array[Integer], ?input_index: Integer, ?shifts: Integer, ?cost: Integer, ?edits: Array[RepairEdit], ?goal: bool) -> instance
| ({ ?stack: Array[Integer], ?input_index: Integer, ?shifts: Integer, ?cost: Integer, ?edits: Array[RepairEdit], ?goal: bool }) -> instance