FolFormulaGenerator (Tweety (ASPIC Library) 1.15 API)

java.lang.Object
- net.sf.tweety.arg.aspic.ruleformulagenerator.RuleFormulaGenerator<net.sf.tweety.logics.fol.syntax.FolFormula>
- - net.sf.tweety.arg.aspic.ruleformulagenerator.FolFormulaGenerator

```
public class FolFormulaGenerator
extends RuleFormulaGenerator<net.sf.tweety.logics.fol.syntax.FolFormula>
```
Author:

Nils Geilen Implements RuleFormulaGenerator for first order logic. If a rule has been given a name, it is employed as an identifier.

Constructor Summary

Constructors
Constructor Description

FolFormulaGenerator()

Method Summary

Modifier and Type	Method	Description
`net.sf.tweety.logics.fol.syntax.FolFormula`	`getRuleFormula(DefeasibleInferenceRule<net.sf.tweety.logics.fol.syntax.FolFormula> r)`	Transforms a defeasible ASPIC inference rule into a corresponding formula of type `T`

Methods inherited from class net.sf.tweety.arg.aspic.ruleformulagenerator.RuleFormulaGenerator
getInferenceRule

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - FolFormulaGenerator
```
public FolFormulaGenerator()
```
- Method Detail
  - getRuleFormula
```
public net.sf.tweety.logics.fol.syntax.FolFormula getRuleFormula(DefeasibleInferenceRule<net.sf.tweety.logics.fol.syntax.FolFormula> r)
```
    Description copied from class: RuleFormulaGenerator
    
    Transforms a defeasible ASPIC inference rule into a corresponding formula of type T
    
    Specified by:
    
    getRuleFormula in class RuleFormulaGenerator<net.sf.tweety.logics.fol.syntax.FolFormula>
    
    Parameters:
    
    r - is the inferende rule to be transformed
    
    Returns:
    
    a formula of type T