Class: Lrama::Counterexamples::StartPath

Inherits:

Path

• Object
• Path
• Lrama::Counterexamples::StartPath

Defined in:

lib/lrama/counterexamples/path.rb

Instance Method Summary

• #initialize(to_state_item) ⇒ StartPath constructor

  A new instance of StartPath.

• #production? ⇒ Boolean
• #transition? ⇒ Boolean
• #type ⇒ Object

Methods inherited from Path

#from, #to, #to_s

Constructor Details

#initialize(to_state_item) ⇒ StartPath

Returns a new instance of StartPath.

# File 'lib/lrama/counterexamples/path.rb', line 24

def initialize(to_state_item)
  super nil, to_state_item
end

Instance Method Details

#production? ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/lrama/counterexamples/path.rb', line 36

def production?
  false
end

#transition? ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/lrama/counterexamples/path.rb', line 32

def transition?
  false
end

#type ⇒ Object

# File 'lib/lrama/counterexamples/path.rb', line 28

def type
  :start
end