Class: PetriNet::CoverabilityGraph::Edge

Inherits:

Base

• Object
• Base
• PetriNet::CoverabilityGraph::Edge

Defined in:

lib/petri_net/coverability_graph/edge.rb

Instance Attribute Summary

Attributes inherited from Base

#logger

Instance Method Summary

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

  Creates an edge for PetriNet::CoverabilityGraph.

• #validate ⇒ Object

  Validates the data holded by this edge, this will be used while adding the edge to the graph.

Methods inherited from Base

#next_object_id, #reset

Constructor Details

#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

Instance Method Details

#validate ⇒ Object

Validates the data holded by this edge, this will be used while adding the edge to the graph

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

def validate
    super
end