public class PropositionalLogicPlugin extends AbstractTweetyPlugin
Modifier and Type | Field and 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 |
parameters
Constructor and Description |
---|
PropositionalLogicPlugin()
actually used constructor, initializing start parameters for this plugin
|
PropositionalLogicPlugin(java.lang.String[] args)
non-empty constructor in case of problems concerning jspf
|
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
capabilities() |
PluginOutput |
execute(java.io.File[] input,
CommandParameter[] params)
Method to be executed with input files and parameters from tweety cli
|
java.lang.String |
getCommand()
returns the parameter used to call this plugin from the tweety cli
|
addParameter, getParameters, validateParameter, validateParameter
private static final java.lang.String PROPLOGIC__CALL_PARAMETER
private static final java.lang.String PROPLOGIC__REASONER_IDENTIFIER
private static final java.lang.String PROPLOGIC__REASONER_DESCRIPTION
private static final java.lang.String[] PROPLOGIC__REASONER_SOLVERENUM
private static final java.lang.String PROPLOGIC__QUERY_IDENTIFIER
private static final java.lang.String PROPLOGIC__QUERY_DESCRIPTION
public PropositionalLogicPlugin(java.lang.String[] args)
args
- never observedpublic PropositionalLogicPlugin()
public java.lang.String[] capabilities()
public java.lang.String getCommand()
getCommand
in interface TweetyPlugin
getCommand
in class AbstractTweetyPlugin
public PluginOutput execute(java.io.File[] input, CommandParameter[] params)
execute
in interface TweetyPlugin
execute
in class AbstractTweetyPlugin
input
- files to be used within the pluginparams
- parameter handled in the plugin (e.g. desired output file, iterations...)