Class: Lrama::Counterexamples::Path

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

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(state_item, parent) ⇒ Path

Returns a new instance of Path.



15
16
17
18
 
# File 'lib/lrama/counterexamples/path.rb', line 15

def initialize(state_item, parent)
  @state_item = state_item
  @parent = parent
end

Instance Attribute Details

#parent ⇒ Object (readonly)

: Path?



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

def parent
  @parent
end

#state_item ⇒ Object (readonly)

@rbs!

@state_item: StateItem
@parent: Path?



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

def state_item
  @state_item
end

Instance Method Details

#to_s ⇒ Object Also known as: inspect 



21
22
23
 
# File 'lib/lrama/counterexamples/path.rb', line 21

def to_s
  "#<Path>"
end