Class: PetriNet::ReachabilityGraph::InfinityNode

Inherits:

Node

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

Defined in:

lib/petri_net/reachability_graph/node.rb

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(graph) ⇒ InfinityNode constructor

  A new instance of InfinityNode.

Methods inherited from Graph::Node

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

Methods inherited from Base

#next_object_id, #reset

Constructor Details

#initialize(graph) ⇒ InfinityNode

Returns a new instance of InfinityNode.

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

def initialize(graph)
    super(graph, markings: [Float::INFINITY])
end