Package net.sf.tweety.arg.adf.transform
Class PropositionalTransformer
- java.lang.Object
-
- net.sf.tweety.arg.adf.transform.AbstractTransformer<PlFormula,java.lang.Void,PlFormula>
-
- net.sf.tweety.arg.adf.transform.PropositionalTransformer
-
- All Implemented Interfaces:
Transformer<PlFormula>
public final class PropositionalTransformer extends AbstractTransformer<PlFormula,java.lang.Void,PlFormula>
Transforms anAcceptanceCondition
into aPlFormula
.Most of the transformation is a 1:1 mapping between the structures since they are quite similar, except for
EquivalenceAcceptanceCondition
which allows for a compact representation of pairwise equivalences.- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description PropositionalTransformer(java.util.function.Function<Argument,Proposition> argumentMapping)
-
Method Summary
-
Methods inherited from class net.sf.tweety.arg.adf.transform.AbstractTransformer
transform
-
-
-
-
Constructor Detail
-
PropositionalTransformer
public PropositionalTransformer(java.util.function.Function<Argument,Proposition> argumentMapping)
- Parameters:
argumentMapping
- the argument to proposition mapping
-
-