module YPetri::Core::Guarded
Guarded
simulation mixin – not working yet.
Public Instance Methods
A_all_fire!()
click to toggle source
Guarded
version of the method.
Calls superclass method
# File lib/y_petri/core/guarded.rb, line 19 def A_all_fire! try "to fire the assignment transitions" do super end end
increment_marking_vector( delta )
click to toggle source
Guarded
version of the method.
Calls superclass method
# File lib/y_petri/core/guarded.rb, line 8 def increment_marking_vector( delta ) try "to update marking" do super( note( "Δ state if tS transitions fire once", is: Δ_if_tS_fire_once ) + note( "Δ state if tsa transitions fire once", is: Δ_if_tsa_fire_once ) ) end end