class ReachabilityGraph
Public Class Methods
new(net, options = Hash.new)
click to toggle source
Calls superclass method
PetriNet::Graph::new
# File lib/petri_net/reachability_graph/graph.rb, line 4 def initialize(net, options = Hash.new) 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 10 def add_node(node) @nodes.each_value do |n| begin if @objects[n] < node raise PetriNet::InfiniteReachabilityGraphError end rescue ArgumentError #Just an InfiniteNode end 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 24 def add_node!(node) super node end