Commit 22ddaf60 authored by Benoit Barbot's avatar Benoit Barbot
Browse files

Update README.md

parent 63c02fe6
Pipeline #2174 passed with stages
in 2 minutes and 12 seconds
......@@ -23,7 +23,7 @@ Run make
Run with
```
./wordgen.native example/simpleTriAngle.prism --poly 5 --traj 100 --sampler random --output-format timeword trajectory.out
./wordgen example/simpleTriAngle.prism --poly 5 --traj 100 --sampler random --output-format timeword trajectory.out
```
This generates 100 trajectories (--traj 100) of length 5 (--poly 5) using a random number generator (--sampler random) and put them in trajectory.out, trajectory are saved as timeword (--output-format timeword).
......@@ -32,7 +32,7 @@ Alternatively you can use one of the example files which are already zone graph
You can plot the trajectories if gnuplot is installed with:
```
./wordgen.native example/simpleTriAngle.prism --poly 2 --traj 5000 simpleTriAngle.out --gnuplot-driver png
./wordgen example/simpleTriAngle.prism --poly 2 --traj 5000 simpleTriAngle.out --gnuplot-driver png
```
Should produce an image in simpleTriAngle.png :
......@@ -49,14 +49,14 @@ Trajectories are saved to a file (2nd arguments) if specified and printed on the
Timestamp (default).
Each trajectory is printed on a single line only delays between events are printed.
```
>./wordgen.native example/simpleTriAngle.prism -v 0 --traj 1 --output-format timestamp
>./wordgen example/simpleTriAngle.prism -v 0 --traj 1 --output-format timestamp
0.400893 0.358138 0.148591
```
Timeword.
Same as timestamp but the label of each transition is printed between timestamps.
```
>./wordgen.native example/simpleTriAngle.prism --traj 1 --output-format timeword -v 0
>./wordgen example/simpleTriAngle.prism --traj 1 --output-format timeword -v 0
0.334164[a] 0.396973[b] 0.827334[a]
```
......@@ -73,7 +73,7 @@ States of the automaton (location + clock valuation) are printed between events.
State list.
Only the state of the automaton is printed each on a new line, trajectories are separated by empty lines.
```
>./wordgen.native example/simpleTriAngle.prism --traj 1 --output-format state_list -v 0
>./wordgen example/simpleTriAngle.prism --traj 1 --output-format state_list -v 0
0 0.000000 0.000000
0 0.127534 0.127534
1 0.000000 0.127534
......@@ -89,7 +89,7 @@ Output nothing. For debug purpose.
You can use wordgen to compute the mapping between a hypercube and the associated polytope with the option "--template" which take a string as an argument.
```
>./wordgen.native example/simpleTriAngle.prism --template "0.5[a]0.3[b]" --traj 1
>./wordgen example/simpleTriAngle.prism --template "0.5[a]0.3[b]" --traj 1
0.292893 0.212132
```
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment