PlFormulaGenerator

java.lang.Object
- net.sf.tweety.arg.aspic.ruleformulagenerator.RuleFormulaGenerator<PlFormula>
- - net.sf.tweety.arg.aspic.ruleformulagenerator.PlFormulaGenerator

```
public class PlFormulaGenerator
extends RuleFormulaGenerator<PlFormula>
```
Author:

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

- Constructor Summary
  
  Constructors
  Constructor Description
  
  PlFormulaGenerator()
- Method Summary
  
  Modifier and Type Method Description
  
  PlFormula getRuleFormula(DefeasibleInferenceRule<PlFormula> 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
  - PlFormulaGenerator
```
public PlFormulaGenerator()
```
- Method Detail
  - getRuleFormula
```
public PlFormula getRuleFormula(DefeasibleInferenceRule<PlFormula> 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<PlFormula>
    
    Parameters:
    
    r - is the inferende rule to be transformed
    
    Returns:
    
    a formula of type T