class ReachabilityGraph
Public Class Methods
new(net, options = {})
click to toggle source
Calls superclass method
PetriNet::Graph::new
# File lib/petri_net/reachability_graph/graph.rb, line 6 def initialize(net, options = {}) options[:type] = 'Reachability' super(net, options) self end
Public Instance Methods
add_node(node)
click to toggle source
Calls superclass method
PetriNet::Graph#add_node
# File lib/petri_net/reachability_graph/graph.rb, line 12 def add_node(node) @nodes.each_value do |n| raise PetriNet::InfiniteReachabilityGraphError if @objects[n] < node rescue ArgumentError # Just an InfiniteNode end super node end
add_node!(node)
click to toggle source
Calls superclass method
PetriNet::Graph#add_node!
# File lib/petri_net/reachability_graph/graph.rb, line 21 def add_node!(node) super node end