Package net.sf.tweety.arg.adf.transform

Class PlFormulaTransform

java.lang.Object

net.sf.tweety.arg.adf.transform.PlFormulaTransform

All Implemented Interfaces:

SimpleTransform<net.sf.tweety.logics.pl.syntax.PlFormula>, Transform<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlFormula>

public class PlFormulaTransform
extends Object
implements SimpleTransform<net.sf.tweety.logics.pl.syntax.PlFormula>

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
PlFormulaTransform(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentToPlFormula)

Method Summary

Modifier and Type	Method	Description
net.sf.tweety.logics.pl.syntax.PlFormula	transformArgument(Argument argument)
net.sf.tweety.logics.pl.syntax.PlFormula	transformConjunction(Collection<net.sf.tweety.logics.pl.syntax.PlFormula> subconditions)
net.sf.tweety.logics.pl.syntax.PlFormula	transformContradiction()
net.sf.tweety.logics.pl.syntax.PlFormula	transformDisjunction(Collection<net.sf.tweety.logics.pl.syntax.PlFormula> subconditions)
net.sf.tweety.logics.pl.syntax.PlFormula	transformEquivalence(net.sf.tweety.logics.pl.syntax.PlFormula left, net.sf.tweety.logics.pl.syntax.PlFormula right)
net.sf.tweety.logics.pl.syntax.PlFormula	transformExclusiveDisjunction(net.sf.tweety.logics.pl.syntax.PlFormula left, net.sf.tweety.logics.pl.syntax.PlFormula right)
net.sf.tweety.logics.pl.syntax.PlFormula	transformImplication(net.sf.tweety.logics.pl.syntax.PlFormula left, net.sf.tweety.logics.pl.syntax.PlFormula right)
net.sf.tweety.logics.pl.syntax.PlFormula	transformNegation(net.sf.tweety.logics.pl.syntax.PlFormula sub)
net.sf.tweety.logics.pl.syntax.PlFormula	transformTautology()

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.sf.tweety.arg.adf.transform.SimpleTransform

transformArgument, transformConjunction, transformContradiction, transformDisjunction, transformEquivalence, transformExclusiveDisjunction, transformImplication, transformNegation, transformTautology

Constructor Detail

PlFormulaTransform

public PlFormulaTransform(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentToPlFormula)

Parameters:

argumentToPlFormula -

Method Detail

transformDisjunction

public net.sf.tweety.logics.pl.syntax.PlFormula transformDisjunction(Collection<net.sf.tweety.logics.pl.syntax.PlFormula> subconditions)

Specified by:

transformDisjunction in interface SimpleTransform<net.sf.tweety.logics.pl.syntax.PlFormula>

transformConjunction

public net.sf.tweety.logics.pl.syntax.PlFormula transformConjunction(Collection<net.sf.tweety.logics.pl.syntax.PlFormula> subconditions)

Specified by:

transformConjunction in interface SimpleTransform<net.sf.tweety.logics.pl.syntax.PlFormula>

transformImplication

public net.sf.tweety.logics.pl.syntax.PlFormula transformImplication(net.sf.tweety.logics.pl.syntax.PlFormula left,
                                                                     net.sf.tweety.logics.pl.syntax.PlFormula right)

Specified by:

transformImplication in interface SimpleTransform<net.sf.tweety.logics.pl.syntax.PlFormula>

transformEquivalence

public net.sf.tweety.logics.pl.syntax.PlFormula transformEquivalence(net.sf.tweety.logics.pl.syntax.PlFormula left,
                                                                     net.sf.tweety.logics.pl.syntax.PlFormula right)

Specified by:

transformEquivalence in interface SimpleTransform<net.sf.tweety.logics.pl.syntax.PlFormula>

transformExclusiveDisjunction

public net.sf.tweety.logics.pl.syntax.PlFormula transformExclusiveDisjunction(net.sf.tweety.logics.pl.syntax.PlFormula left,
                                                                              net.sf.tweety.logics.pl.syntax.PlFormula right)

Specified by:

transformExclusiveDisjunction in interface SimpleTransform<net.sf.tweety.logics.pl.syntax.PlFormula>

transformNegation

public net.sf.tweety.logics.pl.syntax.PlFormula transformNegation(net.sf.tweety.logics.pl.syntax.PlFormula sub)

Specified by:

transformNegation in interface SimpleTransform<net.sf.tweety.logics.pl.syntax.PlFormula>

transformArgument

public net.sf.tweety.logics.pl.syntax.PlFormula transformArgument(Argument argument)

Specified by:

transformArgument in interface SimpleTransform<net.sf.tweety.logics.pl.syntax.PlFormula>

transformContradiction

public net.sf.tweety.logics.pl.syntax.PlFormula transformContradiction()

Specified by:

transformContradiction in interface SimpleTransform<net.sf.tweety.logics.pl.syntax.PlFormula>

transformTautology

public net.sf.tweety.logics.pl.syntax.PlFormula transformTautology()

Specified by:

transformTautology in interface SimpleTransform<net.sf.tweety.logics.pl.syntax.PlFormula>