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:

net.sf.tweety.plugin.TweetyPlugin, net.xeoh.plugins.base.Plugin

public class PropositionalLogicPlugin
extends net.sf.tweety.plugin.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 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(String[] args) non-empty constructor in case of problems concerning jspf

Method Summary

Modifier and Type	Method and Description
String[]	capabilities()
net.sf.tweety.plugin.PluginOutput	execute(File[] input, net.sf.tweety.plugin.parameter.CommandParameter[] params) Method to be executed with input files and parameters from tweety cli
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

Constructor Detail

PropositionalLogicPlugin

public PropositionalLogicPlugin(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 String[] capabilities()

getCommand

public String getCommand()

returns the parameter used to call this plugin from the tweety cli

Specified by:

getCommand in interface net.sf.tweety.plugin.TweetyPlugin

Specified by:

getCommand in class net.sf.tweety.plugin.AbstractTweetyPlugin

execute

public net.sf.tweety.plugin.PluginOutput execute(File[] input,
                                                 net.sf.tweety.plugin.parameter.CommandParameter[] params)

Method to be executed with input files and parameters from tweety cli

Specified by:

execute in interface net.sf.tweety.plugin.TweetyPlugin

Specified by:

execute in class net.sf.tweety.plugin.AbstractTweetyPlugin

Returns:

an output written into a file or the console