class CoverabilityGraph::Edge

Public Class Methods

new(options = {}) { |self| ... } click to toggle source

Creates an edge for PetriNet::CoverabilityGraph

Calls superclass method PetriNet::Base::new
# File lib/petri_net/coverability_graph/edge.rb, line 5
def initialize(options = {}, &block)
  super(options)
  yield self unless block.nil?
end

Public Instance Methods

validate() click to toggle source

Validates the data holded by this edge, this will be used while adding the edge to the graph

Calls superclass method
# File lib/petri_net/coverability_graph/edge.rb, line 11
def validate
  super
end