Class: PetriNet::ReachabilityGraph::Edge

Inherits:

Graph::Edge

• Object
• Base
• Graph::Edge
• PetriNet::ReachabilityGraph::Edge

Defined in:

lib/petri_net/reachability_graph/edge.rb

Instance Attribute Summary

Attributes inherited from Graph::Edge

#destination, #graph, #id, #name, #probability, #source, #transition

Attributes inherited from Base

#logger

Instance Method Summary

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

  Creates an edge for PetriNet::ReachabilityGraph.

• #validate ⇒ Object

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

Methods inherited from Graph::Edge

#==, #to_gv, #to_s

Methods inherited from Base

#next_object_id, #reset

Constructor Details

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

Creates an edge for PetriNet::ReachabilityGraph

Yields:

• (_self)

Yield Parameters:

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

  the object that the method was called on

# File 'lib/petri_net/reachability_graph/edge.rb', line 3

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/reachability_graph/edge.rb', line 9

def validate
    super 
end