Module: YPetri::Simulation::TransitionRepresentation::Type_ts

Includes:
Type_s, Type_t
Defined in:
lib/y_petri/simulation/transition_representation/ts.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Methods included from Type_s

#S?, #build_closure, #s?

Methods included from Type_a

#A?, #a?, #delta

Methods included from Type_t

#T?, #d, #t?

Instance Attribute Details

#delta_closureObject (readonly)

Returns the value of attribute delta_closure


10
11
12
# File 'lib/y_petri/simulation/transition_representation/ts.rb', line 10

def delta_closure
  @delta_closure
end

Instance Method Details

#initObject

Initialization subroutine.


14
15
16
17
# File 'lib/y_petri/simulation/transition_representation/ts.rb', line 14

def init
  super
  @delta_closure = to_delta_closure
end

#to_delta_closureObject

Delta state closure.


21
22
23
# File 'lib/y_petri/simulation/transition_representation/ts.rb', line 21

def to_delta_closure
  build_closure
end

#ΔObject Also known as: delta_all

Change, to all places, as it would happen if the transition fired.


27
28
29
# File 'lib/y_petri/simulation/transition_representation/ts.rb', line 27

def Δ
  codomain >> delta_closure.call
end