module YPetri::Simulation::TransitionRepresentation::Type_tS

Attributes

firing_closure[R]

Public Instance Methods

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

Transition's firing, given the current system state.

# File lib/y_petri/simulation/transition_representation/tS.rb, line 21
def firing
  firing_closure.call
end
init() click to toggle source

Initialization subroutine.

# File lib/y_petri/simulation/transition_representation/tS.rb, line 14
def init
  super
  @firing_closure = to_firing_closure
end
to_firing_closure() click to toggle source

Builds a firing closure.

# File lib/y_petri/simulation/transition_representation/tS.rb, line 34
def to_firing_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 >> stoichiometry.map { |coeff| firing * coeff }
end
Also aliased as: delta_all