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