class ReachabilityGraph::Edge
Public Class Methods
new(graph, options = {}) { |self| ... }
click to toggle source
Creates an edge for PetriNet::ReachabilityGraph
Calls superclass method
PetriNet::Graph::Edge::new
# File lib/petri_net/reachability_graph/edge.rb, line 5 def initialize(graph, options = {}, &block) super(graph, 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
PetriNet::Graph::Edge#validate
# File lib/petri_net/reachability_graph/edge.rb, line 11 def validate super end