Method: PetriNet::CoverabilityGraph::Edge#validate

Defined in:
lib/petri_net/coverability_graph/edge.rb

#validate ⇒ Object

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



10
11
12
 
# File 'lib/petri_net/coverability_graph/edge.rb', line 10

def validate
    super
end