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

Class PlFormulaTransform

java.lang.Object

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

All Implemented Interfaces:

SimpleTransform<PlFormula>, Transform<PlFormula,PlFormula>

public class PlFormulaTransform
extends java.lang.Object
implements SimpleTransform<PlFormula>

Author:

Mathias Hofer

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.function.Function<Argument,PlFormula>	argumentToPlFormula

Constructor Summary

Constructors

Constructor	Description
PlFormulaTransform(java.util.function.Function<Argument,PlFormula> argumentToPlFormula)

Method Summary

Modifier and Type	Method	Description
PlFormula	transformArgument(Argument argument)
PlFormula	transformConjunction(java.util.Collection<PlFormula> subconditions)
PlFormula	transformContradiction()
PlFormula	transformDisjunction(java.util.Collection<PlFormula> subconditions)
PlFormula	transformEquivalence(PlFormula left, PlFormula right)
PlFormula	transformExclusiveDisjunction(PlFormula left, PlFormula right)
PlFormula	transformImplication(PlFormula left, PlFormula right)
PlFormula	transformNegation(PlFormula sub)
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

Field Detail

argumentToPlFormula

private java.util.function.Function<Argument,PlFormula> argumentToPlFormula

Constructor Detail

PlFormulaTransform

public PlFormulaTransform(java.util.function.Function<Argument,PlFormula> argumentToPlFormula)

Parameters:

argumentToPlFormula -

Method Detail

transformDisjunction

public PlFormula transformDisjunction(java.util.Collection<PlFormula> subconditions)

Specified by:

transformDisjunction in interface SimpleTransform<PlFormula>

transformConjunction

public PlFormula transformConjunction(java.util.Collection<PlFormula> subconditions)

Specified by:

transformConjunction in interface SimpleTransform<PlFormula>

transformImplication

public PlFormula transformImplication(PlFormula left,
                                      PlFormula right)

Specified by:

transformImplication in interface SimpleTransform<PlFormula>

transformEquivalence

public PlFormula transformEquivalence(PlFormula left,
                                      PlFormula right)

Specified by:

transformEquivalence in interface SimpleTransform<PlFormula>

transformExclusiveDisjunction

public PlFormula transformExclusiveDisjunction(PlFormula left,
                                               PlFormula right)

Specified by:

transformExclusiveDisjunction in interface SimpleTransform<PlFormula>

transformNegation

public PlFormula transformNegation(PlFormula sub)

Specified by:

transformNegation in interface SimpleTransform<PlFormula>

transformArgument

public PlFormula transformArgument(Argument argument)

Specified by:

transformArgument in interface SimpleTransform<PlFormula>

transformContradiction

public PlFormula transformContradiction()

Specified by:

transformContradiction in interface SimpleTransform<PlFormula>

transformTautology

public PlFormula transformTautology()

Specified by:

transformTautology in interface SimpleTransform<PlFormula>