Package net.sf.tweety.logics.pl.plugin
Class PlPlugin
- java.lang.Object
-
- net.sf.tweety.plugin.AbstractTweetyPlugin
-
- net.sf.tweety.logics.pl.plugin.PlPlugin
-
- All Implemented Interfaces:
TweetyPlugin
,net.xeoh.plugins.base.Plugin
public class PlPlugin extends AbstractTweetyPlugin
This class provides the JSPF-Plugin for the propositional logic library Currently plugin is loadable but not executed- Author:
- Bastian Wolf
-
-
Field Summary
Fields Modifier and Type Field Description private static java.lang.String
PROPLOGIC__CALL_PARAMETER
private static java.lang.String
PROPLOGIC__QUERY_DESCRIPTION
private static java.lang.String
PROPLOGIC__QUERY_IDENTIFIER
private static java.lang.String
PROPLOGIC__REASONER_DESCRIPTION
private static java.lang.String
PROPLOGIC__REASONER_IDENTIFIER
private static java.lang.String[]
PROPLOGIC__REASONER_SOLVERENUM
-
Fields inherited from class net.sf.tweety.plugin.AbstractTweetyPlugin
parameters
-
-
Method Summary
Modifier and Type Method Description java.lang.String[]
capabilities()
PluginOutput
execute(java.io.File[] input, CommandParameter[] params)
Method to be executed with input files and parameters from tweety clijava.lang.String
getCommand()
returns the parameter used to call this plugin from the tweety cli-
Methods inherited from class net.sf.tweety.plugin.AbstractTweetyPlugin
addParameter, getParameters, validateParameter, validateParameter
-
-
-
-
Field Detail
-
PROPLOGIC__CALL_PARAMETER
private static final java.lang.String PROPLOGIC__CALL_PARAMETER
- See Also:
- Constant Field Values
-
PROPLOGIC__REASONER_IDENTIFIER
private static final java.lang.String PROPLOGIC__REASONER_IDENTIFIER
- See Also:
- Constant Field Values
-
PROPLOGIC__REASONER_DESCRIPTION
private static final java.lang.String PROPLOGIC__REASONER_DESCRIPTION
- See Also:
- Constant Field Values
-
PROPLOGIC__REASONER_SOLVERENUM
private static final java.lang.String[] PROPLOGIC__REASONER_SOLVERENUM
-
PROPLOGIC__QUERY_IDENTIFIER
private static final java.lang.String PROPLOGIC__QUERY_IDENTIFIER
- See Also:
- Constant Field Values
-
PROPLOGIC__QUERY_DESCRIPTION
private static final java.lang.String PROPLOGIC__QUERY_DESCRIPTION
- See Also:
- Constant Field Values
-
-
Method Detail
-
capabilities
public java.lang.String[] capabilities()
-
getCommand
public java.lang.String getCommand()
returns the parameter used to call this plugin from the tweety cli- Specified by:
getCommand
in interfaceTweetyPlugin
- Specified by:
getCommand
in classAbstractTweetyPlugin
- Returns:
- the keyword used in the cli to call this plugin
-
execute
public PluginOutput execute(java.io.File[] input, CommandParameter[] params)
Method to be executed with input files and parameters from tweety cli- Specified by:
execute
in interfaceTweetyPlugin
- Specified by:
execute
in classAbstractTweetyPlugin
- Parameters:
input
- files to be used within the pluginparams
- parameter handled in the plugin (e.g. desired output file, iterations...)- Returns:
- an output written into a file or the console
-
-