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.

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  (package private) static Predicate RULE_PREDICATE
  
  (package private) static Sort sort
  Constants needed for atom creation
- 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
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - sort
```
static final Sort sort
```
    Constants needed for atom creation
  - RULE_PREDICATE
```
static final Predicate RULE_PREDICATE
```
- 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