Class PlFormulaGenerator

java.lang.Object

org.tweetyproject.arg.aspic.ruleformulagenerator.RuleFormulaGenerator<PlFormula>

org.tweetyproject.arg.aspic.ruleformulagenerator.PlFormulaGenerator

public class PlFormulaGenerator
extends RuleFormulaGenerator<PlFormula>

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

Author:

Nils Geilen

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 org.tweetyproject.arg.aspic.ruleformulagenerator.RuleFormulaGenerator

getInferenceRule

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PlFormulaGenerator

public PlFormulaGenerator()

Method Details

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