Sha256: e049939359233d0c8cbecd050265a532b55da0a451c8e13bc11c211edf1e8670
Contents?: true
Size: 523 Bytes
Versions: 56
Compression:
Stored size: 523 Bytes
Contents
# Manages the initial marking of a simulation.
#
class YPetri::Simulation
class InitialMarking < PlaceMapping
# Sets the initial marking for a given place to a given value.
#
def set( place_id, to: (fail ArgumentError) )
fail TypeError, "The place #{place_id} is already clamped!" if
begin # fails if marking clamps are not set yet
place( place_id ).clamped?
rescue TypeError, NoMethodError; end
super
end
end # class InitialMarking
end # class YPetri::Simulation
Version data entries
56 entries across 56 versions & 1 rubygems