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_closure ⇒ Object (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

#init ⇒ Object

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_closure ⇒ Object

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