net.sf.tweety.logics.pl.plugin

Class PropositionalLogicPlugin

java.lang.Object

net.sf.tweety.plugin.AbstractTweetyPlugin

net.sf.tweety.logics.pl.plugin.PropositionalLogicPlugin

All Implemented Interfaces:

TweetyPlugin, net.xeoh.plugins.base.Plugin

public class PropositionalLogicPlugin
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 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

Fields inherited from class net.sf.tweety.plugin.AbstractTweetyPlugin

parameters

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class net.sf.tweety.plugin.AbstractTweetyPlugin

addParameter, getParameters, validateParameter, validateParameter

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

Constructor Detail

PropositionalLogicPlugin

public PropositionalLogicPlugin(java.lang.String[] args)

non-empty constructor in case of problems concerning jspf

Parameters:

args - never observed

PropositionalLogicPlugin

public PropositionalLogicPlugin()

actually used constructor, initializing start parameters for this plugin

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 interface TweetyPlugin

Specified by:

getCommand in class AbstractTweetyPlugin

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 interface TweetyPlugin

Specified by:

execute in class AbstractTweetyPlugin

Parameters:

input - files to be used within the plugin

params - parameter handled in the plugin (e.g. desired output file, iterations...)

Returns:

an output written into a file or the console