A command-line simulator - Revision history

Miguel at 08:55, 23 April 2015

Miguel — Thu, 23 Apr 2015 08:55:08 GMT

←Older revision		Revision as of 08:55, 23 April 2015
Line 3:		Line 3:
	==Command-line syntax==		==Command-line syntax==

-	(Don't forget to run the simulator with ''java -jar plingua.jar'' on a terminal)	+	(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]

Miguel at 08:54, 23 April 2015

Miguel — Thu, 23 Apr 2015 08:54:54 GMT

←Older revision		Revision as of 08:54, 23 April 2015
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)

	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]

Ignacio at 02:25, 7 December 2009

Ignacio — Mon, 07 Dec 2009 02:25:49 GMT

←Older revision		Revision as of 02:25, 7 December 2009
Line 28:		Line 28:

	==Download==		==Download==
-	* [[Download]]	+	* [[Download#Command-line_compiler_tool\|Download]]

Ignacio at 02:12, 7 December 2009

Ignacio — Mon, 07 Dec 2009 02:12:52 GMT

←Older revision		Revision as of 02:12, 7 December 2009
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]]

Ignacio: 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] [...

Ignacio — Mon, 07 Dec 2009 02:11:50 GMT

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] [...

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] [-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

==Download==
* [[Download]]