FirstOrderLogicPlugin (Tweety (FOL) 1.16 API)

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