Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Column
width50%
Code Block
languagesct
linenumberstrue
scchart Signal {
  input signal i;
  output signal o
    initial state init
  --> done with i / o;
  final state done;
}  
Column
width50%

 

Reference States

Column
width50%
Code Block
languagesct
linenumberstrue
scchart MainSCChart {
  bool A[3];
  
  initial state S1 references InnerSCChart; 
}

scchart InnerSCChart  {
  input bool A[3];
  
  initial state S1
  --> S2 with A[0];
  
  final state S2;
} 
Column
width50%

 Image Added Image Added