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