Class: Lrama::Counterexamples::Path

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

Direct Known Subclasses

ProductionPath, StartPath, TransitionPath

Instance Method Summary collapse

Constructor Details

#initialize(from_state_item, to_state_item) ⇒ Path

Returns a new instance of Path.



4
5
6
7
 
# File 'lib/lrama/counterexamples/path.rb', line 4

def initialize(from_state_item, to_state_item)
  @from_state_item = from_state_item
  @to_state_item = to_state_item
end

Instance Method Details

#from ⇒ Object 



9
10
11
 
# File 'lib/lrama/counterexamples/path.rb', line 9

def from
  @from_state_item
end

#to ⇒ Object 



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

def to
  @to_state_item
end

#to_s ⇒ Object Also known as: inspect 



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

def to_s
  "#<Path(#{type})>"
end