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
-
-
-
-
Method Detail
-
transformDisjunction
public PlFormula transformDisjunction(java.util.Collection<PlFormula> subconditions)
- Specified by:
transformDisjunction
in interfaceSimpleTransform<PlFormula>
-
transformConjunction
public PlFormula transformConjunction(java.util.Collection<PlFormula> subconditions)
- Specified by:
transformConjunction
in interfaceSimpleTransform<PlFormula>
-
transformImplication
public PlFormula transformImplication(PlFormula left, PlFormula right)
- Specified by:
transformImplication
in interfaceSimpleTransform<PlFormula>
-
transformEquivalence
public PlFormula transformEquivalence(PlFormula left, PlFormula right)
- Specified by:
transformEquivalence
in interfaceSimpleTransform<PlFormula>
-
transformExclusiveDisjunction
public PlFormula transformExclusiveDisjunction(PlFormula left, PlFormula right)
- Specified by:
transformExclusiveDisjunction
in interfaceSimpleTransform<PlFormula>
-
transformNegation
public PlFormula transformNegation(PlFormula sub)
- Specified by:
transformNegation
in interfaceSimpleTransform<PlFormula>
-
transformArgument
public PlFormula transformArgument(Argument argument)
- Specified by:
transformArgument
in interfaceSimpleTransform<PlFormula>
-
transformContradiction
public PlFormula transformContradiction()
- Specified by:
transformContradiction
in interfaceSimpleTransform<PlFormula>
-
transformTautology
public PlFormula transformTautology()
- Specified by:
transformTautology
in interfaceSimpleTransform<PlFormula>
-
-