A command-line simulator

From The P-Lingua Website

(Difference between revisions)
Jump to: navigation, search
(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] [...)
Current revision (08:55, 23 April 2015) (view source)
 
(3 intermediate revisions not shown.)
Line 2: Line 2:
==Command-line syntax==
==Command-line syntax==
 +
 +
(Don't forget to run the simulator with ''java -jar plingua.jar'' on a terminal, plus the following)
plingua_sim [-h] [-input_format] input_file -o output_file [-to timeout] [-st steps] [-mode simulatorID] [-a] [-b] [-v verbosity_level]
plingua_sim [-h] [-input_format] input_file -o output_file [-to timeout] [-st steps] [-mode simulatorID] [-a] [-b] [-v verbosity_level]
Line 22: Line 24:
* 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#Command-line_compiler_tool|Download]]

Current revision

A command-line simulation tool based on pLinguaCore

Contents

Command-line syntax

(Don't forget to run the simulator with java -jar plingua.jar on a terminal, plus the following)

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

Dependencies

Download

Personal tools