class CoverabilityGraph

# File lib/petri_net/coverability_graph/graph.rb, line 6
def initialize(net, options = {})
  @objects = []
  @nodes = {}
  @edges = {}
  @name = net.name
  @unlimited = if options['unlimited'].nil?
                 true
               else
                 options['unlimited']
               end
end

# File lib/petri_net/coverability_graph/graph.rb, line 18
def add_node(node)
  double = false
  inf = false
  @nodes.each_value do |n|
    if node > @objects[n]
      if @unlimited
        double = n
        break
        # return @objects[n].id *-1
      else
        raise PetriNet::Graph::InfiniteReachabilityGraphError
        end
    end
    inf = true if -Float::INFINITY == (node <=> @objects[n])
  rescue ArgumentError
    # just two different markings, completly ok
  end
  # if there was a smaller marking
  return (@objects[double].id * -1) if double

  node_index = @objects.index node
  # if there already is a node with this marking
  return @objects[node_index].id * -1 unless node_index.nil?

  return -Float::INFINITY if inf

  if node.validate && (!@nodes.include? node.name)
    @objects[node.id] = node
    @nodes[node.name] = node.id
    node.graph = self
    return node.id
  end
  false
end