FolFormulaGenerator

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

```
public class FolFormulaGenerator
extends RuleFormulaGenerator<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
  
  FolFormula getRuleFormula(DefeasibleInferenceRule<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
    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - FolFormulaGenerator
```
public FolFormulaGenerator()
```
- Method Detail
  - getRuleFormula
```
public FolFormula getRuleFormula(DefeasibleInferenceRule<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<FolFormula>
    
    Parameters:
    
    r - is the inferende rule to be transformed
    
    Returns:
    
    a formula of type T