net.sf.tweety.logics.fol.plugin

Class FirstOrderLogicPlugin

java.lang.Object

net.sf.tweety.plugin.AbstractTweetyPlugin

net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin

All Implemented Interfaces:

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

public class FirstOrderLogicPlugin
extends net.sf.tweety.plugin.AbstractTweetyPlugin

This class models the plugin for first order logics used in the tweety cli Note: Currently FOL-files MUST BE named after the pattern "*.fologic" Very early state, not finished or debugged yet.

Author:

Bastian Wolf

Field Summary

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

parameters

Constructor Summary

Constructors

Constructor and Description
FirstOrderLogicPlugin() actually used constructor, initializes start parameters for this plugin
FirstOrderLogicPlugin(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) Executes this plugin with given input files and other aggregated parameters
String	getCommand() This class returns the parameter used to call this plugin

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

FirstOrderLogicPlugin

public FirstOrderLogicPlugin(String[] args)

non-empty constructor in case of problems concerning jspf

Parameters:

args - never observed

FirstOrderLogicPlugin

public FirstOrderLogicPlugin()

actually used constructor, initializes start parameters for this plugin

Method Detail

capabilities

public String[] capabilities()

getCommand

public String getCommand()

This class returns the parameter used to call this plugin

Specified by:

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

Specified by:

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

Returns:

the parameter used to call this plugin

execute

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

Executes this plugin with given input files and other aggregated parameters

Specified by:

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

Specified by:

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

Parameters:

input - files to be parsed (e.g. knowledge base)

params - other parameter like queries,

Returns:

the output calculated from input files and arguments