Changes between Initial Version and Version 1 of Ticket #6400


Ignore:
Timestamp:
2021-03-03T01:39:16+01:00 (4 years ago)
Author:
perost
Comment:

You're looking at two different when-algorithms, the OF one is for P3.enableOut.delayPassed while the NF one is for P3.enableIn.delayPassed.

The when-algorithms for P3.enableIn.delayPassed are actually quite similar in the OF and the NF, while the one for P3.enableOut.delayPassed is simplified by the NF to just: 

  when P3.enableOut.delayPassed then
    P3.enableOut.arcWeightSum := 0.0;
    P3.enableOut.nremTAout := 0;
    P3.enableOut.nTAout := 0;
    P3.enableOut.k := 0;
    P3.enableOut.posTE := 0;
    P3.enableOut.randNum := 0.0;
    P3.enableOut.state128 := pre(P3.enableOut.state128);
    P3.enableOut.sumEnablingProbTAout := 0.0;
    P3.enableOut.endWhile := false;
    P3.enableOut.Index := 0;
  end when;

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #6400 – Description

    initial v1  
    22
    33I flattened the model with the OF and NF, and found interesting differences. For example, the OF flattens this algorithm
    4 {{{
     4{{{#!mo
    55algorithm
    66  when P3.enableOut.delayPassed then
    … …  
    6666}}}
    6767while the NF flattens it as:
    68 {{{
     68{{{#!mo
    6969algorithm
    7070  P3.enableIn.TEin := {false};