Package net.sf.tweety.cli
Class TweetyCli
- java.lang.Object
-
- net.sf.tweety.cli.TweetyCli
-
public class TweetyCli extends java.lang.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 java.lang.String
ARG__INPUT_FILES
The argument name for the input file(s)static java.lang.String
ARG__INPUT_FILES_SHORT
The argument name for the input file(s) (short)static java.lang.String
ARG__INPUT_PARSER
The argument name for the parser(s) used for reading the input file(s)static java.lang.String
ARG__INPUT_PARSER_SHORT
The argument name for the parser(s) used for reading the input file(s) (short)static java.lang.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)static java.lang.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)static java.lang.String
ARG__LOG_LEVEL
The argument name for the log level (The possible values are described byTweetyConfiguration.LogLevel
, default isTweetyConfiguration.LogLevel.INFO
)static java.lang.String
ARG__LOG_LEVEL_SHORT
The argument name for the log level (The possible values are described byTweetyConfiguration.LogLevel
, default isTweetyConfiguration.LogLevel.INFO
) (short)static java.lang.String
ARG__OPTIONS
The argument name for advanced optionsstatic java.lang.String
ARG__OPTIONS_SHORT
The argument name for advanced options (short)static java.lang.String
ARG__OUTPUT_FILE
The argument name for the output filestatic java.lang.String
ARG__OUTPUT_FILE_SHORT
The argument name for the output file (short)static java.lang.String
ARG__OUTPUT_WRITER
The argument name for the writer used for writing the output file.static java.lang.String
ARG__OUTPUT_WRITER_SHORT
The argument name for the writer used for writing the output file (short)static java.lang.String
ARG__QUERY
The argument name for a querystatic java.lang.String
ARG__QUERY_SHORT
The argument name for a query
-
Constructor Summary
Constructors Constructor Description TweetyCli()
-
Method Summary
Modifier and Type Method Description static void
main(java.lang.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 java.lang.String ARG__INPUT_FILES
The argument name for the input file(s)- See Also:
- Constant Field Values
-
ARG__INPUT_FILES_SHORT
public static final java.lang.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 java.lang.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 java.lang.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 java.lang.String ARG__OUTPUT_FILE
The argument name for the output file- See Also:
- Constant Field Values
-
ARG__OUTPUT_FILE_SHORT
public static final java.lang.String ARG__OUTPUT_FILE_SHORT
The argument name for the output file (short)- See Also:
- Constant Field Values
-
ARG__OUTPUT_WRITER
public static final java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.String ARG__OPTIONS
The argument name for advanced options- See Also:
- Constant Field Values
-
ARG__OPTIONS_SHORT
public static final java.lang.String ARG__OPTIONS_SHORT
The argument name for advanced options (short)- See Also:
- Constant Field Values
-
ARG__QUERY
public static final java.lang.String ARG__QUERY
The argument name for a query- See Also:
- Constant Field Values
-
ARG__QUERY_SHORT
public static final java.lang.String ARG__QUERY_SHORT
The argument name for a query- See Also:
- Constant Field Values
-
-
Method Detail
-
main
public static void main(java.lang.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.
-
-