Package net.sf.tweety.cli
Class TweetyCli
- java.lang.Object
-
- net.sf.tweety.cli.TweetyCli
-
public class TweetyCli extends Object
This class implements a simple command line interface for accessing the functionalities provided by the Tweety libraries.- Author:
- Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field Description static StringARG__INPUT_FILESThe argument name for the input file(s)static StringARG__INPUT_FILES_SHORTThe argument name for the input file(s) (short)static StringARG__INPUT_PARSERThe argument name for the parser(s) used for reading the input file(s)static StringARG__INPUT_PARSER_SHORTThe argument name for the parser(s) used for reading the input file(s) (short)static StringARG__LOG_FILEThe argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output)static StringARG__LOG_FILE_SHORTThe argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output) (short)static StringARG__LOG_LEVELThe argument name for the log level (The possible values are described byTweetyConfiguration.LogLevel, default isTweetyConfiguration.LogLevel.INFO)static StringARG__LOG_LEVEL_SHORTThe argument name for the log level (The possible values are described byTweetyConfiguration.LogLevel, default isTweetyConfiguration.LogLevel.INFO) (short)static StringARG__OPTIONSThe argument name for advanced optionsstatic StringARG__OPTIONS_SHORTThe argument name for advanced options (short)static StringARG__OUTPUT_FILEThe argument name for the output filestatic StringARG__OUTPUT_FILE_SHORTThe argument name for the output file (short)static StringARG__OUTPUT_WRITERThe argument name for the writer used for writing the output file.static StringARG__OUTPUT_WRITER_SHORTThe argument name for the writer used for writing the output file (short)static StringARG__QUERYThe argument name for a querystatic StringARG__QUERY_SHORTThe argument name for a query
-
Constructor Summary
Constructors Constructor Description TweetyCli()
-
Method Summary
Modifier and Type Method Description static voidmain(String[] args)Program entry.
Current program call:
- java -jar TweetyCLI.jar --input RPCLKBFILE --parser rpclme --output RPCLPROBFILE --writer X --options [rpcl.semantics=Y,rpcl.inference=Z]
* - java -jar TweetyCLI.jar --input RPCLKBFILE RPCLPROBFILE --parser rpclme X --query=SOMEQUERY --options [rpcl.semantics=Y,rpcl.inference=Z] with X\in{rpclmeProb, rpclmeCondProb}, Y\in {averaging,aggregating}, Z\in{standard,lifted}
-
-
-
Field Detail
-
ARG__INPUT_FILES
public static final String ARG__INPUT_FILES
The argument name for the input file(s)- See Also:
- Constant Field Values
-
ARG__INPUT_FILES_SHORT
public static final String ARG__INPUT_FILES_SHORT
The argument name for the input file(s) (short)- See Also:
- Constant Field Values
-
ARG__INPUT_PARSER
public static final String ARG__INPUT_PARSER
The argument name for the parser(s) used for reading the input file(s)- See Also:
- Constant Field Values
-
ARG__INPUT_PARSER_SHORT
public static final String ARG__INPUT_PARSER_SHORT
The argument name for the parser(s) used for reading the input file(s) (short)- See Also:
- Constant Field Values
-
ARG__OUTPUT_FILE
public static final String ARG__OUTPUT_FILE
The argument name for the output file- See Also:
- Constant Field Values
-
ARG__OUTPUT_FILE_SHORT
public static final String ARG__OUTPUT_FILE_SHORT
The argument name for the output file (short)- See Also:
- Constant Field Values
-
ARG__OUTPUT_WRITER
public static final String ARG__OUTPUT_WRITER
The argument name for the writer used for writing the output file.- See Also:
- Constant Field Values
-
ARG__OUTPUT_WRITER_SHORT
public static final String ARG__OUTPUT_WRITER_SHORT
The argument name for the writer used for writing the output file (short)- See Also:
- Constant Field Values
-
ARG__LOG_LEVEL
public static final String ARG__LOG_LEVEL
The argument name for the log level (The possible values are described byTweetyConfiguration.LogLevel, default isTweetyConfiguration.LogLevel.INFO)- See Also:
- Constant Field Values
-
ARG__LOG_LEVEL_SHORT
public static final String ARG__LOG_LEVEL_SHORT
The argument name for the log level (The possible values are described byTweetyConfiguration.LogLevel, default isTweetyConfiguration.LogLevel.INFO) (short)- See Also:
- Constant Field Values
-
ARG__LOG_FILE
public static final String ARG__LOG_FILE
The argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output)- See Also:
- Constant Field Values
-
ARG__LOG_FILE_SHORT
public static final String ARG__LOG_FILE_SHORT
The argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output) (short)- See Also:
- Constant Field Values
-
ARG__OPTIONS
public static final String ARG__OPTIONS
The argument name for advanced options- See Also:
- Constant Field Values
-
ARG__OPTIONS_SHORT
public static final String ARG__OPTIONS_SHORT
The argument name for advanced options (short)- See Also:
- Constant Field Values
-
ARG__QUERY
public static final String ARG__QUERY
The argument name for a query- See Also:
- Constant Field Values
-
ARG__QUERY_SHORT
public static final String ARG__QUERY_SHORT
The argument name for a query- See Also:
- Constant Field Values
-
-
Method Detail
-
main
public static void main(String[] args)
Program entry.
Current program call:
- java -jar TweetyCLI.jar --input RPCLKBFILE --parser rpclme --output RPCLPROBFILE --writer X --options [rpcl.semantics=Y,rpcl.inference=Z]
* - java -jar TweetyCLI.jar --input RPCLKBFILE RPCLPROBFILE --parser rpclme X --query=SOMEQUERY --options [rpcl.semantics=Y,rpcl.inference=Z] with X\in{rpclmeProb, rpclmeCondProb}, Y\in {averaging,aggregating}, Z\in{standard,lifted}- Parameters:
args- command line arguments.
-
-