module YPetri::Simulation::TransitionRepresentation::Type_ts

Attributes

delta_closure[R]

Public Instance Methods

delta_all()
Alias for: Δ
init() click to toggle source

Initialization subroutine.

# 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