Class: Lrama::Counterexamples::ProductionPath

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

Returns:

  • (Boolean) 


64
65
66
 
# File 'lib/lrama/counterexamples/path.rb', line 64

def production?
  true
end

#transition? ⇒ Boolean

Returns:

  • (Boolean) 


60
61
62
 
# File 'lib/lrama/counterexamples/path.rb', line 60

def transition?
  false
end

#type ⇒ Object 



56
57
58
 
# File 'lib/lrama/counterexamples/path.rb', line 56

def type
  :production
end