Sha256: c80c5c95089d22ec5d89b073e2410dad0d912ef9bc482e445f10bf4fc18e9df0
Contents?: true
Size: 606 Bytes
Versions: 17
Compression:
Stored size: 606 Bytes
Contents
# encoding: utf-8
# Guarded simulation mixin – not working yet.
#
module YPetri::Core::Guarded
# Guarded version of the method.
#
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
# Guarded version of the method.
#
def A_all_fire!
try "to fire the assignment transitions" do
super
end
end
end # module YPetri::Core::Guarded
Version data entries
17 entries across 17 versions & 1 rubygems