Class: Lrama::Counterexamples::TransitionPath

Inherits:
Path
  • Object
show all
Defined in:
lib/lrama/counterexamples/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 



50
51
52
 
# File 'lib/lrama/counterexamples/path.rb', line 50

def production?
  false
end

#transition? ⇒ Boolean 



46
47
48
 
# File 'lib/lrama/counterexamples/path.rb', line 46

def transition?
  true
end

#type ⇒ Object 



42
43
44
 
# File 'lib/lrama/counterexamples/path.rb', line 42

def type
  :transition
end