Difference between revisions of "The Latex to LSC Compiler"

From WeizmannWiki
Jump to: navigation, search
(This page explains how to write Contextul LSCs in Latex, compile them into PlayGo LSC instances, and finally execute them.)
Line 1: Line 1:
= The Latex2PlayGo Compiler =
+
This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.
  
This page explains how to write Contextul LSCs in Latex, compile them into PlayGo LSC instances, and finally execute them.
+
In nutshell, these are the required steps:
  
== The PlayGo Environment ==
+
#Download the PlayGo Environment.
 +
#Add Latex Con-LSCs to LSC.tex.
 +
#Execute the Latex2PlayGo compiler.
 +
#Import the compiled file in PlayGo and execute it.
  
First we need to download [https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here] a PlayGo version that includes a template project and the Latex2PlayGo compiler.
+
= The PlayGo Environment =
  
The (general) userguide for PlayGo can be found [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 here].
+
First you need to download ([https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here]) a PlayGo version that includes a template project and the Latex2PlayGo compiler.
  
You can also find useful information and tutorials at the [http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage].
+
After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
 +
 
 +
<code>(D)&nbsp;PlayGo_4.0_19042017</code>
 +
 
 +
<code>|</code>
 +
 
 +
<code>(D) playgo&nbsp;</code>
 +
 
 +
<code>|</code>
 +
 
 +
<code>(F) playgo.exe</code>
 +
 
 +
<code>(D)&nbsp;workspace</code>
 +
 
 +
<code>|</code>
 +
 
 +
<code>(D)&nbsp;Latex2Lsc</code>
 +
 
 +
<code>|</code>
 +
 
 +
<code>(F)&nbsp;LSC.tex</code>
 +
 
 +
<code>(F)&nbsp;GeneratedLSC.lsc</code>
 +
 
 +
<code>(D)&nbsp;src</code>
 +
 
 +
<code>|</code>
 +
 
 +
<code>(F) Latex2PlayGoCompiler.java</code>
 +
 
 +
<br/>Executin playgo.exe will start PlayGo.
 +
 
 +
== General links: ==
 +
 
 +
[https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 PlayGo userguide].
 +
 
 +
[http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage]&nbsp;- more information and tutorials.
 +
 
 +
= Latex Con-LSC =

Revision as of 16:38, 17 May 2017

This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.

In nutshell, these are the required steps:

  1. Download the PlayGo Environment.
  2. Add Latex Con-LSCs to LSC.tex.
  3. Execute the Latex2PlayGo compiler.
  4. Import the compiled file in PlayGo and execute it.

The PlayGo Environment

First you need to download (here) a PlayGo version that includes a template project and the Latex2PlayGo compiler.

After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):

(D) PlayGo_4.0_19042017

|

(D) playgo 

|

(F) playgo.exe

(D) workspace

|

(D) Latex2Lsc

|

(F) LSC.tex

(F) GeneratedLSC.lsc

(D) src

|

(F) Latex2PlayGoCompiler.java


Executin playgo.exe will start PlayGo.

General links:

PlayGo userguide.

PlayGo homepage - more information and tutorials.

Latex Con-LSC