Recent changes to Usage

Usage modified by Filippo Schiavio

Filippo Schiavio — Sat, 13 Jul 2013 15:51:39 -0000

--- v23
+++ v24
@@ -40,6 +40,7 @@
 ProceedToNextStateDrawingGraph(var, \[s1, s2 , … , sn\], dot_dir, jpg_dir) 
 same but draw image and write dot

+Following some simple examples for basic commands, for other examples about network with state definition and the random execution, see section [Examples].

 Example of usage:
 a=span(2,2){}
DrawGraph(a,a.dot,a.jpg)

Usage modified by Filippo Schiavio

Filippo Schiavio — Sat, 13 Jul 2013 11:53:22 -0000

--- v22
+++ v23
@@ -1,5 +1,5 @@
 Usage:
-java -jar SpanTools.jar 
+java -jar SpanTools.jar \[filename\]

 Note that to generate output diagram SpanTools program needs that Graphviz tool is installed, available at: www.graphviz.org/Download.php

Usage modified by Filippo Schiavio

Filippo Schiavio — Sat, 13 Jul 2013 11:53:01 -0000

--- v21
+++ v22
@@ -1,6 +1,7 @@
 Usage:
 java -jar SpanTools.jar 

+Note that to generate output diagram SpanTools program needs that Graphviz tool is installed, available at: www.graphviz.org/Download.php

 Language accepted:
 Component definition

WikiPage Usage modified by Filippo Schiavio

Filippo Schiavio — Thu, 27 Sep 2012 16:44:06 -0000

WikiPage Usage modified by Filippo Schiavio

Filippo Schiavio — Thu, 27 Sep 2012 16:38:40 -0000

--- v19
+++ v20
@@ -30,13 +30,13 @@
 DrawGraph(var, dot_file, jpg_file)  
 same but write dot file (used by graphviz) too
 
-ProceedToNextState(var, [s1, s2 , … , sn])
+ProceedToNextState(var, \[s1, s2 , … , sn\])
 print a random next state of var, starting from given state
 
-ProceedToNextStateDrawingGraph(var, [s1, s2 , … , sn], jpg_dir) 
+ProceedToNextStateDrawingGraph(var, \[s1, s2 , … , sn\], jpg_dir) 
 same but draw image in jpg_dir
 
-ProceedToNextStateDrawingGraph(var, [s1, s2 , … , sn], dot_dir, jpg_dir) 
+ProceedToNextStateDrawingGraph(var, \[s1, s2 , … , sn\], dot_dir, jpg_dir) 
 same but draw image and write dot

WikiPage Usage modified by Filippo Schiavio

Filippo Schiavio — Thu, 27 Sep 2012 16:37:22 -0000

--- v18
+++ v19
@@ -47,6 +47,6 @@
 
 c=a;b
DrawGraph(c,c.dot,c.jpg)

 
-d=c*c
DrawGraph(d,d.dot,d.jpg)

+d=c*c
DrawGraph(d,d.dot,d.jpg)

 
 e=d;a
DrawGraph(e,e.dot,e.jpg)

WikiPage Usage modified by Filippo Schiavio

Filippo Schiavio — Thu, 27 Sep 2012 16:36:47 -0000

--- v17
+++ v18
@@ -46,3 +46,7 @@
 b=span(2,1){}
DrawGraph(b,b.dot,b.jpg)

 
 c=a;b
DrawGraph(c,c.dot,c.jpg)

+
+d=c*c
DrawGraph(d,d.dot,d.jpg)

+
+e=d;a
DrawGraph(e,e.dot,e.jpg)

WikiPage Usage modified by Filippo Schiavio

Filippo Schiavio — Thu, 27 Sep 2012 16:34:50 -0000

--- v16
+++ v17
@@ -41,8 +41,8 @@
 
 
 Example of usage:
-a=span(2,2){}
DrawGraph(a,a.dot,a.jpg)

+a=span(2,2){}
DrawGraph(a,a.dot,a.jpg)

 
-b=span(2,1){}
DrawGraph(b,b.dot,b.jpg)

+b=span(2,1){}
DrawGraph(b,b.dot,b.jpg)

 
-c=a;b
DrawGraph(c,c.dot,c.jpg)

+c=a;b
DrawGraph(c,c.dot,c.jpg)

WikiPage Usage modified by Filippo Schiavio

Filippo Schiavio — Thu, 27 Sep 2012 16:34:19 -0000

--- v15
+++ v16
@@ -41,8 +41,8 @@
 
 
 Example of usage:
-a=span(2,2){}
DrawGraph(a,a.dot,a.jpg)

+a=span(2,2){}
DrawGraph(a,a.dot,a.jpg)

 
-b=span(2,1){}
DrawGraph(b,b.dot,b.jpg)

+b=span(2,1){}
DrawGraph(b,b.dot,b.jpg)

 
-c=a;b
DrawGraph(c,c.dot,c.jpg)

+c=a;b
DrawGraph(c,c.dot,c.jpg)

WikiPage Usage modified by Filippo Schiavio

Filippo Schiavio — Thu, 27 Sep 2012 16:31:03 -0000

--- v14
+++ v15
@@ -41,6 +41,8 @@
 
 
 Example of usage:
-a=span(2,2){}
DrawGraph(a,a.dot,a.jpg)

-
-b=span(2,1){}
DrawGraph(b,b.dot,b.jpg)

+a=span(2,2){}
DrawGraph(a,a.dot,a.jpg)

+
+b=span(2,1){}
DrawGraph(b,b.dot,b.jpg)

+
+c=a;b
DrawGraph(c,c.dot,c.jpg)