A command-line simulator
From The P-Lingua Website
(Difference between revisions)
(New page: A command-line simulation tool based on pLinguaCore ==Command-line syntax== plingua_sim [-h] [-input_format] input_file -o output_file [-to timeout] [-st steps] [-mode simulatorID] [...) |
|||
Line 22: | Line 22: | ||
* plingua_sim -PLI sat.pli -o report.txt -v 5 | * plingua_sim -PLI sat.pli -o report.txt -v 5 | ||
* plingua_sim -PLI example.pli -o file.txt -st 100 -to 100000 | * plingua_sim -PLI example.pli -o file.txt -st 100 -to 100000 | ||
+ | |||
+ | ==Dependencies== | ||
+ | * [[pLinguaCore]] | ||
+ | * [http://www.java.com Java] | ||
==Download== | ==Download== | ||
* [[Download]] | * [[Download]] |
Revision as of 02:12, 7 December 2009
A command-line simulation tool based on pLinguaCore
Contents |
Command-line syntax
plingua_sim [-h] [-input_format] input_file -o output_file [-to timeout] [-st steps] [-mode simulatorID] [-a] [-b] [-v verbosity_level]
Optional arguments in brackets.
Options:
- [-h]: Print this help information.
- [-input_format]: Select an input format file. XML by default.
- input_file: The input file.
- output_file: The output file.
- [-to timeout]: A timeout in milliseconds.
- [-st steps]: Number of steps of simulation.
- [-mode simulatorID]: Select the simulation algorithm.
- [-a]: Simulation with alternative steps.
- [-b]: Simulation with steps back.
- [-v verbosity]: Verbosity level, 0-5.
Examples
- plingua_sim -PLI sat.pli -o report.txt -v 5
- plingua_sim -PLI example.pli -o file.txt -st 100 -to 100000