Sha256: 3b813296829b19186764794e44d103ed56aeb9fb7555738135310789d74c5bb1
Contents?: true
Size: 647 Bytes
Versions: 17
Compression:
Stored size: 647 Bytes
Contents
# encoding: utf-8
# A mixin for ts transition representations.
#
class YPetri::Simulation::TransitionRepresentation
module Type_ts
include Type_t
include Type_s
attr_reader :delta_closure
# Initialization subroutine.
#
def init
super
@delta_closure = to_delta_closure
end
# Delta state closure.
#
def to_delta_closure
build_closure
end
# Change, to all places, as it would happen if the transition fired.
#
def Δ
codomain >> delta_closure.call
end
alias delta_all Δ
end # module Type_ts
end # class YPetri::Simulation::TransitionRepresentation
Version data entries
17 entries across 17 versions & 1 rubygems