Method: PetriNet::CoverabilityGraph::Edge#initialize

Defined in:

lib/petri_net/coverability_graph/edge.rb

#initialize(options = {}) {|_self| ... } ⇒ Edge

Creates an edge for PetriNet::CoverabilityGraph

Yields:

• (_self)

Yield Parameters:

• _self (PetriNet::CoverabilityGraph::Edge) —

  the object that the method was called on

# File 'lib/petri_net/coverability_graph/edge.rb', line 4

def initialize(options = {}, &block)
    super(options)
    yield self unless block.nil?
end