Class: Lrama::Counterexamples::TransitionPath

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

Instance Method Summary collapse

Methods inherited from Path

#from, #initialize, #to, #to_s

Constructor Details

This class inherits a constructor from Lrama::Counterexamples::Path

Instance Method Details

#production? ⇒ Boolean

Returns:

  • (Boolean) 


14
15
16
 
# File 'lib/lrama/counterexamples/transition_path.rb', line 14

def production?
  false
end

#transition? ⇒ Boolean

Returns:

  • (Boolean) 


10
11
12
 
# File 'lib/lrama/counterexamples/transition_path.rb', line 10

def transition?
  true
end

#type ⇒ Object 



6
7
8
 
# File 'lib/lrama/counterexamples/transition_path.rb', line 6

def type
  :transition
end