KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 37

changes.mady.by.user Unknown User (cmot)

Saved on

compared with

New Version 38

changes.mady.by.user Steven Smyth

Saved on

Key

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

...

Column
width50%

 

Reference States

Important: To use the referenced SCCharts feature, activate the Xtext nature for your project!

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%