module YPetri::Simulation::TransitionRepresentation::Type_ts
Attributes
delta_closure[R]
Public Instance Methods
init()
click to toggle source
Initialization subroutine.
Calls superclass method
YPetri::Simulation::TransitionRepresentation::Type_s#init
# File lib/y_petri/simulation/transition_representation/ts.rb, line 14 def init super @delta_closure = to_delta_closure end
to_delta_closure()
click to toggle source
Delta state closure.
# File lib/y_petri/simulation/transition_representation/ts.rb, line 21 def to_delta_closure build_closure end
Δ()
click to toggle source
Change, to all places, as it would happen if the transition fired.
# File lib/y_petri/simulation/transition_representation/ts.rb, line 27 def Δ codomain >> delta_closure.call end
Also aliased as: delta_all