net.sf.tweety.arg.aspic.ruleformulagenerator

Class PlFormulaGenerator

java.lang.Object

net.sf.tweety.arg.aspic.ruleformulagenerator.RuleFormulaGenerator<PropositionalFormula>

net.sf.tweety.arg.aspic.ruleformulagenerator.PlFormulaGenerator

public class PlFormulaGenerator
extends RuleFormulaGenerator<PropositionalFormula>

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 and Description
PlFormulaGenerator()

Method Summary

Modifier and Type	Method and Description
PropositionalFormula	getRuleFormula(DefeasibleInferenceRule<PropositionalFormula> 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 PropositionalFormula getRuleFormula(DefeasibleInferenceRule<PropositionalFormula> 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<PropositionalFormula>

Parameters:

r - is the inferende rule to be transformed

Returns:

a formula of type T