PlFormulaGenerator (Tweety (ASPIC Library) 1.17 API)

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

```
public class PlFormulaGenerator
extends RuleFormulaGenerator<net.sf.tweety.logics.pl.syntax.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
`net.sf.tweety.logics.pl.syntax.PlFormula`	`getRuleFormula(DefeasibleInferenceRule<net.sf.tweety.logics.pl.syntax.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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - PlFormulaGenerator
```
public PlFormulaGenerator()
```
- Method Detail
  - getRuleFormula
```
public net.sf.tweety.logics.pl.syntax.PlFormula getRuleFormula(DefeasibleInferenceRule<net.sf.tweety.logics.pl.syntax.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<net.sf.tweety.logics.pl.syntax.PlFormula>
    
    Parameters:
    
    r - is the inferende rule to be transformed
    
    Returns:
    
    a formula of type T