Difference between revisions of "PlayGo HowTo"

From WeizmannWiki
Jump to: navigation, search
Line 4: Line 4:
 
*[[How to Play-Out|How to play out]]
 
*[[How to Play-Out|How to play out]]
 
*[[How to debug]]
 
*[[How to debug]]
 +
*[[How to play out with the system model]]
 +
*[[How to change a play-out strategy]]
 +
*[[How to create an LSC specification using the Java API]]
 
*[[How to view a specification: in the LSC editor and in the UML editor]]
 
*[[How to view a specification: in the LSC editor and in the UML editor]]
 
*[[How to see the locations in the LSC Editor]]
 
*[[How to see the locations in the LSC Editor]]
 
*[[How to change the way elements are shown in the LSC editor]]
 
*[[How to change the way elements are shown in the LSC editor]]
*[[How to play out with the system model]]
 
*[[How to change a play-out strategy]]
 
 
*[[Multiple model files|How to work with multiple model files]]
 
*[[Multiple model files|How to work with multiple model files]]
 
*[[How to generate a Tracer log]]
 
*[[How to generate a Tracer log]]
 
*[[How to generate and view a TraceVis log]]
 
*[[How to generate and view a TraceVis log]]
*[[How to create an LSC specification using the Java API]]
 
 
*[[How_to_define_play-in-able_Swing_GUI_application | How to define a play-in-able Swing GUI application]]
 
*[[How_to_define_play-in-able_Swing_GUI_application | How to define a play-in-able Swing GUI application]]
 
*[[How to run an LSC project outside the context of PlayGo]]
 
*[[How to run an LSC project outside the context of PlayGo]]

Revision as of 17:53, 11 February 2014