Class: PetriNet::ReachabilityGraph::Node

Inherits:

Graph::Node

• Object
• Base
• Graph::Node
• PetriNet::ReachabilityGraph::Node

Defined in:

lib/petri_net/reachability_graph/node.rb

Direct Known Subclasses

InfinityNode

Instance Attribute Summary

Attributes inherited from Graph::Node

#graph, #id, #inputs, #label, #markings, #name, #omega_marked, #outputs, #start

Attributes inherited from Base

#logger

Instance Method Summary

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

  A new instance of Node.

Methods inherited from Graph::Node

#<=>, #add_omega, #gv_id, #to_gv, #to_s, #validate

Methods inherited from Base

#next_object_id, #reset

Constructor Details

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

Returns a new instance of Node.

Yields:

• (_self)

Yield Parameters:

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

  the object that the method was called on

# File 'lib/petri_net/reachability_graph/node.rb', line 2

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