FirstOrderLogicPlugin

java.lang.Object
- net.sf.tweety.plugin.AbstractTweetyPlugin
- - net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin

All Implemented Interfaces:

TweetyPlugin, net.xeoh.plugins.base.Plugin
```
public class FirstOrderLogicPlugin
extends 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

Constructor Summary

Constructors
Constructor	Description
`FirstOrderLogicPlugin()`	actually used constructor, initializes start parameters for this plugin
`FirstOrderLogicPlugin(java.lang.String[] args)`	non-empty constructor in case of problems concerning jspf

Method Summary

Modifier and Type	Method	Description
`java.lang.String[]`	`capabilities()`
`PluginOutput`	`execute(java.io.File[] input, CommandParameter[] params)`	Executes this plugin with given input files and other aggregated parameters
`java.lang.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
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - FirstOrderLogicPlugin
```
public FirstOrderLogicPlugin(java.lang.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 java.lang.String[] capabilities()
```
  - getCommand
```
public java.lang.String getCommand()
```
    This class returns the parameter used to call this plugin
    
    Specified by:
    
    getCommand in interface TweetyPlugin
    
    Specified by:
    
    getCommand in class AbstractTweetyPlugin
    
    Returns:
    
    the parameter used to call this plugin
  - execute
```
public PluginOutput execute(java.io.File[] input,
                            CommandParameter[] params)
```
    Executes this plugin with given input files and other aggregated parameters
    
    Specified by:
    
    execute in interface TweetyPlugin
    
    Specified by:
    
    execute in class 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