Package net.sf.tweety.arg.adf.transform
Class OmegaReductTransformer
- java.lang.Object
-
- net.sf.tweety.arg.adf.transform.AbstractTransformer<AcceptanceCondition,java.lang.Void,AcceptanceCondition>
-
- net.sf.tweety.arg.adf.transform.OmegaReductTransformer
-
- All Implemented Interfaces:
Transformer<AcceptanceCondition>
public class OmegaReductTransformer extends AbstractTransformer<AcceptanceCondition,java.lang.Void,AcceptanceCondition>
Replaces all unsatisfied arguments relative to a providedInterpretation
withContradictionAcceptanceCondition
, all the rest remains untouched.- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description OmegaReductTransformer(Interpretation interpretation)
-
Method Summary
-
Methods inherited from class net.sf.tweety.arg.adf.transform.AbstractTransformer
transform
-
-
-
-
Constructor Detail
-
OmegaReductTransformer
public OmegaReductTransformer(Interpretation interpretation)
-
-